Skip to content(if available)orjump to list(if available)

HN

The Swift SDK for Android

Valetudo: Cloud replacement for vacuum robots enabling local-only operation

First shape found that can't pass through itself

quantamagazine.org

I invited strangers to message me through a receipt printer

Harnessing America's Heat Pump Moment

Unlocking Free WiFi on British Airways

How to make a Smith chart

Compiler optimizations for 5.8ms GPT-OSS-120B inference (not on GPUs)

Carmack on Operating Systems

You Can Cool Chips with Lasers

spectrum.ieee.org

Twake Drive – An open-source alternative to Google Drive

Public Montessori programs strengthen learning outcomes at lower costs: study

Virtual Try on Free Online – AI Clothes Changer – I-TryOn

virtual-try-on.app

Modern Perfect Hashing

Conductor (YC S24) Is Hiring a Founding Engineer in San Francisco

ycombinator.com

Code Like a Surgeon

geoffreylitt.com

MRI Contrast Agent Causes Harmful Metal Buildup in Some Patients [study]

Context engineering is sleeping on the humble hyperlink

Why formalize mathematics – more than catching errors

rkirov.github.io

Mesh2Motion – Open-source web application to animate 3D models

mesh2motion.org

New OSM file format: 30% smaller than PBF, 5x faster to import

community.openstreetmap.org

TextEdit and the relief of simple software

Many Factorials in Lambda Calculus

text.marvinborner.de

Many Factorials in Lambda Calculus

Many Factorials in Lambda Calculus

2 comments

·October 15, 2025

mpoteat

I like to refer to code that has been overly injected with syntactic sugar as "caramelized". We need more culinary metaphors for programming jargon!

mpoteat

@marvinborner

Is there any hope for a "hashlife" style cache for a TC language? My understanding is that hashlife exploits spatial locality / "causation speed" in GoL, which isn't available in LC because of beta reduction. Thoughts?