HNHacker News
TopNewBestAskShowJobs

082349872349872

10,709 karma · joined May 14, 2020

submissionscomments

Foams Made Out of Felt

blog.tanyakhovanova.com·19 pts·082349872349872·
9

A universal pronoun in English? [pdf]

personalpages.manchester.ac.uk·3 pts·082349872349872·
0

These Languages Are Accumulating

jcarroll.com.au·2 pts·082349872349872·
0

One Million Dinosaur Comics

0x04.net·2 pts·082349872349872·
0

Nauty and Traces (graph canonical labeling and automorphism group computation)

pallini.di.uniroma1.it·1 pts·082349872349872·
0

The Tetrahedral Days of Christmas

leancrew.com·2 pts·082349872349872·
0

Compiling with Classical Connectives (2020) [pdf]

pauldownen.com·1 pts·082349872349872·
0

Forbearance Negotiation Violence

benrudgers.posthaven.com·1 pts·082349872349872·
0

Any similarity to actual persons living or dead is purely coincidental

interconnected.org·3 pts·082349872349872·
2

Soft Sequence Heaps (2021) [pdf]

moodle2.units.it·1 pts·082349872349872·
0

Ghosts of Departed Proofs [pdf]

files.zotero.net·1 pts·082349872349872·
0

POPL Paper–Formalising Graphs with Coinduction

doisinkidney.com·1 pts·082349872349872·
0

Can Math Save Your Soul?

mathenchant.wordpress.com·2 pts·082349872349872·
0

Guest Post: Final Encoding in RPython Interpreters

pypy.org·1 pts·082349872349872·
0

Näbelhüüler Äbike – Monstercorso [video]

youtube.com·2 pts·082349872349872·
0

Notes on Richard Dedekind's *Was sind und was sollen die Zahlen?* (2005) [pdf]

aleph0.clarku.edu·1 pts·082349872349872·
0

Problem Solving with Answer Set Programming

leahneukirchen.org·2 pts·082349872349872·
0

The Logic of Quantum Mechanics (1936) [pdf]

cs.huji.ac.il·1 pts·082349872349872·
1

Survey of Geometry

web.mnstate.edu·1 pts·082349872349872·
0

Languages ... by finite semigroups [generalised to] trees and graphs (2020)[pdf]

mimuw.edu.pl·28 pts·082349872349872·
0

Koch Method to Learn Morse

stendec.io·3 pts·082349872349872·
0

Polyglot Maxxie and Minnie

jcarroll.com.au·6 pts·082349872349872·
1

Euclid, in which coloured diagrams and symbols are used instead of letters

iiif.lib.harvard.edu·4 pts·082349872349872·
0

The social interpretation of history; a refutation of the Marxian... (1920)

babel.hathitrust.org·1 pts·082349872349872·
0

Microkernel Goes General: The HongMeng Production Microkernel [pdf]

usenix.org·3 pts·082349872349872·
0

The Political Doctrines of Sun Yat-Sen: The Sun Min Chu I (1937)

gutenberg.org·1 pts·082349872349872·
0

On Working with Your Passion

datagubbe.se·11 pts·082349872349872·
1

Sign of the Times (APL)

apl.news·1 pts·082349872349872·
0

Probabalistic Spin Glass (2022)

bytepawn.com·38 pts·082349872349872·
5

The Mathematics of Sentence Structure (1958) [pdf]

cs.cmu.edu·2 pts·082349872349872·
0
← PreviousPage 2 of 10Next →