Articles by 082349872349872
1

Vampire Population Ecology (rit.edu)

2

Pure Macros as a Programming Language (dartmouth.edu)

3

λ-Calculus: Then and Now (Dana S. Scott, 2013) [pdf] (upenn.edu)

2

RAH, "Logic of Empire" (1941) (archive.org)

1

Ready Lists (11011110.github.io)

1

Cross Platform Machine Code (2022) (tenderlovemaking.com)

3

Floats Are Weird (unnamed.website)

1

Algebraic Signal Processing Theory: Foundation and 1-D Time (2008) [pdf] (cmu.edu)

2

3D Printed Mechanical Digital Clock (marian42.de)

22

Blacksmithing and Lisp (funcall.blogspot.com)

1

Investigating MacPaint's Source Code (ztoz.blog)

2

Baseball on the Moon (plover.com)

2

Graph Graphs (2010) (gfredericks.com)

3

...graphical debugging using too many visualizations of the Hilbert curve (akkartik.name)

2

Twenty Questions with a Random Liar (11011110.github.io)

2

New Calculator template brings [Wikipedia] interactivity at last (wikipedia.org)

9

Musings on Tracing in PyPy (pypy.org)

1

Cutting Edge Calligraphy (upenn.edu)

1

The Resolution Semiring (2014) [pdf] (normalesup.org)

1

Obfuscated C Revisited (dotat.at)

2

Kap Programming Langage (dhsdevelopments.com)

10

Overloading the lambda abstraction in Haskell (2022) (acatalepsie.fr)

10

Penrose Mazes (2020) (justinpombrio.net)

1

Programming Lewis Carroll's Memoria Technica (ztoz.blog)

1

Beef cattle feedlots: design and construction (2016) [pdf] (mla.com.au)

1

CrossHair: Analysis [Python] that blurs the line between testing and [types] (github.com/pschanely)

3

Pseudonymity in Academic Publishing (11011110.github.io)

41

The Antikythera mechanism – 254:19 ratio (leancrew.com)

1

Different Implementations of a Tiny Programming Language (grahamenos.com)

1

Ask HN: Engagement vs. Success or Schlep vs. Fun?

1

How to Draw Block Diagrams (2019) (johnwickerson.wordpress.com)

1

TinyAPL Part 14: (Wrap Your Head Around) Dictionaries (rubenverg.com)

3

Foams Made Out of Felt (tanyakhovanova.com)

2

A universal pronoun in English? [pdf] (manchester.ac.uk)

1

These Languages Are Accumulating (jcarroll.com.au)

2

One Million Dinosaur Comics (0x04.net)

6

Ten Americas: a systematic analysis of life expectancy disparities in the USA (thelancet.com)

1

Nauty and Traces (graph canonical labeling and automorphism group computation) (uniroma1.it)

1

The Tetrahedral Days of Christmas (leancrew.com)

29

Fleng 22 (concurrent logic programming) (call-with-current-continuation.org)

1

Compiling with Classical Connectives (2020) [pdf] (pauldownen.com)

1

Forbearance Negotiation Violence (benrudgers.posthaven.com)

5

Any similarity to actual persons living or dead is purely coincidental (interconnected.org)

1

Soft Sequence Heaps (2021) [pdf] (units.it)

1

Ghosts of Departed Proofs [pdf] (zotero.net)

1

POPL Paper–Formalising Graphs with Coinduction (doisinkidney.com)

1

Can Math Save Your Soul? (mathenchant.wordpress.com)

1

Guest Post: Final Encoding in RPython Interpreters (pypy.org)

2

Näbelhüüler Äbike – Monstercorso [video] (youtube.com)

1

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

1

Problem Solving with Answer Set Programming (leahneukirchen.org)

1

The Logic of Quantum Mechanics (1936) [pdf] (huji.ac.il)

1

Survey of Geometry (mnstate.edu)

1

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

1

Koch Method to Learn Morse (stendec.io)

1

Polyglot Maxxie and Minnie (jcarroll.com.au)

3

Euclid, in which coloured diagrams and symbols are used instead of letters (lib.harvard.edu)

1

Euclid, in which coloured diagrams and symbols are used instead of letters (lib.harvard.edu)

1

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

1

Microkernel Goes General: The HongMeng Production Microkernel [pdf] (usenix.org)

1

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

2

On Working with Your Passion (datagubbe.se)

4

Probabalistic Spin Glass (2022) (bytepawn.com)

1

The Mathematics of Sentence Structure (1958) [pdf] (cmu.edu)

34

Industrious Dice (mathenchant.wordpress.com)

1

The Colonial Origins of Comparative Development (2001) [pdf] (aeaweb.org)

1

Markets for Information Goods (1998) (ischool.berkeley.edu)

1

Wuffs the Language (github.com/google)

1

How do you find a good manager? [pdf] (nber.org)

8

Unicode shenanigans: Martine écrit en UTF-8 (poisson.chat)

1

Review: How to Be a Tudor (thepsmiths.com)

2

Why Fascism is the Wave of the Future (1994) (lrb.co.uk)

1

What do animals do all day?: The division of labor, (2000) [pdf] (kieranhealy.org)

1

When the Invisible Hand Needs to Stay That Way (2016) (cato-unbound.org)

1

The Conservation of Coercion (2017) (americanaffairsjournal.org)

1

Teaching children to be mathematicians vs. teaching about mathematics (1971) [pdf] (dspace.mit.edu)

1

Review: The Albigensian Crusade, by Jonathan Sumption (substack.com)

28

Is English a “creole Language”? (upenn.edu)

1

Typical: Data interchange with algebraic data types (github.com/stepchowfun)

1

The Flip (2020) [pdf] (amazonaws.com)

26

A Curried Composition Puzzle (dyer.me)

1

A Temporal System of Logic (dyer.me)

1

The City of Angels in Latin (upenn.edu)

2

G, a Statistical Myth (2007) (bactra.org)

1

The mustard second coming as predicted by C-wave theory (interconnected.org)

2

ContrAltoJS Xerox Alto Emulator (loomcom.com)

2

A fanfold paper tape, titled 'SPACEWAR ' (auction) (christies.com)

5

Wild Mustang and Burro Freeze Marks (2020) [pdf] (mustangheritagefoundation.org)

1

Through the Years with Gaiters (2013) (anglicansonline.org)

2

The little-known life of the scarfing tool (2003) (thefabricator.com)

10

Thoughts while watching myself be automated (dynomight.net)

2

The categorical contours of the Chomsky-Schützenberger representation thm (2023) (hal.science)

3

Tribes of Programming (2017) (josephg.com)

1

Use Your Pubnix as a Personal Permanent Pastebin Service (klu.sdf.org)

1

Wired Love: A Romance of Dots and Dashes (1880) (gutenberg.org)

1

What does GCD have in common with leap years? (2021) (palaiologos.rocks)

1

The Geometry of the Set of Equivalent Linear Neural Networks (arxiv.org)

1

George Ellsworth (wikipedia.org)