Ricardo Nabinger Sanchez

@rnsanchez.bsky.social

Computing Scientist 🇧🇷 🇪🇸 🇪🇺 -- B.Sc. Unisinos '07 🇧🇷, M.Sc. UofA '10 🇨🇦 -- Compilers, low-level code, static analysis, performance

What’s the smallest amount of useful work you can get done? For CPU’s it’s kinda complicated. Call it the “minimum profitable scheduling quantum”. Say you hiccup for ~1 microsecond. Maybe a memory stall or something. It’s an eternity (~5,000 cycles), but it’s also kinda…not?

BildBild

There's a reason why these LLM chatbots and the effect they have on cognitive skills is called 'cognitive surrender'. This isn't about 'learning to use a calculator' or something like finding resources on the Internet. This is about nuking cognition in students, like a virtual lobotomy.

Charlotte Weatherill@ckweatherill.bsky.social · last wk.

The point isn't to produce essays, it's to teach students how to think for fuck's sake. The minute you automate that, it's over. You might as well close the course. Which they're also doing. This is an attack on learning, and everyone is just shrugging.

“Who knows what other childhood curiosities are quietly growing into world-changing ideas right now in bedrooms, backyards and notebooks across the globe? The next big breakthrough might not come from a high-tech lab. It might come from a 10-year-old who just can’t stop wondering about butterflies”💖

Photo of 10 year old Japanese boy, Jo Nagai, with a black and white swallowtail butterfly on his jacket collar and another one on his index finger as he smiles at camera. Caption reads:

A Japanese boy noticed his butterflies seemed to recognise him. He spent two years designing an experiment and proved that metamorphosis does not erase memories formed during the caterpillar stage.
Oisín McGann@oisinmcgann.bsky.social · 3w ago

I don’t know why this post doesn’t give his name, but it’s Jo Nagai. This is a true story. medium.com/@zehraanjum2...

I’m convinced that a large % of programmers don’t actually like computers. As a side effect, are also perfectly happy to throw away their reasoning to a model as soon as they can. I don’t get it, at ALL.

“Science is a way to call the bluff of those who only pretend to have knowledge. It is a bulwark against mysticism, against superstition, against religion misapplied to where it has no business being.” ― Carl Sagan, The Demon-Haunted World

Bild

I love looking at old crazy ideas in expired computer patents. Modern CPU Branch Predictors are invisible. You, as a dev, can’t really see *what* paths the CPU is guessing…it’s all a bunch of AMD/Intel/Apple secret sauce. For a brief moment in the 80s, there was this wacky proposition of...

BildBild

In the 1980s, if you wanted your IBM PC to be faster for spreadsheets or CAD, you could buy the Intel 8087 floating-point chip. Internally, the chip runs special code called microcode. We opened the chip, extracted the microcode, and are figuring out how it works. 1/n

The 8087 chip is a black rectangle with 40 metal pins along its long sides. This package is known as a DIP (dual inline package). Unlike modern chips, this chip is a ceramic package. Text on the chip includes "D8087-1" "Intel copyright 1980 1984"/

CPUs tend to get slower with time. Probably not for the reason you’d expect.

 Unfortunately, many microcode updates are security related, which almost universally cause performance regressions…or even complete feature loss!

 Haswell might be the worst performing processor family of all time...

BildBild

The world is now so full of ridiculous things that I struggle to deal with it all. But this is not an 'us' problem. The world really is idiotic. I made a list of things that are impossible to believe. Seeing it in writing might help you deal better with the situation. berthub.eu/articles/pos...

The Impossible Things We Have to Believe - Bert Hubert

“Alice laughed. ‘There’s no use trying,’ she said. ‘One can’t believe impossible things.’ I daresay you haven’t had much practice,’ said the Queen. ‘When I was your age, I always did it for half-an-ho...

berthub.eu

There’s a famous Usenet story about a programmer (Mel) who refused higher level abstractions.

 It was the late 1950s, and even in that era, Mel was…well today we’d call him a boomer.

 Mel only wrote in raw hexadecimal. He didn’t approve of compilers, and refused to use optimizing assemblers.

BildBild

Modern DRAM is based on a brilliant design from IBM. But, we're still paying for a latency penalty that's existed since the 60s! In this video, I'm introducing my research project (Tailslayer) that immensely reduces p99.99 latency on traditional RAM!

