Toggle navigation
HN
Paper
All
Show
Ask
Jobs
Top stories
Today
Last 7 days
Last months
This year
Stats
Stories by azhenley
Zynga shuts down FarmVille after 11 years
237 points
azhenley
2021-01-01T12:22:26Z
twitter.com
Type Theory for All: Bringing Programming Languages Research Outside Academia
4 points
azhenley
2020-12-29T01:58:36Z
typetheoryforall.com
Wisp: A light Lisp written in C++
140 points
azhenley
2020-12-28T14:15:02Z
github.com
History of Variant Types in C#
2 points
azhenley
2020-12-27T21:14:32Z
twitter.com
The original C# team had 5 engineers
7 points
azhenley
2020-12-27T00:43:04Z
twitter.com
What Is a Pedagogic IDE?
2 points
azhenley
2020-12-24T00:46:10Z
parentheticallyspeaking.org
Edmund Clark, the 2007 Turing Award winner, has died
13 points
azhenley
2020-12-23T16:58:58Z
twitter.com
Edmund Clarke, Turing Award winner, has died
2 points
azhenley
2020-12-23T13:22:06Z
twitter.com
Reboot the Computing-Research Publication Systems
20 points
azhenley
2020-12-22T16:57:30Z
m-cacm.acm.org
Cross-Branch Testing
3 points
azhenley
2020-12-21T23:52:49Z
buttondown.email
My (very!) short review of Racket in 2020
1 points
azhenley
2020-12-21T21:20:03Z
lisp.sh
Making a RISC-V Operating System in Rust
2 points
azhenley
2020-12-21T16:48:49Z
osblog.stephenmarz.com
Make a Language in Rust: Errors
2 points
azhenley
2020-12-21T13:52:54Z
arzg.github.io
Nested Session Types
2 points
azhenley
2020-12-20T22:37:49Z
arxiv.org
Debugging Refraction in a Ray Tracer
1 points
azhenley
2020-12-20T22:17:15Z
psgraphics.blogspot.com
Odd Even Linked List
1 points
azhenley
2020-12-20T21:58:44Z
www.danielleskosky.com
Graded Modal Dependent Type Theory
2 points
azhenley
2020-12-20T17:37:07Z
arxiv.org
I Hate C Testing: A minimal testing framework for C
2 points
azhenley
2020-12-17T15:08:17Z
github.com
Make a Language in Rust: Refactoring
3 points
azhenley
2020-12-17T14:00:44Z
arzg.github.io
Being good at coding competitions correlates negatively with job performance
251 points
azhenley
2020-12-15T01:03:37Z
catonmat.net
48
49
50
51
52
53
54
55
56
57