🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
✅ Formal Methods
FStar, libjade, Jasmin, hacl-star
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Monads as Graphs (2019)
neilmitchell.blogspot.com
·
4d
·
Discuss:
Lobsters
,
Hacker News
🦀
Rust
Keep Pydantic out of your Domain Layer
coderik.nl
·
3d
·
Discuss:
Hacker News
🦀
Rust
Glaze: Fast, in memory, JSON and reflection library for modern C++
github.com
·
3d
·
Discuss:
Hacker News
🦀
Rust
Show HN: Resume as Code
alexcwatt.com
·
2h
·
Discuss:
Hacker News
🦀
Rust
Add AI coding assistant configuration to Linux kernel
lore.kernel.org
·
17h
·
Discuss:
Hacker News
🦀
Rust
Laravel and Admiral: The Internal Admin Stack We Wish We Had Sooner
dev.family
·
1d
·
Discuss:
Hacker News
🦀
Rust
Implementing Bloom Filters in C (2022)
andreinc.net
·
1d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Show HN: O3 beats Sonnet 4 at coding (in our codebase, wrt our preferences)
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🦀
Rust
How to Learn the Swift Source Code
blog.jacobstechtavern.com
·
4d
·
Discuss:
Hacker News
🦀
Rust
Embedded Systems Roadmap: Bridging the Gap
interrupt.memfault.com
·
2d
·
Discuss:
Hacker News
,
r/embedded
🔒
Cryptography
Hitting the Brakes on Claude Code
preslav.me
·
7h
·
Discuss:
Hacker News
🦀
Rust
Inlining in the Glasgow Haskell Compiler:Empirical Investigation and Improvement
era.ed.ac.uk
·
4d
·
Discuss:
Hacker News
🦀
Rust
Ohm: A JavaScript library and PEG-based language for building parsers
github.com
·
13h
·
Discuss:
Hacker News
🦀
Rust
Show HN: Hiconic – reflective, reactive, and portable modeling for any domain
github.com
·
2d
·
Discuss:
Hacker News
🦀
Rust
Using GitHub Spark to reverse engineer GitHub Spark
simonwillison.net
·
2d
·
Discuss:
Hacker News
🦀
Rust
AIDE – a file and directory integrity checker
aide.github.io
·
1d
·
Discuss:
Hacker News
🔒
Cryptography
Show HN: LLMs suck at writing integration code… for now
github.com
·
2d
·
Discuss:
Hacker News
🦀
Rust
Cashfree Payments Saved 160 Hours of Manual Testing with Generative AI
tech.cashfree.com
·
1d
·
Discuss:
Hacker News
🦀
Rust
Getting started with LLVM development on Windows via WSL2
trolololo.xyz
·
9h
·
Discuss:
Hacker News
🦀
Rust
Never write your own Date Parsing Library
zachleat.com
·
2d
·
Discuss:
Hacker News
🦀
Rust
Loading...
Loading more...
« Page 2
•
Page 4 »