Implementing Logic Programming

Self-Adapting Language Models

If the moon were only 1 pixel: A tediously accurate solar system model (2014)

The International Standard for Identifying Postal Items

OxCaml - a set of extensions to the OCaml programming language.

Student discovers fungus predicted by Albert Hoffman

Whatever Happened to Sandboxfs?

I convinced HP's board to buy Palm and watched them kill it

Meta invests $14.3B in Scale AI to kick-start superintelligence lab

RISC-V in AI and HPC Part 1: Per Aspera Ad Astra?

Using computers more freely and safely (2023)

The Hat, the Spectre and SAT Solvers (2024)

Show HN: Tattoy – a text-based terminal compositor

100 years of Zermelo's axiom of choice: What was the problem with it? (2006)

A Study of the Winston Red: The Smithsonian's New Fancy Red Diamond

Apple's Liquid Glass is prep work for AR interfaces, not just a design refresh

When random people give money to random other people (2017)

High-speed fluorescence light field tomography of whole freely moving organisms

How the Alzheimer's Research Scandal Set Back Treatment 16 Years (2022)

The concurrency trap: How an atomic counter stalled a pipeline

EDAN: Towards Understanding Memory Parallelism and Latency Sensitivity in HPC [pdf]

MUMPS

Ask HN: How do I give back to people helped me when I was young and had nothing?

Simulink (Matlab) Copilot