Toggle navigation
HN
Paper
All
Show
Ask
Jobs
Top stories
Today
Last 7 days
Last months
This year
Stats
Stories by sctb
Verifying local definitions in Coq
1 points
sctb
2018-04-23T22:36:18Z
www.joachim-breitner.de
Show HN: Woe – A concatenative language inspired by Joy
3 points
sctb
2018-02-20T19:01:05Z
github.com
Simple, Open Pleasure in a New Landscape: The Philosophy of David Hockney
1 points
sctb
2018-02-12T18:11:15Z
nplusonemag.com
Natural Sounding Artificial Reverberation (1962) [pdf]
49 points
sctb
2018-02-04T19:26:24Z
charlesames.net
Turntables in clubs
1 points
sctb
2018-01-25T22:33:49Z
www.residentadvisor.net
The Synthesis of Complex Audio by Means of Frequency Modulation (1973) [pdf]
2 points
sctb
2018-01-19T19:01:25Z
ccrma.stanford.edu
Instruction explosion in Guile
111 points
sctb
2018-01-17T13:13:56Z
wingolog.org
Programming Language for Old Timers (2009)
3 points
sctb
2017-12-19T21:42:17Z
users.rcn.com
The challenge of first-class memory
61 points
sctb
2017-11-24T22:07:15Z
okmij.org
1ML with Special Effects – F-ing Generativity Polymorphism (2016) [pdf]
2 points
sctb
2017-11-16T19:00:17Z
people.mpi-sws.org
Optimizing with persistent data structures [pdf]
3 points
sctb
2016-09-08T18:23:17Z
wingolog.org
Carts without horses
120 points
sctb
2016-06-02T17:29:27Z
www.aaronkharris.com
Y Combinator is hiring hackers
1 points
sctb
2015-11-17T19:58:09Z
jobs.lever.co
Lightweight Checked Exceptions in Haskell
2 points
sctb
2015-08-08T20:33:05Z
www.well-typed.com
Supporting HTTP/2 in Warp
1 points
sctb
2015-07-26T17:17:23Z
www.yesodweb.com
Type-Safe Runtime Code Generation: Accelerate to LLVM
2 points
sctb
2015-07-21T00:03:43Z
www.cse.unsw.edu.au
The Species of Bracelets
1 points
sctb
2015-07-09T21:26:03Z
byorgey.wordpress.com
Lambkin – A garbage-collected heap suitable for microcontrollers
1 points
sctb
2015-06-17T19:50:27Z
gist.github.com
HiDb: A Haskell In-Memory Relational Database (2014) [pdf]
23 points
sctb
2015-05-26T22:42:33Z
www.scs.stanford.edu
Perceive Think Act – A Production Journal for “On the Back of a Tiger”
2 points
sctb
2015-05-15T23:09:16Z
www.perceivethinkact.com
1
2