Hacker News headlines

1

Barbell: Template System in BQN (2023) (juuso.dev)

9 months ago | 082349872349872 | juuso.dev | newest

2

The Unparalleled Genius of John von Neumann (2021) (privatdozent.co)

9 months ago | 082349872349872 | privatdozent.co | newest

2

The Tenor Commodordion (linusakesson.net)

9 months ago | 082349872349872 | linusakesson.net | newest

1

Towards a Notional Machine for Runtime Stacks and Scope (2022) [pdf] (brown.edu)

9 months ago | 082349872349872 | brown.edu | newest

1

The Oldest Voices We Can Still Hear (2023) [video] (youtube.com)

9 months ago | 082349872349872 | youtube.com | newest

1

Multitasking is a bad thought (2023) (benrudgers.posthaven.com)

9 months ago | 082349872349872 | posthaven.com | newest

14

Review – Ford’s First Engine (sites.google.com)

9 months ago | 082349872349872 | google.com | best

1

Adding malleability to any LÖVE app (2023) (malleable.systems)

9 months ago | 082349872349872 | malleable.systems | newest

1

Star Wars: Galactic Starcruiser (2023) (mssv.net)

9 months ago | 082349872349872 | mssv.net | newest

1

A formalization of μμ͂ and classical realizability (2023) (github.com/lapin0t)

9 months ago | 082349872349872 | github.com | newest

1

Compiling with Classical Connectives (2020) [pdf] (uoregon.edu)

9 months ago | 082349872349872 | uoregon.edu | newest

1

The pro-PER meaning of "proper" (2022) (poisson.chat)

10 months ago | 082349872349872 | poisson.chat | newest

2

The Incompatible Food Triad (georgehart.com)

10 months ago | 082349872349872 | georgehart.com | newest

15

Androgynous Peripheral Attach System (wikipedia.org)

10 months ago | 082349872349872 | wikipedia.org | frontpage

1

Abstract Nonsense (2023) (poisson.chat)

10 months ago | 082349872349872 | poisson.chat | newest

15

Where does the name "algebraic data type" come from? (poisson.chat)

10 months ago | 082349872349872 | poisson.chat | best

55

Turing's topological proof that every written alphabet is finite (2010) (divisbyzero.com)

10 months ago | 082349872349872 | divisbyzero.com | best

2

When 1+1 Equals 1 (mathenchant.wordpress.com)

10 months ago | 082349872349872 | wordpress.com | newest

1

Comparing the syntax of Quenya and real-world languages (wolfram.com)

10 months ago | 082349872349872 | wolfram.com | newest

2

Creating Jigsaw Puzzles Based on Recognizable Features (wolfram.com)

10 months ago | 082349872349872 | wolfram.com | frontpage

1

Analyzing changes in the ideology of [US parties] from 1900 to 2020 (wolfram.com)

10 months ago | 082349872349872 | wolfram.com | newest

1

Pre-migration decision-making support for people affected by climate change (thelancet.com)

10 months ago | 082349872349872 | thelancet.com | newest

3

Paleolithic eyed needles and the evolution of dress (science.org)

10 months ago | 082349872349872 | science.org | frontpage

1

Hole in a Cube (2021) (gabrielnivasch.org)

10 months ago | 082349872349872 | gabrielnivasch.org | newest

3

Datasets that change the odds you exist (dynomight.net)

11 months ago | 082349872349872 | dynomight.net | newest

34

Y combinator codex (2021) (phoe.github.io)

11 months ago | 082349872349872 | github.io | best

2

FlowSnake (secretgeek.net)

11 months ago | 082349872349872 | secretgeek.net | newest

2

What Good are Warfare Models? – Hemibel (1981) [pdf] (dtic.mil)

11 months ago | 082349872349872 | dtic.mil | newest

2

List of Placeholder Names by Language (wikipedia.org)

11 months ago | 082349872349872 | wikipedia.org | newest

1

Unpaired Word (wikipedia.org)

11 months ago | 082349872349872 | wikipedia.org | newest

5

François Viète (1540-1603) (wikipedia.org)

11 months ago | 082349872349872 | wikipedia.org | newest

2

Talmud and Its Shape (upenn.edu)

11 months ago | 082349872349872 | upenn.edu | newest

2

The Last Mathematical Testament of Galois (ias.ac.in)

11 months ago | 082349872349872 | ias.ac.in | frontpage

