MichiganTypeScript: A WebAssembly runtime implemented in TypeScript types
This is a WebAssembly runtime implemented purely in TypeScript types. The basic idea is that you can turn C code (or just straight WebAssembly) into a TypeScript type (as in, with no JavaScript runtime code) that will compile the instructions and return a result. It can run Doom This engine was built to service a […]
Long division verified via Hoare logic
The following text can be viewed as extremely dry and intimidating, or, equally, lightheadedly funny. Let’s formally verify the venerable long-division algorithm. uintN_t div(uintN_t n, uintN_t d) { uintN_t q := 0; uintN_t r := 0; int i := N – 1; while (i != -1) { r i) & 1); if (r >= d) […]
Bifurcation: The secret giant islands formed when rivers split
As I’m sure you’re aware, rivers usually combine together to make larger and larger rivers until they reach the sea.However, there are some exceptions: rivers do sometimes split up and flow in separate directions. These splits are called “bifurcations” (bi” meaning “two”, and “furcations” being the forks). They happen most often when rivers are close […]
ForeverVM: Run AI-generated code in stateful sandboxes that run forever
The sessionless code interpreter Securely run AI-generated code in stateful sandboxes that run forever. Sign up Sign up from your terminal to try ForeverVM for free npx forevervm signuporuvx forevervm signup Python 3.13.1 (main, Jan 14 2025, 02:51:49) [GCC 12.2.0]
Show HN: Emdash – Slack/Zoom alternative for distributed team collaboration
Remote teams move fast, but staying on the same page is hard when information is scattered across tools, time zones, and channels. emdash brings everything together in one platform, making it easy to stay informed and aligned without extra effort. Here’s how emdash helps: Threaded discussions. Organize conversations, resources, and decisions by topic, so it’s […]
TypeScript types can run DOOM [video]
Show HN: A Database Written in Golang
AtomixDB is an mini relational database fully written in Go. Main focus was on implementing & understanding working the of database, storage management & transaction handling. Table of Contents Installation Prerequisites Golang (version 1.17 or later) Git Linux operating system. AtomixDB has been developed and tested on systems like NixOS. Clone the Repository Clone the […]
Nuclear Reactor Lasers: From fission to photon
Nuclear reactor lasers are devices that can generate lasers from nuclear energy with little to no intermediate conversion steps. We work out just how effective they can be, and how they stack up against conventional electrically-powered lasers. You might want to re-think your space warfare and power beaming after this. Nuclear energy and space have […]
Show HN: I made a website where you can create your own “Life in Weeks” timeline
Visual Timeline See your entire life laid out in weeks. Past, present, and future — all in one colorful view. Gain perspective on how you’re spending your most precious resource: time. Life Periods Color-code the seasons of your life — childhood, college years, jobs, and places you’ve lived. Define and document the meaningful periods that […]
State of emergency declared after blackout plunges most of Chile into darkness
CNN — Chile’s president has declared a state of emergency after an electricity blackout plunged most of the country into darkness on Tuesday, including the capital Santiago. The outage – in the middle of Chile’s summer, when temperatures in Santiago are around 30 degrees Celsius (86 degrees Fahrenheit) – has affected some 8 million homes, […]