Avid Supporter of CS in K12. Bad at social media. s/hate/love/g
Joined March 2010
- Tweets16.4K
- Following222
- Followers466
- Likes33.8K
Random Bits retweeted
The largest math proof in human history is now computer-verified.
Today, Axiom announces a complete Lean auto-formalization of the Classification of Finite Simple Groups, the "periodic table of symmetry."
About 15,000 pages, built by over 100 mathematicians across generations.
Random Bits retweeted
Software Verification in Lean (SVIL) comes to Stanford University on Saturday, November 7.
Co-organized by Beneficial AI Foundation and Lean FRO, it is a day of public lectures on advancing Lean’s software verification ecosystem toward production use, with a focus on end-to-end verification of security-critical systems.
Talks will cover Rust verification with the Aeneas framework, low-level software verification, and formally verified OS kernels.
Speakers include Max Tegmark, Shaowei Lin, Leonardo de Moura, Jonathan Protzenko, Andres Erbsen, and Mike Dodds.
In-person space is limited. Non-local and waitlisted registrants will receive a livestream link, and recordings will be available afterward.
Program and registration: beneficial-ai-foundation.git…
Random Bits retweeted
🎙️ We're joined by Gabriela Moreira @bugarela, CEO at @quint_lang, about why formal specification languages like TLA+ are essential for catching system design flaws before writing code, how Quint brings developer-friendly syntax and executability to formal methods, and the ways trace validation and model-based testing can verify AI-generated code against real-world production data.
stackoverflow.blog/2026/10/1…
Random Bits retweeted
"Why is formal verification exploding NOW?"
1. Cost of proofs is going DOWN (as AI gets more capable)
2. Cost of exploits is going UP (as AI gets more dangerous)
3. Proofs exterminate exploits
4. Bonus: proof checking = perfect math/coding RL reward
The rest is economics
Random Bits retweeted
Artificial Intelligence is the next evolution of machines, not of human beings. It will bring more comfort and convenience, but it will not enhance human beings in any way. If human consciousness evolves faster than technology, AI could be a tremendous boon for humanity. If it does not, it will cost us something very serious – something we may not be able to recover from. –Sg
Random Bits retweeted
“A ship in port is safe, but that is not what ships are for. Sail out to sea and do new things.” — Grace Hopper
Random Bits retweeted
The late MIT prof. Patrick Winston explains how to speak & get your ideas valued & accepted.
The famous lecture in full: tinyurl.com/2p592kya
v/@MITOCW
Random Bits retweeted
“The value of a prototype is in the education it gives you, not in the code itself.” — Alan Cooper
Random Bits retweeted
“Fools ignore complexity. Pragmatists suffer it. Some can avoid it. Geniuses remove it.” — Alan Perlis
Random Bits retweeted
Left: MIT computer scientist Katie Bouman w/stacks of hard drives of black hole image data.
Right: MIT computer scientist Margaret Hamilton w/the code she wrote that helped put a man on the moon.
(image credit @floragraham)
#EHTblackhole #BlackHoleDay #BlackHole
Random Bits retweeted
Computer scientist Margaret Hamilton passed away at 90 on Sep. 30th. Considered an icon at MIT, she designed the flight software for the Apollo missions to the moon.
More on her groundbreaking work: bit.ly/4zegcS8
Video v/MAKERS
Random Bits retweeted
"The purpose of software engineering is to control complexity, not to create it." – Pamela Zave
More true now than ever.
Random Bits retweeted
“We had to find a way and we did. Looking back, we were the luckiest people in the world; there was no choice but to be pioneers.” —Margaret Hamilton
Rest in peace, Margaret. Your trailblazing work leading the development of the on-board flight software for the Apollo spacecraft will forever be remembered. 🫡
ALT Margaret Hamilton poses in a command module mockup in 1969. Credit: MIT Photo Service
Random Bits retweeted
Margaret Hamilton was the first woman programmer on Apollo, led the team that wrote its flight software, and fought for software engineering to be taken seriously.
Thank you, Margaret, for all you gave computer science and the millions of students you inspire.
Random Bits retweeted
Entrevista a Margaret Hamilton, la mujer responsable del software de guíado del Apollo.
"¿Qué le enseñó su padre?
A no creer nada que no me hayan demostrado."
lavanguardia.com/lacontra/20…
Random Bits retweeted
Sans Margaret H. Hamilton, la discipline du "software engineering" porterait probablement un autre nom.
ALT No Fear At the start of the Apollo program, the onboard flight software needed to land on the moon didn’t exist. Computer science wasn’t in any college curriculum. NASA turned to mathematician Margaret Hamilton, of the Massachusetts Institute of Technology, to pioneer and direct the effort. With her colleagues, she developed the building blocks for modern “software engineering,” a term Hamilton coined. - By A.J.S. Rayl
ALT Margaret Hamilton se tenant auprès du code du logiciel de navigation qu'elle et son équipe du MIT Draper Lab ont produit pour le programme Apollo (en 1969). - wikipedia
Random Bits retweeted
From making sure that Neil Armstrong and Buzz Aldrin safely reached the moon to helping pioneer the field of software engineering, Margaret Hamilton has been a role model for so many people in STEM—including me.
Thank you, Margaret, for encouraging us all to soar.
I'd invite you to check out Bret Victor's debugging traces. I think you will enjoy it. Cheers.
youtu.be/PUv66718DII?is=PuST…