1

A Punic Proverb (languagehat.com)

11 months ago | 082349872349872 | languagehat.com | newest

11

Whitney Stratifications and Intersection Homology (2023) [pdf] (ethz.ch)

11 months ago | 082349872349872 | ethz.ch | frontpage

1

Faster Than Light? (2010) [pdf] (arxiv.org)

11 months ago | 082349872349872 | arxiv.org | newest

1

A course in mathematics for students of physics (1988) [pdf] (edu.et)

11 months ago | 082349872349872 | ethernet.edu.et | newest

2

Pierre René Deligne (st-andrews.ac.uk)

11 months ago | 082349872349872 | st-andrews.ac.uk | newest

3

1960 Callimahos Top Secret Maps of the Republic of Zendia (geographicus.com)

11 months ago | 082349872349872 | geographicus.com | newest

1

Lomonosov's Philosophy (1968) [pdf] (archive.org)

12 months ago | 082349872349872 | archive.org | newest

2

The uniqueness of DMR's C compiler (thread) (tuhs.org)

12 months ago | 082349872349872 | tuhs.org | newest

2

Equality, Resemblance, and Order (1975) (archive.org)

12 months ago | 082349872349872 | archive.org | newest

2

Taking Responsibility: Rheinmetall to Become "Champion Partner" to BVB (rheinmetall.com)

12 months ago | 082349872349872 | rheinmetall.com | newest

1

Tiniest x86-64-Linux emulator (terminaltrove.com)

12 months ago | 082349872349872 | terminaltrove.com | newest

12

Humans Who Are Not Concentrating Are Not General Intelligences (2019) (skynettoday.com)

12 months ago | 082349872349872 | skynettoday.com | frontpage

8

1001 Representations of Syntax with Binding (2021) (jesper.cx)

12 months ago | 082349872349872 | jesper.cx | frontpage

1

Robots will catalyze a food system transformation (2022) (medium.com/tortugaagtech)

a year ago | 082349872349872 | medium.com | newest

8

The Foundation of a Generic Theorem Prover (1989) [pdf] (arxiv.org)

a year ago | 082349872349872 | arxiv.org | frontpage

1

Lincos: Design of a language for Cosmic intercourse (1960) [pdf] (monoskop.org)

a year ago | 082349872349872 | monoskop.org | newest

2

Bravo (Editor) (1974) (wikipedia.org)

a year ago | 082349872349872 | wikipedia.org | newest

2

Venn diagram of Greek, Latin, Cyrillic uppercase glyphs (wikipedia.org)

a year ago | 082349872349872 | wikipedia.org | newest

1

Siege of Lisbon (wikipedia.org)

a year ago | 082349872349872 | wikipedia.org | newest

2

Duilian (Poetry) (wikipedia.org)

a year ago | 082349872349872 | wikipedia.org | newest

2

Sum and Product Puzzle (wikipedia.org)

a year ago | 082349872349872 | wikipedia.org | newest

1

From Chariot to Carriage: Wheeled Vehicles in Ancient China [pdf] (sino-platonic.org)

a year ago | 082349872349872 | sino-platonic.org | newest

2

Yotta (github.com/typeswitch-dev)

a year ago | 082349872349872 | github.com | newest

3

Ranking Random Foreign/Propaganda Songs (2021) [video] (youtube.com)

a year ago | 082349872349872 | youtube.com | newest

1

Intelligent Life in the Universe (1966) [pdf] (archive.org)

a year ago | 082349872349872 | archive.org | newest

2

Iosif Shklovsky (wikipedia.org)

a year ago | 082349872349872 | wikipedia.org | newest

2

The Decline of the West (1918) (wikipedia.org)

a year ago | 082349872349872 | wikipedia.org | newest

1

Gaining Depth Perception (ntietz.com)

a year ago | 082349872349872 | ntietz.com | newest

3

Country and Product Complexity Rankings (cid.harvard.edu)

a year ago | 082349872349872 | harvard.edu | frontpage

2

Dialectometry (upenn.edu)

a year ago | 082349872349872 | upenn.edu | newest

1

Kimberley Plan (wikipedia.org)

a year ago | 082349872349872 | wikipedia.org | newest

1

Shplait Language (racket-lang.org)

a year ago | 082349872349872 | racket-lang.org | newest

1

Bombadillo (terminaltrove.com)

