Top all-time · #6232
Zachary Yedidia
Personal blog · zyedidia.github.io/blogprogrammingsystems
Zachary Yedidia's personal blog at zyedidia.github.io covers programming and systems. Since 2021, 13 different Hacker News readers have linked it 17 times, most often “Writing a bare-metal RISC-V application in D”. The last post was in 2024, but the archive is still widely read.
Too few sampled comments (7) to say how often HN recommends it.?
Why HN links it
HN commenters cite his posts on a safe-Rust transmute technique, the Literate programming tool, and a RISC-V kernel write-up. The comments use the posts as sources or pointers rather than judging them.
Summarised by Claude from a sample of 7 HN comments that link here. Each comment is marked recommending, critical or neutral (citing without judging); how this works.
Most-linked posts?
- Writing a bare-metal RISC-V application in D5 people · 5 mentions · first linked 2023-02-22
- Literate: A Flexible Literate Programming System3 people · 3 mentions · first linked 2021-03-02
- /blog/posts/5-safe-transmute/2 people · 3 mentions · first linked 2023-06-07
- Knit: Making a Better Make2 people · 2 mentions · first linked 2023-04-07
- Visualizing the ARM64 Instruction Set (2024)2 people · 2 mentions · first linked 2024-03-04
What Hacker News says?
Literate ( https://zyedidia.github.io/literate/ and https://github.com/zyedidia/Literate ) is a great option for anybody interested in Literate Programming.
Comment linking /literate/
on “Noweb – A Simple, Extensible Tool for Literate Programming”Submitted Literate: A Flexible Literate Programming System as a story · 103 points
HN discussionDead link that. Should let the author know. But there's a link at the top of the page as well: https://zyedidia.github.io/literate/website-source/
Comment linking /literate/website-source/
on “Literate: A Flexible Literate Programming System”Submitted Visualizing the ARM64 Instruction Set (2024) as a story · 3 points
HN discussionI like the idea, but I think I'd prefer to go more towards mdsh - I already write up markdown documents for various tasks - I would prefer extracting and running code directly from file (eg: a local checkout of a gitlab wiki project, or from a docs-folder in a checkout of a regular project). Maybe I can bend mdsh to my needs with a bit of inspiration from your project. Currently there's expected to be a bit of copy…
Comment linking /literate/index.html
on “Literate: A Flexible Literate Programming System”Submitted Visualizing the ARM64 Instruction Set as a story · 3 points
HN discussionAlso possible to do directly in the "safe" type system, without messing around with /proc/mem: https://zyedidia.github.io/blog/posts/5-safe-transmute/
Comment linking /blog/posts/5-safe-transmute/
on “totally_safe_transmute, Line-by-Line (2021)”Submitted Knit: Making a Better Make as a story · 2 points
HN discussionI came across this issue in Rust recently: https://github.com/rust-lang/rust/issues/57893 . I thought it was interesting since it lets you easily write transmute in safe Rust: https://zyedidia.github.io/blog/posts/5-safe-transmute/ .
Comment linking /blog/posts/5-safe-transmute/
on “Counterexamples in Type Systems: programs that crash, segfault or explode (2021)”Submitted Literate: A Flexible Literate Programming System as a story · 1 points
HN discussionThe author elaborates more in this blog post… https://zyedidia.github.io/blog/posts/1-d-baremetal/
Comment linking /blog/posts/1-d-baremetal/
on “Multiplix, operating system kernel for RISC-V and AArch64 SBCs”Submitted Writing a bare-metal RISC-V application in D as a story · 1 points
HN discussionI agree -- relying on Safe Rust's "guarantees" for security purposes is very likely to be problematic. To make the reasons concrete: for the last 4 years rustc has had a bug that allows writing transmute (arbitrary type conversion) without the use of unsafe: https://zyedidia.github.io/blog/posts/5-safe-transmute/ . This is one of the 77 current open unsoundness bugs on the Rust issue tracker. To make this tenable yo…
Comment linking /blog/posts/5-safe-transmute/
on “eBPF Verification Is Untenable”Submitted Writing a bare-metal RISC-V application in D as a story · 1 points
HN discussionSubmitted Knit: Making a Better Make as a story · 1 points
HN discussionSubmitted Writing a bare-metal RISC-V application in D as a story · 1 points
HN discussionSubmitted Writing a bare-metal RISC-V application in D (Better C) as a story · 1 points
HN discussion