Today's recommended website is chiptube.app. If you love chiptune music/SFX then head over for a huge slice of nostalgia. A massive catalogue of SID, NES, SNES, N64, GENESIS music awaits, plus lots more. Volume up to 11. chiptune.app/browse

Chip Player JS

An online MIDI and VGM music player with SoundFont support. Over 250,000 songs, focused on performance and nostalgia. Play VGM, SPC, NSF, S3M, XM, MOD and more.

chiptune.app

Twin adventurers are cleverly testing modern vs. historic gear. “If they went on an expedition, and Ross wore modern kit while Hugo wore historic replicas, any difference in performance…could be attributed solely to the gear, not genetics.” [carryology.com]

How the Turner Twins Are Mythbusting Modern Gear

Modern adventure apparel should outperform heritage gear, right? Well, the genetically identical Turner twins put this theory to the test...

carryology.com

How to make perfume in 1230 BCE in the heartland of ancient Assyria. First, you need to mix cane with cleansed water from the palace well of the city of Aššur (pronounced Ashur). Second, you need to pour this mixture into a special vessel before adding...

Photo of the ruins of ancient Assur with a ziggurat rising in the distance and low remains of walls in the foreground. It looks like sunset or sunrise with the soft, orange lighting. Photo by Mahmoud Fakhri

The second edition of Designing Data-Intensive Applications, by myself and @chris.blue, is finished and sent off to the printers! Ebooks should be available in the next week, and print books in 3–4 weeks. Sigh of relief. 😅 (BTW, this is a good opportunity to support your favourite local bookshop!)

Book cover of "Designing Data-Intensive Applications, 2nd edition". It has a similar wild boar on the cover as the first edition, but it uses O'Reilly's new cover design, and the boar is now slightly colourised.

Fuzzing software becomes much more effective if you can generate _valid_ inputs. We have now built the first approach to _statically_ extract complete and precise input grammars from parser code, producing syntactically valid and diverse inputs by construction. Enjoy! dl.acm.org/doi/10.1145/...

Inferring Input Grammars from Code with Symbolic Parsing | ACM Transactions on Software Engineering and Methodology

Generating effective test inputs for a software system requires that these inputs be valid, as they will otherwise be rejected without reaching actual functionality. In the absence of a specification ...

dl.acm.org

The arithmetic/logic unit (ALU) in the Intel 8086 processor (1978) is more complicated than you might expect, performing 28 different operations from addition and logical AND to shifts and BCD adjustment. A special control circuit reconfigures the ALU for each operation. Let's look closer...

A die photo of the 8086 microprocessor. The image shows a tan square with complex patterns of beige and dark lines showing the circuitry. Thicker light lines distribute power across the chip while black bond wires are attached around the edges. Various regions with different patterns are labeled with their function including a large rectangular region in the lower right that holds the microcode and the 16-bit ALU in the lower left. The ALU Control circuit at the bottom is highlighted.

13) What if… just throwing out ideas here… what if… *you* didn’t sign up your pre-teens for social media sites? What if *you* made a signal group chat with grandma instead? No? Nuke privacy for everyone in society instead? I see. You clearly had no other choice.

Parents, choosing button meme

Send kids to dark web

Talk to children

In 1980, Intel announced the 8087 Math Coprocessor, a chip that made floating-point 100 times faster. I opened up the chip, took photos of the silicon structures, and analyzed its circuitry. It's a very complex chip for its time. Let's take a look inside...

A photo of the 8087 die under a microscope. The die is rectangular, with complex patterns in purplish-brown. The patterns consist of rectangular regions, striped regions in the bottom half of the chip, and other more irregular regions.

At the right, two regions are highlighted in red: the registers and the stack control circuitry.

Around the edges of the die, you can see the hair-thin bond wires that connect the chip to its 40 external pins. The complex patterns on the die are formed by its metal wiring, as well as the polysilicon and silicon underneath. The bottom half of the chip is the "datapath", the circuitry that performs calculations on 80-bit floating point values. At the left of the datapath, a constant ROM holds important constants such as π. At the right are the eight registers that form the stack, along with the stack control circuitry. The chip's instructions are defined by the large rectangular microcode ROM in the middle.

This...is Programming Like a Fighter Pilot. A single unhandled exception destroyed a $500 million rocket in seconds. The F-35 wasn't going to make the same mistake. By carefully slicing C++, engineers created one of the strictest coding standards ever written.