Ricardo Nabinger Sanchez's Avatar

Ricardo Nabinger Sanchez

@rnsanchez

Computing Scientist ๐Ÿ‡ง๐Ÿ‡ท ๐Ÿ‡ช๐Ÿ‡ธ ๐Ÿ‡ช๐Ÿ‡บ -- B.Sc. Unisinos '07 ๐Ÿ‡ง๐Ÿ‡ท, M.Sc. UofA '10 ๐Ÿ‡จ๐Ÿ‡ฆ -- Compilers, low-level code, static analysis, performance

73
Followers
259
Following
16
Posts
21.11.2023
Joined
Posts Following

Latest posts by Ricardo Nabinger Sanchez @rnsanchez

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

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

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...

25.02.2026 11:06 ๐Ÿ‘ 373 ๐Ÿ” 128 ๐Ÿ’ฌ 2 ๐Ÿ“Œ 8
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.

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.

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!)

18.02.2026 11:09 ๐Ÿ‘ 669 ๐Ÿ” 140 ๐Ÿ’ฌ 27 ๐Ÿ“Œ 19
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 ...

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/...

28.01.2026 16:05 ๐Ÿ‘ 12 ๐Ÿ” 4 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
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.

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.

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...

23.01.2026 18:07 ๐Ÿ‘ 76 ๐Ÿ” 13 ๐Ÿ’ฌ 2 ๐Ÿ“Œ 0
Brewster Kahle stands in front of a row of servers at the Internet Archive.

Brewster Kahle stands in front of a row of servers at the Internet Archive.

If you've ever wondered about the infrastructure behind the Internet Archive and the Wayback Machine, check out this teardown โžก๏ธ hackernoon.com/the-long-now...

13.01.2026 18:26 ๐Ÿ‘ 515 ๐Ÿ” 149 ๐Ÿ’ฌ 11 ๐Ÿ“Œ 10
Preview
Tessellations, Escher-style Discover great tessellation art, understand how it works, and create your own.

Tiled.art: โ€œDiscover great tessellation art, understand how it works, and create your own.โ€ [tiled.art]

06.01.2026 16:12 ๐Ÿ‘ 26 ๐Ÿ” 9 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 1
Preview
a man dressed as santa claus is sitting in a chair and saying `` i think you made the naughty list . '' Alt: a man dressed as santa claus is sitting in a chair and saying `` i think you made the naughty list . ''
29.12.2025 21:14 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
Preview
Linux 6.18: All About the New Long-Term Support Linux Kernel The newest version of the Linux kernel offers two years of long-term support, plus upgrades to the slab memory allocator, security hardening and more.

Linux 6.18: All About the New Long-Term Support Linux Kernel: thenewstack.io/linux-6-18-a... via @thenewstack.io & @sjvn.bsky.social

What exactly is Long Term Support #Linux, and what's in the latest LTS Linux kernel?

11.12.2025 03:16 ๐Ÿ‘ 5 ๐Ÿ” 4 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
Parents, choosing button meme

Send kids to dark web

Talk to children

Parents, choosing button meme Send kids to dark web Talk to children

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.

10.12.2025 10:55 ๐Ÿ‘ 31 ๐Ÿ” 4 ๐Ÿ’ฌ 2 ๐Ÿ“Œ 0
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.

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.

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...

09.12.2025 18:38 ๐Ÿ‘ 127 ๐Ÿ” 34 ๐Ÿ’ฌ 4 ๐Ÿ“Œ 1
RAGE feat. Jen Majura - Lord Of The Flies (Wacken Open Air 2009)
RAGE feat. Jen Majura - Lord Of The Flies (Wacken Open Air 2009) YouTube video by thegothictale

Maybe this vibe?
www.youtube.com/watch?v=vh56...

04.12.2025 12:31 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0
Video thumbnail

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.

