Ironclad is a free software formally verified kernel written in SPARK/Ada

ship first

explain later

How a bit of algorithm engineering and low-level details can alter what seems like a straightforward trade-off on a blackboard.

not sorry, don't owe anyone an apology, will keep building the only functional encrypted infrastructure while avoiding shortcuts, forks, marketing talk and empty promises

works ongoing, maybe someone will find it useful
using this opportunity, saying hi…

don’t be scared to fuck up on tasks about decisions you make, test shit and try to find the way out through internal math smarts (you have got to develop that skill)

fork-mfers are using grok as a weapon against you without even understanding what the fuck…

Alex Karp, CEO of Palantir, joins Molly O’Shea for a rare look inside Palantir (physically, inside their office). We go deep into their values, vision, and the moral foundation of technology in the AI era.

Fresh off Palantir’s record-breaking earnings, nearly…

Learn how GitLab Runner and GitHub Actions work internally by building your own CI/CD pipeline runner in Python. Covers parallel execution, job dependencies,...

AGI is a harmful and wasteful fantasy that runs counter to the principles of efficient and effective engineering.

all you mfs who defend death as a virtue will need to delete your shit and pretend you never stood for it when we get our first GLP-1 equivalent for age reversal. you'll be body positivity for death.

A Practical Guide to build secure, maintainable multi-container applications with Podman

i believe in freedom
i believe in truth
i believe in righteousness
i believe in encryption
i believe in my cofounder
i believe in our team

I want to tell you about an idea that has had a huge influence on the way that I write software. And I mean that in the literal sense: it’s changed the way that I write software; it’s re-shaped my development workflow.
The idea is this: you can write programs…

What is a sigma-algebra? And why do we need it in probability theory?

In this video, we’ll explore the intuition behind sigma-algebras from two different angles: geometry and logic.

First, with the help of cubes, spheres, and the famous Banach–Tarski paradox…

For years, a French mathematician searched for a proof that a gigantic number is prime. His method is still used 150 years later

A few weeks ago I was minding my own business, peacefully reading a well-written and informative article about artificial intelligence, when I was ambushed by a passage in the article that aroused …