Toggle navigation
HN
Paper
All
Show
Ask
Jobs
Top stories
Today
Last 7 days
Last months
This year
Stats
Stories by azhenley
Productivity Improvements in Programming Languages Through Behavioral Analytics [pdf]
2 points
azhenley
2020-11-30T00:18:12Z
web.cs.unlv.edu
Back That ‘S’ Up: Moving to RISC-V’s Supervisor Mode
33 points
azhenley
2020-11-29T20:24:56Z
blog.stephenmarz.com
Lambda Calculus with Brainfuck for side effects
45 points
azhenley
2020-11-29T14:12:32Z
www.reddit.com
Esoteric Programming Languages – The Obscure and Unconventional
2 points
azhenley
2020-11-29T00:44:48Z
thecodebytes.com
Made my personal site into a desktop environment
149 points
azhenley
2020-11-28T22:34:18Z
x.dustinbrett.com
Type Theory and Applications [pdf]
3 points
azhenley
2020-11-28T02:47:48Z
metatheorem.org
Adding PoisonValue for representing poison value explicitly in IR
1 points
azhenley
2020-11-28T02:43:42Z
github.com
Functional Algorithm Design, Part 1
1 points
azhenley
2020-11-26T19:28:20Z
blog.sigplan.org
Intuitionistic Type Theory
1 points
azhenley
2020-11-26T19:25:13Z
en.wikipedia.org
An ex-Googler’s guide to dev tools
459 points
azhenley
2020-11-26T05:59:28Z
about.sourcegraph.com
Performance Matters (2019)
153 points
azhenley
2020-11-25T22:10:05Z
www.hillelwayne.com
What would a useful productivity metric look like?
2 points
azhenley
2020-11-25T19:39:29Z
twitter.com
Functional Algorithm Design, Part 1
2 points
azhenley
2020-11-25T14:11:51Z
blog.sigplan.org
Getting Graphical Output from Our Custom RISC-V Operating System in Rust
30 points
azhenley
2020-11-25T05:14:42Z
blog.stephenmarz.com
15 years of floppy disk copy protection
15 points
azhenley
2020-11-24T17:24:41Z
twitter.com
Why is day of the month 1-indexed but the month is 0-indexed in C?
78 points
azhenley
2020-11-24T04:31:54Z
twitter.com
Cheat sheet for using Go everywhere you might use JavaScript
3 points
azhenley
2020-11-23T23:20:39Z
alltom.com
Progress bars still lie: Please fix them
3 points
azhenley
2020-11-23T18:56:49Z
web.eecs.utk.edu
Microsoft Excel now supports custom data types
3 points
azhenley
2020-11-23T17:02:21Z
www.microsoft.com
Block-based what? Differentiating programming languages, environments, editors
1 points
azhenley
2020-11-23T16:40:31Z
medium.com
55
56
57
58
59
60
61
62
63
64