⚙ Risc-v

Computing, news, progress, software support

How to Write Inductive Invariants
quint-lang.org·17h·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust
Partner with the AI, throw away the code
martinfowler.com·1d
🔀JJ
Go Assembly Mutation Testing
words.filippo.io·1d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust
Twentyseven 1.0.0
blog.poisson.chat·1d·
Discuss: Hacker News
🏃Go
Long Term Support(SQLite)
sqlite.org·18h·
Discuss: Lobsters, Hacker News
💾Retrocomputing
Emacs: The macOS Bug
xlii.space·2d·
Discuss: Lobsters, Hacker News
🦀Rust
LLVM integrated assembler: Engineering better fragments
maskray.me·6d·
Discuss: Lobsters, Hacker News, r/programming
💾Vintage Computers
Having fun with DSP HLE -- by Arisotura
melonds.kuribo64.net·2d·
Discuss: r/programming
🎹Piano
Ladybird Browser July Update
ladybird.org·2h·
Discuss: Hacker News
🎹Piano
Building AI flag cleanup
bucket.co·1d·
Discuss: Hacker News, r/programming
🔀JJ
In-Network Leaderless Replication for Distributed Data Stores
vldb.org·1d·
Discuss: Lobsters, Hacker News, r/programming
📖Longreads
When Flatpak’s Sandbox Cracks: Real‑Life Security Issues Beyond the Ideal
linuxjournal.com·1d·
Discuss: Lobsters, Hacker News
🔀JJ
The State of Post-Quantum Cryptography in Rust: The Belt Is Vacant
blog.projecteleven.com·1d·
Discuss: Hacker News
🦀Rust
IBM PS/2 E: The first Energy Star computer
dfarq.homeip.net·3d
💾Vintage Computers
Rust Support in Socket
socket.dev·1d·
Discuss: Hacker News
🦀Rust
Onshape – Product Development Platform
onshape.com·21h·
Discuss: Hacker News
🔀JJ
Carbon Language: An experimental successor to C++
docs.carbon-lang.dev·1d·
Discuss: Hacker News, r/programming
🦀Rust
Fast
catherinejue.com·2d·
Discuss: Hacker News
🔀JJ
Show HN: MoebiusXBIN – ASCII and text-mode art editor with custom font support
blog.glyphdrawing.club·2d·
Discuss: Hacker News
🎹Piano
The Rickover Corpus: A digital archive of Admiral Rickover's speeches and memos
rickovercorpus.org·7h·
Discuss: Hacker News
⚔Military history