Implementing Ray Tracing In One Weekend in F#
heftymouse.meΒ·3dΒ·
Discuss: Hacker News
πŸ”—Functional Compilers
Rustdoc-LLMs – Generate Rust llms.txt file for AI context prompts
github.comΒ·2dΒ·
Discuss: Hacker News
πŸ”’Linear Types
Show HN: CodePrism – an AI-generated code analysis engine as MCP
rustic-ai.github.ioΒ·1dΒ·
Discuss: Hacker News
πŸ¦€Rust Borrowing
PEGTL -- Parsing Expression Grammar Template Library
github.comΒ·19hΒ·
Discuss: Hacker News
πŸ”—Parser Combinators
Introduction - The Rustonomicon
doc.rust-lang.orgΒ·5d
πŸ¦€Rust Borrowing
BNFGen: A random text generator based on context-free grammars
baturin.orgΒ·29mΒ·
Discuss: Hacker News
🌳Context free grammars
Using PhantomData and Zero-Sized Types
dev.toΒ·3hΒ·
Discuss: DEV
πŸ”’Type Safety
**Master Rust Testing: Essential Strategies for Bulletproof Code Quality and Development Efficiency**
dev.toΒ·2dΒ·
Discuss: DEV
πŸ¦€Rust Verification
Rust Web Framework Analysis Deep Dive Safety Features（1750734074777000οΌ‰
dev.toΒ·1dΒ·
Discuss: DEV
πŸ¦€Rust Borrowing
Experiment proposal: In-place initialization
github.comΒ·3d
πŸ¦€Rust Borrowing
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.meΒ·1dΒ·
Discuss: Lobsters, Hacker News, r/programming
πŸ”—Lisp
Memory Safety in Web Rust System Zero Cost Secure（1750671065382000οΌ‰
dev.toΒ·2dΒ·
Discuss: DEV
πŸ¦€Rust Borrowing
πŸ“˜EP01 - Intro to Rust and Solana Dev Setup
dev.toΒ·1dΒ·
Discuss: DEV
πŸ¦€Rust Borrowing
$1M per Week: My Seven-Week AI Development Sprint
blockhead.consultingΒ·19hΒ·
Discuss: Hacker News
⚑Proof Automation
LR(1) parse-tables generator
github.comΒ·1dΒ·
Discuss: Lobsters, Hacker News
πŸ”Z3 Parsing
Counter Service: How we rewrote it in Rust
engineering.grab.comΒ·2d
πŸ”’Linear Types
Memory Safety in Web Rust System Zero Cost Secure（1750644757028200οΌ‰
dev.toΒ·2dΒ·
Discuss: DEV
πŸ¦€Rust Borrowing
New rust mocking library Injectorpp 0.4.0 is released! Type check is added and more
reddit.comΒ·1dΒ·
Discuss: r/rust
πŸ¦€Rust Verification
[$] How to write Rust in the kernel: part 1
lwn.netΒ·4d
πŸ¦€Rust Borrowing
Shane Kennedy - Software Engineer
shaneikennedy.xyzΒ·1d
πŸ“ŸTerminal Typography