Feed aggregator

Type theory and functional programming. (1999) [pdf]

Hacker News - Sat, 2025-09-27 10:42
Comments
Categories: Software

Typst: A Possible LaTeX Replacement

Hacker News - Sat, 2025-09-27 09:31
Comments
Categories: Software

Property-Based Testing of OCaml 5's Runtime System [pdf]

Hacker News - Sat, 2025-09-27 08:45
Comments
Categories: Software

AI Investment Is Starting to Look Like a Slush Fund

Hacker News - Sat, 2025-09-27 08:44
Comments
Categories: Software

Buyers of Radio Shack, Pier 1 brands accused of running $112M Ponzi scheme

Hacker News - Sat, 2025-09-27 08:22
Comments
Categories: Software

The Amazon Kindle War Against Piracy

Hacker News - Sat, 2025-09-27 08:02
Comments
Categories: Software

Lifetime of social ties adds up to healthy aging at molecular level

Hacker News - Sat, 2025-09-27 08:00
Comments
Categories: Software

YC Stole a SF-Attacked Founder's Startup

Hacker News - Sat, 2025-09-27 07:07
Comments
Categories: Software

Why Today's Humanoids Won't Learn Dexterity

Hacker News - Sat, 2025-09-27 04:53
Comments
Categories: Software

GPT-OSS Reinforcement Learning

Hacker News - Sat, 2025-09-27 04:01
Comments
Categories: Software

Show HN: A web version of Pips game (NYT domino game)

Hacker News - Sat, 2025-09-27 03:23
Comments
Categories: Software

Diminished Chandler Wobble After 2015: Link to Mass Anomalies in 2011

Hacker News - Sat, 2025-09-27 01:52
Comments
Categories: Software

The Obsessively Complete Infocom Catalog

Hacker News - Sat, 2025-09-27 01:43
Comments
Categories: Software

Show HN: Family Chess: Play across firewalls and Internet cultures

Hacker News - Sat, 2025-09-27 01:24
Comments
Categories: Software

Clean Hydrogen at a Crossroads: Why Methane Pyrolysis Deserves Attention

Hacker News - Sat, 2025-09-27 01:12
Comments
Categories: Software

Care more about the stabilizers in your mechanical keyboard–here's why

Hacker News - Sat, 2025-09-27 01:00
Comments
Categories: Software

New math revives geometry's oldest problems

Hacker News - Sat, 2025-09-27 00:57
Comments
Categories: Software

Why do we remember some life moments - but not others?

Hacker News - Sat, 2025-09-27 00:44
Comments
Categories: Software

High Voltage Coin Cell

Hacker News - Sat, 2025-09-27 00:18
Comments
Categories: Software

Bell Labs Scientists Accidentally Proved the Big Bang Theory

Hacker News - Sat, 2025-09-27 00:17
Comments
Categories: Software

Pages