a year ago | 082349872349872 | terminaltrove.com | newest

1

Exterior Algebra #5: EA as Linearized Set Theory? (2019) (alexkritchevsky.com)

a year ago | 082349872349872 | alexkritchevsky.com | newest

1

Cammy/Bikeshed (esolangs.org)

a year ago | 082349872349872 | esolangs.org | newest

4

3-Coloring the Vertices of an Icosahedron (plover.com)

a year ago | 082349872349872 | plover.com | frontpage

1

Bushguide 101 (Water) (bushguide101.com)

a year ago | 082349872349872 | bushguide101.com | newest

1

Different languages, similar encoding efficiency (2019) (science.org)

a year ago | 082349872349872 | science.org | newest

50

[flagged] Elon Musk Today (elonmusk.today)

a year ago | 082349872349872 | elonmusk.today | best

1

Truchet Tiles variant: Intertwined quarter circles (observablehq.com)

a year ago | 082349872349872 | observablehq.com | newest

1

Morphogenèses (ribambelle.club)

a year ago | 082349872349872 | ribambelle.club | newest

2

Sanremo Handbook on Rules of Engagement (2017) [pdf] (iihl.org)

a year ago | 082349872349872 | iihl.org | newest

4

How to Succeed in Business by Bundling – and Unbundling (2014) (hbr.org)

a year ago | 082349872349872 | hbr.org | newest

14

Virtual Pinhead (engineersneedart.com)

a year ago | 082349872349872 | engineersneedart.com | best

45

[flagged] Stuff that is backwards in Australia (plover.com)

a year ago | 082349872349872 | plover.com | frontpage

5

Do Be Do Be Do (2017) [pdf] (arxiv.org)

a year ago | 082349872349872 | arxiv.org | frontpage

1

Cetacean Needed (upenn.edu)

a year ago | 082349872349872 | upenn.edu | newest

2

Tech salaries probably aren't dropping from remote work (2020) (ntietz.com)

a year ago | 082349872349872 | ntietz.com | newest

27

Scythians Between Russia and Ukraine (upenn.edu)

a year ago | 082349872349872 | upenn.edu | best

2

Bourdieu's theory of taste: a grumbling abrégé (dynomight.net)

a year ago | 082349872349872 | dynomight.net | newest

9

Unbounded Recursion (secretgeek.net)

a year ago | 082349872349872 | secretgeek.net | frontpage

2

The Null Salad (mathenchant.wordpress.com)

a year ago | 082349872349872 | wordpress.com | newest

29

Tiny bitfield based text renderer (2022) (onirom.fr)

a year ago | 082349872349872 | onirom.fr | best

2

How worried should people be about the measles? (cnn.com)

a year ago | 082349872349872 | cnn.com | newest

0

Affine Logic for Constructive Mathematics (arxiv.org)

a year ago | 082349872349872 | arxiv.org | newest

3

Topological Duality for Distributive Lattices: Theory and Applications (arxiv.org)

a year ago | 082349872349872 | arxiv.org | newest

1

To Infinity ... (billwadge.com)

a year ago | 082349872349872 | billwadge.com | newest

1

Python Parametric CAD (build123d.readthedocs.io)

a year ago | 082349872349872 | readthedocs.io | newest

1

Your company probably knows you're reading this story at work (cnn.com)

a year ago | 082349872349872 | cnn.com | newest

2

Clothing Is a Virus (dkl9.net)

a year ago | 082349872349872 | dkl9.net | newest

2

Faith and Belief Cards and Downloads (nhsbt.nhs.uk)

a year ago | 082349872349872 | nhsbt.nhs.uk | newest

2

Cento (Poetry) (wikipedia.org)

a year ago | 082349872349872 | wikipedia.org | newest

1

Best of Wikipedia (secretgeek.net)

a year ago | 082349872349872 | secretgeek.net | newest

1

A Video Game Decoding Ancient Languages (upenn.edu)

a year ago | 082349872349872 | upenn.edu | newest

2

The Chemistry of Refrigerants (2022) (moderndescartes.com)

a year ago | 082349872349872 | moderndescartes.com | newest

2

Causes of Death (flowingdata.com)

a year ago | 082349872349872 | flowingdata.com | newest

2

Soviet Union Prison Population (1936-1991) [GIF] (quoracdn.net)

a year ago | 082349872349872 | quoracdn.net | newest