🐿️ 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
Glaze: Fast, in memory, JSON and reflection library for modern C++
github.com
·
3d
·
Discuss:
Hacker News
🦀
Rust
Ohm: A JavaScript library and PEG-based language for building parsers
github.com
·
21h
·
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
Metasurfaces could be the next quantum information processors
phys.org
·
10h
·
Discuss:
Hacker News
🔒
Cryptography
Cashfree Payments Saved 160 Hours of Manual Testing with Generative AI
tech.cashfree.com
·
2d
·
Discuss:
Hacker News
🦀
Rust
Getting started with LLVM development on Windows via WSL2
trolololo.xyz
·
17h
·
Discuss:
Hacker News
🦀
Rust
Never write your own Date Parsing Library
zachleat.com
·
2d
·
Discuss:
Hacker News
🦀
Rust
Kimi K2 vs Sonnet 4 for Agentic Coding (Tested on Claude Code)
composio.dev
·
3d
·
Discuss:
Hacker News
,
r/LocalLLaMA
🦀
Rust
Solving the inference problem for open source AI projects with GitHub Models
github.blog
·
3d
·
Discuss:
Hacker News
🦀
Rust
Visualize Your Puppet Data in Grafana with the Observability Data Connector
puppet.com
·
1d
·
Discuss:
Hacker News
🔒
Cryptography
LazyVim for Ambitious Developers (Book)
lazyvim-ambitious-devs.phillips.codes
·
19h
·
Discuss:
Hacker News
🦀
Rust
Artisanal Programming (Coding)
kuccello.medium.com
·
16h
·
Discuss:
Hacker News
🦀
Rust
Should You Migrate Your Documentation System – and Is It AI-Ready?
nikhilajain.com
·
19h
·
Discuss:
Hacker News
🦀
Rust
[SHOW OSS]Claude Sub Agents – AI Development Team
github.com
·
8h
·
Discuss:
Hacker News
,
Hacker News
🦀
Rust
Invisible Programming Language
en.wikipedia.org
·
1d
·
Discuss:
Hacker News
,
r/programming
🦀
Rust
A reckless introduction to Hindley-Milner type inference
reasonableapproximation.net
·
6d
·
Discuss:
Lobsters
,
r/programming
🦀
Rust
Measuring Engineering
fffej.substack.com
·
5h
·
Discuss:
Substack
🦀
Rust
Writing experience: My decade with Org
xenodium.com
·
2d
·
Discuss:
Hacker News
🦀
Rust
Loading...
Loading more...
« Page 3
•
Page 5 »