Introduction to Formal Verification with Lean: Part 1
Discover how Lean, a proof assistant and functional programming language, can revolutionize formal verification of cryptographic protocols like the One-Time Pad.
ReadJournal · one note per week
What we learn while building.
Raw notes on AI in production, real agentic systems, and what actually works for the startups we work with.
↳ 5319 notes
Decoding the Apollo 11 Guidance Computer Source Code
Dive into digital history with the Apollo 11 Guidance Computer source code, now available on GitHub. Discover how this code initiated the era of modern space exploration.
ReadOverpAId – Fire your CEO. Hire the Future
In a world where AI is redefining economic rules, is it still relevant to pay CEOs astronomical salaries? Discover how automation and artificial intelligence might be the key to more innovative and efficient business management.
ReadIntel Starts Shipping High-NA EUV Silicon
Intel is revolutionizing semiconductor manufacturing with the introduction of High-NA EUV silicon, promising efficiency and precision gains in chip production.
ReadThe Birth of Prolog: A Logical Revolution
Prolog, born in 1972, revolutionized programming with its declarative logic, laying the groundwork for modern AI. Let's dive into its history and current applications.
ReadThe Decline of Radio: Why and How
Radio used to be a trusty companion. But today, it's clear that it no longer generates the same enthusiasm. An analysis of the reasons behind this decline and the numbers that accompany it.
ReadLate.sh: A Command-Line Clubhouse Experience for Computer Enthusiasts
Explore Late.sh, a unique command-line platform blending games, collaborative art, and networking for tech enthusiasts. A space without tracking or passwords, where your SSH key is your sole identity.
ReadTen Steps Towards Happiness: A Contemporary Approach
In a constantly evolving world, happiness often seems elusive. Yet, simple steps can transform our perception and enhance our well-being.
ReadLG Bans Residential Proxies from Smart TV Apps
LG Electronics announced a ban on residential proxies in its Smart TV apps. This move aims to protect users from unauthorized exploitation of their devices.
ReadShall we look at your project together?
30 minutes, free. You leave with three concrete actions, even if we don’t work together.