HNHacker News
TopNewBestAskShowJobs

thedigitalengel

490 karma · joined March 4, 2010

http://playingwithpointers.com @SCombinator
submissionscomments

Java Optimizations and the JMM

playingwithpointers.com·69 pts·thedigitalengel·
5

A Lattice for Speculative Data Flow Analysis

playingwithpointers.com·24 pts·thedigitalengel·
3

Cantor's diagonal argument in Agda

playingwithpointers.com·1 pts·thedigitalengel·
0

The factorial number system

en.wikipedia.org·1 pts·thedigitalengel·
0

How Not to Measure Latency

infoq.com·1 pts·thedigitalengel·
0

Compiling λ

playingwithpointers.com·18 pts·thedigitalengel·
1

The Collie: A Wait-Free Compacting Collector

lirmm.fr·2 pts·thedigitalengel·
0

Biased Locking and Pthreads

playingwithpointers.com·9 pts·thedigitalengel·
0

Certified compilation in Agda

playingwithpointers.com·1 pts·thedigitalengel·
0

The Variable-precision SWAR Algorithm

playingwithpointers.com·6 pts·thedigitalengel·
1

A JIT Compiler for Brainf*ck

playingwithpointers.com·3 pts·thedigitalengel·
0

[pdf] IEEE Standard 754 and the explosion of Ariane 5

intel.com·2 pts·thedigitalengel·
0

Lock-free programming, first steps: mostly lock-free fixed-size vector

playingwithpointers.com·1 pts·thedigitalengel·
0

Peeking inside LuaJIT

playingwithpointers.com·5 pts·thedigitalengel·
0

[Haskell] Initial Algebras: Part I (F-Algebras)

playingwithpointers.com·1 pts·thedigitalengel·
0

First steps with Agda: provable factoring

playingwithpointers.com·1 pts·thedigitalengel·
0

First steps with Agda: well founded recursion

playingwithpointers.com·1 pts·thedigitalengel·
0

Weird C program performance

stackoverflow.com·1 pts·thedigitalengel·
0

Type-safe Tic-tac-toe

playingwithpointers.com·4 pts·thedigitalengel·
0

Recursion in Escher

escherdroste.math.leidenuniv.nl·2 pts·thedigitalengel·
0

λ→ is normalizing

playingwithpointers.com·2 pts·thedigitalengel·
0

Show HN: small lisp interpreter in Haskell

github.com·25 pts·thedigitalengel·
4

Programming languages as women

columbia.edu·1 pts·thedigitalengel·
0

Macros in Haskell

playingwithpointers.com·50 pts·thedigitalengel·
11

Tree Traversal in O(1) space.

playingwithpointers.com·2 pts·thedigitalengel·
0

Haskell's Fixed Point Combinator

playingwithpointers.com·36 pts·thedigitalengel·
8

Learning Haskell

playingwithpointers.com·3 pts·thedigitalengel·
0

Tart 0.1

lists.cs.uiuc.edu·5 pts·thedigitalengel·
0

Facebook Development Tools

github.com·1 pts·thedigitalengel·
0

On Monads, Part II

playingwithpointers.com·2 pts·thedigitalengel·
0
Page 1 of 2Next →