03.12.2025 19:33 ๐Ÿ‘ 64 ๐Ÿ” 7 ๐Ÿ’ฌ 3 ๐Ÿ“Œ 0
Preview
TU Delft lecture: Security of Science - Bert Hubert This is a mostly verbatim transcript of my lecture at the TU Delft VvTP Physics symposium โ€œSecurity of Scienceโ€ held on the 20th of November. Audio version (scroll along the page to see the associated...

Recently I presented over at TU Delft on the Science of Security. Learn all about radar, stealth, penicillin, hydrogen bombs & my thoughts on how in Europe we have no good avenues for doing military tech research & how this could end up badly + some ideas how to do better:
berthub.eu/articles/pos...

01.12.2025 10:47 ๐Ÿ‘ 14 ๐Ÿ” 8 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 1
Modern X86 Assembly Language Programming โ€ข Daniel Kusswurm & Matt Godbolt โ€ข GOTO 2025
Modern X86 Assembly Language Programming โ€ข Daniel Kusswurm & Matt Godbolt โ€ข GOTO 2025 YouTube video by GOTO Conferences

โ€œAssembly isnโ€™t dead - just specialized.โ€ Matt Godbolt and Dan Kusswurm explore modern x86 coding, when assembly is worth it, and how it can deliver up to 100x speedups for critical tasks.
youtu.be/L2Qu9rk05rE?...

20.11.2025 13:45 ๐Ÿ‘ 17 ๐Ÿ” 5 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

On the bright side, a good moment to check if "low toner", "printer open" LEDs are properly lit. Extra bonus if there is a "made a mess" LED, lit as well.

17.11.2025 19:44 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
Post image

Bingeing TikTok reels may be hazardous to your well-being.

71 studies, >98k people: The more short-form videos teens and adults watched, the more they struggled with attention, self-control, and stress and anxiety.

Read a book. Watch a movie. Long live longform.

14.11.2025 16:08 ๐Ÿ‘ 88 ๐Ÿ” 30 ๐Ÿ’ฌ 2 ๐Ÿ“Œ 2
Post image Post image

The worldโ€™s first microprocessor is *NOT* from Intel.โ€จโ€จ

But you wonโ€™t find it in many textbooks.

โ€จโ€จIt was a secret only declassified in 1998; for good reason. โ€จโ€จ

The Garrett AiResearch F14 Air Data Computer was 8x faster than the Intel 4004, and a year earlier!

13.11.2025 20:11 ๐Ÿ‘ 64 ๐Ÿ” 14 ๐Ÿ’ฌ 2 ๐Ÿ“Œ 1
Matt Godboltโ€™s blog

This December, I'll be posting an article & video each day until Christmas in the Advent of Compiler Optimisations! #AoCO2025
Each day we'll explore a fun optimisation in C or C++; some low-level, x86 or ARM-specific, some high-level. Hope you'll join me!
YT: youtube.com/mattgodbolt
Blog: xania.org

13.11.2025 19:51 ๐Ÿ‘ 64 ๐Ÿ” 16 ๐Ÿ’ฌ 3 ๐Ÿ“Œ 0
Possibly a carpenter bee, feasting on a drop of honey placed on a small tree branch, over grass.

Possibly a carpenter bee, feasting on a drop of honey placed on a small tree branch, over grass.

Brought up some honey to a (possibly) carpenter bee, that looked pretty exhausted. Quite uncommon for me to find them on the ground; lots of woodpeckers and other predators visit the garden.

Hope it can fuel up quickly and return to its nesting log soon enough!

05.11.2025 17:09 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

Herbie will march triumphantly in 2050.

Modern cars are dangerously relying on software for trivial things such as starting the engine, for absolutely no good reason.

31.10.2025 12:20 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

Frank Klepacki, particularly Command & Conquer (1995). It was an "AWE32" moment where a great game could have a soundtrack as good as the game/gameplay itself. In my opinion, Klepacki's soundtrack was on a different level, becaming an instant favourite for many years (decades!) to come.

31.10.2025 12:11 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

#Intel released the 89th edition of the Software Developerโ€™s Manuals with a new SEAM, and completely rewritten CPUID (with domain info) section:
All-in-One:
cdrdv2-public.intel.com/868137/32546...
Changes v81:
cdrdv2-public.intel.com/868136/25204...
UDB (opcode D6h) canonized

29.10.2025 09:51 ๐Ÿ‘ 5 ๐Ÿ” 1 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 1
Post image

Colleges do a terrible job of teaching C++.โ€จโ€จ

Itโ€™s not โ€œC with Classesโ€. Injected into curriculums as a demonstration of early CS concepts, it leaves many with a sour taste.โ€จโ€จ

Students later immediately fall in love with the first language that *doesnโ€™t* feel that way.

13.10.2025 21:21 ๐Ÿ‘ 58 ๐Ÿ” 5 ๐Ÿ’ฌ 8 ๐Ÿ“Œ 1
An image with P99 CONF speakers

An image with P99 CONF speakers

P99 CONF is next week! Which talks are on your "can't miss" list?

13.10.2025 15:36 ๐Ÿ‘ 13 ๐Ÿ” 8 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 4
Post image

If you ever get a chance to inspire, do it! ... as great day had at #CyberGirlsFirst event at Aston Uni, inspiring 13yo girls to pursue tech careers by sharing my journey & passion for tech. Loved their energy & curiosity! Let's keep encouraging the next gen of women in STEM! #WomenInTech

02.10.2025 16:56 ๐Ÿ‘ 76 ๐Ÿ” 8 ๐Ÿ’ฌ 2 ๐Ÿ“Œ 1
Color coded display of a zlib compressed version of this post's text, rendered by the flateview demo

Color coded display of a zlib compressed version of this post's text, rendered by the flateview demo

lynn.github.io/flateview/
Impressive. Visualizer of zlib (gzip) - paste in a paragraph or two of text.

Reminds me of @angealbertini.bsky.social's binary file-format illustrations (google 'corkami').

29.09.2025 19:28 ๐Ÿ‘ 7 ๐Ÿ” 3 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
Post image Post image

Everyone knows that the x86 ISA is big.โ€จ

Modern CPUs have ~1000+ mnemonics. Guess how many make up 90% of compiled C/C++ code?

TWELVE. I'm not kidding.

The question isโ€ฆwhat if we shrank it?

16.09.2025 18:28 ๐Ÿ‘ 111 ๐Ÿ” 23 ๐Ÿ’ฌ 3 ๐Ÿ“Œ 2
Panel 1. image of a huge nuclear plant. 
โ€œReactor Overheatingโ€

2. A worker in a hazmat suit works at a computer. The screen reads:
โ€œPress cancel to avoid critical overloadโ€

3 - 9. The worker continues to type at the computer. The screen changes in each panel and reads: 
โ€œEnter password to confirmโ€
โ€œIncorrect passwordโ€
โ€œIncorrect passwordโ€
โ€œDo you want to reset your password?โ€
โ€œReset link has been sent to your emailโ€
โ€œPlease choose a new passwordโ€
โ€œNew password can't be the same as old passwordโ€
The colour gets hotter in each panel. Starting blue in 1 and ending in red in 9.

Panel 10. Wide view. The entire earth is blown up.

Panel 1. image of a huge nuclear plant. โ€œReactor Overheatingโ€ 2. A worker in a hazmat suit works at a computer. The screen reads: โ€œPress cancel to avoid critical overloadโ€ 3 - 9. The worker continues to type at the computer. The screen changes in each panel and reads: โ€œEnter password to confirmโ€ โ€œIncorrect passwordโ€ โ€œIncorrect passwordโ€ โ€œDo you want to reset your password?โ€ โ€œReset link has been sent to your emailโ€ โ€œPlease choose a new passwordโ€ โ€œNew password can't be the same as old passwordโ€ The colour gets hotter in each panel. Starting blue in 1 and ending in red in 9. Panel 10. Wide view. The entire earth is blown up.

My latest cartoon for @newscientist.com

p.s. this week I am on a USA/Canada tour with my new book. Details and preorder links at tomgauld.com

15.09.2025 17:46 ๐Ÿ‘ 2435 ๐Ÿ” 882 ๐Ÿ’ฌ 22 ๐Ÿ“Œ 47
Video thumbnail

Code Complete is one of the most enduring books on software engineering. Steve McConnell wrote the 900-page handbook just five years into his career - decades later, Code Complete is still a best-seller.

Steve rarely gives interviews, so I hope you enjoy this special one.

10.09.2025 19:34 ๐Ÿ‘ 60 ๐Ÿ” 4 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0
Backdoor in "AppSuite PDF Editor": A Detailed Technical Analysis Some threat actors are bold enough to submit their own malware as false positive to antivirus companies and demand removal of the detection. This is exactly what happened with AppSuite PDF Editor.

Our technical deep-dive about AppSuite PDF Editor backdoor is out ๐Ÿ“๐Ÿ‘‡

www.gdatasoftware.com/blog/2025/08...
#GDATA #GDATATechblog #AppSuite

28.08.2025 17:08 ๐Ÿ‘ 6 ๐Ÿ” 2 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0