NTSB Preliminary Report – Ups Boeing MD-11F Crash [pdf]
Download PDF
The Lions Operating System
LionsOS is currently undergoing active research and development, it does not have a concrete verification story yet. It is not expected for LionsOS to be stable at this time, but it is available for others to experiment with. LionsOS is an operating system based on the seL4 microkernel with the goal of making the achievements […]
Microsoft makes Zork open-source
READ TIME 6 min WRITTEN BY /en-us/opensource/blog/author/stacey-haffner /en-us/opensource/blog/author/scott-hanselman Today, we’re preserving a cornerstone of gaming history that is near and dear to our hearts. Together, Microsoft’s Open Source Programs Office (OSPO), Team Xbox, and Activision are making Zork I, Zork II, and Zork III available under the MIT License. Our goal is simple: to place […]
Launch HN: Poly (YC S22) – Cursor for Files
Hello world, this is Abhay from Poly (https://poly.app). We’re building an app to replace Finder/File Explorer with something more intelligent and searchable. Think of it like Dropbox + NotebookLM + Perplexity for terabytes of your files. Here’s a quick demo: https://www.youtube.com/watch?v=RsqCySU4Ln0. Poly can search your content in natural language, across a broad range of file […]
Go Cryptography State of the Union
# Instead, you’re probably going to just use crypto/tls, which by default now uses a hybrid of X25519 and ML-KEM-768 for all connections with other systems that support it. Why hybrid? Because this is new cryptography. So we are still a little worried that somebody might break it. There was one that looked very good […]
Android and iPhone users can now share files, starting with the Pixel 10
When it comes to sharing moments between family and friends, what device you have shouldn’t matter — sharing should just work. But we’ve heard from many people that they want a simpler way to share files between devices. Today, we’re introducing a way for Quick Share to work with AirDrop. This makes file transfer easier […]
The Banished Bottom of the Housing Market
Today, a young man down on his luck in a new city is more likely to land in jail or on the street than on his feet. Fifty years ago, he had another option. A place to wash up, get a hot meal, meet other young men—even start over. All he had to do was […]
Nano Banana Pro
How Nano Banana Pro helps you bring any idea or design to life Nano Banana Pro can help you visualize any idea and design anything – from prototypes, to representing data as infographics, to turning handwritten notes into diagrams. With Nano Banana Pro, now you can: Generate more accurate, context-rich visuals based on enhanced reasoning, […]
Freer Monads, More Extensible Effects [pdf]
Download PDF
210 IQ Is Not Enough
Going as Former Gifted Child for Halloween and the whole costume is just gonna be people asking “What are you supposed to be?” And me saying “I was supposed to be a lot of things.” — @leahtriss 2019/10/26 Christopher Langan Chris Langan became famous when television networks interviewed him for allegedly scoring ~170 on an […]