Toggle navigation
HN
Paper
All
Show
Ask
Jobs
Top stories
Today
Last 7 days
Last months
This year
Stats
Stories by azhenley
Implementing a Type-safe printf in Rust
1 points
azhenley
2020-08-11T13:03:11Z
willcrichton.net
From Paper to Product [video]
1 points
azhenley
2020-08-11T01:51:44Z
youtu.be
How I spend way too long coming up with schemes that won't work
1 points
azhenley
2020-08-11T00:50:35Z
jeremyaboyd.com
Abstractions and Implicit Preconditions
1 points
azhenley
2020-08-10T02:27:03Z
surfingcomplexity.blog
How I spend way too long coming up with schemes that won't work
4 points
azhenley
2020-08-06T18:21:38Z
jeremyaboyd.com
Life, part 29
2 points
azhenley
2020-08-06T13:54:46Z
ericlippert.com
How to use AI to find bugs
3 points
azhenley
2020-08-06T12:07:30Z
jeanstack.substack.com
Being Glue
2 points
azhenley
2020-08-05T17:41:39Z
noidea.dog
Martin-Löf Type Theory
1 points
azhenley
2020-08-05T02:13:54Z
en.wikipedia.org
How to Roll Half a Dice
1 points
azhenley
2020-08-05T00:54:29Z
medium.com
Systems for Collective Human Curation of Online Discussion [pdf]
1 points
azhenley
2020-08-05T00:53:58Z
homes.cs.washington.edu
How to Roll Half a Die
1 points
azhenley
2020-08-04T14:33:01Z
medium.com
RISC-V OS using Rust: Graphics
99 points
azhenley
2020-08-03T18:58:01Z
blog.stephenmarz.com
A quick introduction to register allocation
1 points
azhenley
2020-08-01T18:07:39Z
hassamuddin.com
IEEE’s Top Programming Languages 2020
1 points
azhenley
2020-07-30T16:07:45Z
spectrum.ieee.org
Refactoring the FreeBSD Kernel with Checked C [pdf]
3 points
azhenley
2020-07-30T00:16:30Z
www.cs.rochester.edu
Safe by Design
2 points
azhenley
2020-07-29T01:12:56Z
surfingcomplexity.blog
All we can do is find problems
1 points
azhenley
2020-07-28T17:19:24Z
surfingcomplexity.blog
Otto: Friendly Machine Learning Assistant
74 points
azhenley
2020-07-28T12:06:20Z
github.com
Infinite Monkeys and Finite Patterns
2 points
azhenley
2020-07-23T18:19:33Z
jeanstack.substack.com
58
59
60
61
62
63
64
65
66
67