clj-coll: Clojure collections and sequences in Common Lisp
github.com·9h·
Discuss: Lobsters, Hacker News
🦀Rust
The Sail instruction-set semantics specification language
alasdair.github.io·4h·
Discuss: Hacker News
🦀Rust
Rules for AI coding assistants working with the Linux kernel codebase
lore.kernel.org·9h·
Discuss: Hacker News
🦀Rust
10 Myths of Scalable Parallel Languages, Part 4: Syntax Matters
chapel-lang.org·1d·
Discuss: Hacker News
🦀Rust
A Framework for Witness Encryption from Linearly Verifiable SNARKs and Applications
eprint.iacr.org·1d
🔐Zero-Knowledge Proofs
The current state of Gusto's modularity tooling (2024)
engineering.gusto.com·12h·
Discuss: Hacker News
🦀Rust
On "local" and "global" errors in mathematical papers, and how to detect them
terrytao.wordpress.com·1d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
A PoC using Burp Bambdas to show its simplicity for Quick Wins
blog.kulkan.com·1d·
Discuss: Hacker News
🔒Cryptography
OpenBSD Meets the Solar Neighborhood
laser-coder.net·1h·
Discuss: Hacker News
🔒Cryptography
Unit Test Mocks in Go
martincapodici.com·2d·
Discuss: Hacker News
🦀Rust
Refactoring in the Age of Unlimited Code Generation
worksonmymachine.substack.com·11h·
Discuss: Substack
🦀Rust
What if Left-Right and Seq-Lock had a baby?
github.com·18h·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Jibril Runtime Security v2.4: Programmable Reactions to OS Security Events
jibril.garnet.ai·1d·
Discuss: Hacker News
🔒Cryptography
Handling request scoped dependencies in Golang without abusing the context
winsnes.io·1d·
Discuss: Hacker News
🦀Rust
Simon Tatham's Portable Puzzle Collection
chiark.greenend.org.uk·17h·
Discuss: Hacker News
🦀Rust
Improved homomorphic evaluation for hash function based on TFHE (2024)
cybersecurity.springeropen.com·1d·
Discuss: Hacker News
🔒Cryptography
Kernel
web.cs.wpi.edu·3d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🔐Zero-Knowledge Proofs
We Revamped Our Docs for AI Driven Development
docs.freestyle.sh·1h·
Discuss: Hacker News
🦀Rust
Microsoft Flight Simulator 2024: WebAssembly SDK
docs.flightsimulator.com·7h·
Discuss: Hacker News
🔒Cryptography
Programming Language Escape Hatches
buttondown.com·2d·
Discuss: Hacker News
🦀Rust