<![CDATA[Stories by Enzo Lombardi on Medium]]> https://medium.com/@enzo-lombardi?source=rss-77b4c8a3c71b------2 https://cdn-images-1.medium.com/fit/c/150/150/1*iFINeFl5Gs7F0rAnHYsoDQ@2x.jpeg Stories by Enzo Lombardi on Medium https://medium.com/@enzo-lombardi?source=rss-77b4c8a3c71b------2 Medium Thu, 05 Nov 2026 16:42:28 GMT <![CDATA[No Silver Bullet at Forty]]>

Coding models removed the typing. Brooks said that would not be enough.

Continue reading on Level Up Coding »

]]> https://levelup.gitconnected.com/no-silver-bullet-at-forty-2449b07b5584?source=rss-77b4c8a3c71b------2 https://medium.com/p/2449b07b5584 Thu, 05 Nov 2026 11:34:23 GMT 2026-11-05T11:34:23.016Z <![CDATA[Why Numbers Win Squared]]>

Lanchester’s laws of combat, tested by simulation

Continue reading on Data Science Collective »

]]> https://medium.com/data-science-collective/why-numbers-win-squared-1ba126dc109b?source=rss-77b4c8a3c71b------2 https://medium.com/p/1ba126dc109b Wed, 04 Nov 2026 14:27:54 GMT 2026-11-04T14:27:54.566Z <![CDATA[ Verifying Rust Code - Advanced]]>

Complete proofs, honest bounds and a fork that stays verified

Continue reading on Rustaceans »

]]> https://medium.com/rustaceans/verifying-rust-code-advanced-6e00b3238b42?source=rss-77b4c8a3c71b------2 https://medium.com/p/6e00b3238b42 Tue, 03 Nov 2026 09:02:59 GMT 2026-11-03T09:02:59.946Z <![CDATA[EFI-X: a Mac in Disguise]]>

The 160$ USB Stick That Made MacOS run on Intel PCs

Continue reading on Level Up Coding »

]]> https://levelup.gitconnected.com/efi-x-a-mac-in-disguise-995ea210d1c7?source=rss-77b4c8a3c71b------2 https://medium.com/p/995ea210d1c7 Mon, 02 Nov 2026 09:24:25 GMT 2026-11-04T15:29:45.208Z <![CDATA[REA: Atari 2600 Space Invaders]]>

Reverse engineering clever tricks from the remote past

Continue reading on Level Up Coding »

]]> https://levelup.gitconnected.com/rea-atari-2600-space-invaders-28f71c6ad10d?source=rss-77b4c8a3c71b------2 https://medium.com/p/28f71c6ad10d Sat, 31 Oct 2026 08:57:11 GMT 2026-11-02T04:49:50.733Z <![CDATA[ Verifying Rust Code - Basic]]>

From the borrow checker to an independent oracle

Continue reading on Rustaceans »

]]> https://medium.com/rustaceans/verifying-rust-code-basic-22fe01c57081?source=rss-77b4c8a3c71b------2 https://medium.com/p/22fe01c57081 Thu, 29 Oct 2026 09:34:29 GMT 2026-10-29T09:34:29.034Z <![CDATA[The Solitaire Game That Started Monte Carlo]]>

Ulam’s question, and the square-root law behind every simulation since

Continue reading on Data Science Collective »

]]> https://medium.com/data-science-collective/the-solitaire-game-that-started-monte-carlo-65cc7579404d?source=rss-77b4c8a3c71b------2 https://medium.com/p/65cc7579404d Mon, 26 Oct 2026 21:29:02 GMT 2026-10-26T21:29:02.257Z <![CDATA[More on Rust’s Oldest Soundness Bug]]>

Why the compiler cannot simply forget implied bounds

Continue reading on Rustaceans »

]]> https://medium.com/rustaceans/more-onrusts-oldest-soundness-bug-736162849e71?source=rss-77b4c8a3c71b------2 https://medium.com/p/736162849e71 Mon, 26 Oct 2026 07:04:03 GMT 2026-10-26T07:04:29.992Z <![CDATA[Building Anybox]]>

Turning Xbox Discs into Native Mac Apps

Continue reading on Level Up Coding »

]]> https://levelup.gitconnected.com/building-anybox-9be69b13e9e5?source=rss-77b4c8a3c71b------2 https://medium.com/p/9be69b13e9e5 Sun, 25 Oct 2026 10:07:24 GMT 2026-10-26T02:42:23.372Z <![CDATA[A Guardian Angel for a Family Mac]]>

Written in Rust

Continue reading on Rustaceans »

]]> https://medium.com/rustaceans/a-guardian-angel-for-a-family-mac-6e8dca2bf80a?source=rss-77b4c8a3c71b------2 https://medium.com/p/6e8dca2bf80a Sat, 24 Oct 2026 14:56:41 GMT 2026-10-24T15:00:36.193Z