Active
Recent
Comments
Search
Login
Login
Newest
Top
Newest stories submitted by
azhenley
.
5
RISC-V Is Getting MSIs
osdev
blog.stephenmarz.com
via
azhenley
5 days ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
49
Learning HTML was too hard so I made a compiler instead
person
austinhenley.com
authored by
azhenley
6 days ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
9 comments
9
14
Formally Proven Binary Format Parsers
pdf
formalmethods
fstar-lang.org
via
azhenley
20 days ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
1 comment
1
11
Formal Methods Only Solve Half My Problems
formalmethods
brooker.co.za
via
azhenley
1 month ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
6 comments
6
1
From making spam tools to making compilers and IDEs [audio]
compilers
person
programming
john-lam-podcast.simplecast.com
via
azhenley
1 month ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
5
Pointers, strings, and (im)mutability
programming
python
dleybz.medium.com
via
azhenley
1 month ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
1
Just-in-time refactoring with IntelliCode auto suggested code
ai
programming
devblogs.microsoft.com
via
azhenley
1 month ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
0
Stories from Microsoft’s DevDiv
programming
john-lam-podcast.simplecast.com
via
azhenley
1 month ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
12
A Functional Introduction To Computer Science
compsci
cs.uwaterloo.ca
via
azhenley
2 months ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
7
Software engineering in-the-large: the coordination challenge
programming
surfingcomplexity.blog
via
azhenley
2 months ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
22
Proving the Coding Interview
formalmethods
cs.utexas.edu
via
azhenley
2 months ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
7 comments
7
17
Making a RISC-V Operating System in Rust
assembly
rust
osblog.stephenmarz.com
via
azhenley
2 months ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
2 comments
2
19
Hazel: A live functional programming environment featuring typed holes
plt
hazel.org
via
azhenley
3 months ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
37
The project with a single 11,000-line code file
programming
austinhenley.com
authored by
azhenley
3 months ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
41 comments
41
10
Wordle is NP-hard
compsci
arxiv.org
via
azhenley
3 months ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
1 comment
1
18
The 2021 ACM Turing Award
science
amturing.acm.org
via
azhenley
3 months ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
3 comments
3
13
Hedy - A gradual programming language
education
plt
hedycode.com
via
azhenley
3 months ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
2 comments
2
1
The story of Flash Fill
video
ai
youtube.com
via
azhenley
3 months ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
2
A Conversational Paradigm for Program Synthesis
ai
arxiv.org
via
azhenley
3 months ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
5
How To Build an Evil Compiler
compilers
awelm.com
via
azhenley
3 months ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
1 comment
1
19
Paradox of the perfect code editor
programming
web.eecs.utk.edu
authored by
azhenley
8 months ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
7 comments
7