🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
βœ… Formal Methods

FStar, libjade, Jasmin, hacl-star

Analysis of the Kumburgaz, Turkey UFO Videos
archivosovni2.blogspot.comΒ·14hΒ·
Discuss: Hacker News
🎨Rendering
Tetris Presents Math Problems Even Computers Can’t Solve
scientificamerican.comΒ·1dΒ·
Discuss: Hacker News
πŸ”Zero-Knowledge Proofs
Make Your Own Backup System – Part 2: Forging the FreeBSD Backup Stronghold
it-notes.dragas.netΒ·9hΒ·
Discuss: Lobsters, Hacker News
πŸ”Zero-Knowledge Proofs
An engineer's perspective: Why everything feels broken and what can we do
tushardadlani.comΒ·12hΒ·
Discuss: Hacker News
πŸ¦€Rust
SensorLM: Learning the language of wearable sensors
research.googleΒ·22hΒ·
Discuss: Hacker News
πŸ¦€Rust
Cashfree Payments Saved 160 Hours of Manual Testing with Generative AI
tech.cashfree.comΒ·4dΒ·
Discuss: Hacker News
πŸ¦€Rust
AAAI Launches AI-Powered Peer Review Assessment System
aaai.orgΒ·3dΒ·
Discuss: Hacker News
πŸ”’Cryptography
Neovim plugin to prompt any model from Markdown files
github.comΒ·2dΒ·
Discuss: Hacker News
πŸ¦€Rust
Kimi K2 vs Sonnet 4 for Agentic Coding (Tested on Claude Code)
composio.devΒ·6dΒ·
Discuss: Hacker News, r/LocalLLaMA
πŸ¦€Rust
When Software Engineers Think They Need More Focus Time
jola.devΒ·19hΒ·
Discuss: Hacker News
πŸ¦€Rust
Show HN: Hiconic – reflective, reactive, and portable modeling for any domain
github.comΒ·4dΒ·
Discuss: Hacker News
πŸ¦€Rust
MetaCPAN's Traffic Crisis: An Eventual Success Story
perl.comΒ·17hΒ·
Discuss: Hacker News
πŸ¦€Rust
Are prompts the new unit of work?
archgw.comΒ·2dΒ·
Discuss: Hacker News
πŸ¦€Rust
The many, many, many JavaScript runtimes of the last decade
buttondown.comΒ·2dΒ·
Discuss: Lobsters, Hacker News, r/javascript, r/programming
πŸ¦€Rust
Meta Is Going to Let Job Candidates Use AI During Coding Tests
wired.comΒ·2hΒ·
Discuss: Hacker News
πŸ”Zero-Knowledge Proofs
Frameworks (and AI) for marketers who think before they pitch
lauradecastro.substack.comΒ·1dΒ·
Discuss: Substack
πŸ”’Cryptography
An Engineer's Guide to AI Code Model Evals
addyosmani.comΒ·4dΒ·
Discuss: Hacker News, r/programming, r/webdev
πŸ¦€Rust
Version 2 of Higgs Audio Generation
boson.aiΒ·1dΒ·
Discuss: Hacker News
πŸ¦€Rust
Solving the inference problem for open source AI projects with GitHub Models
github.blogΒ·5dΒ·
Discuss: Hacker News
πŸ¦€Rust
Linux 6.16 Released
lore.kernel.orgΒ·1dΒ·
Discuss: Hacker News, r/linux
πŸ”’Cryptography
Loading...Loading more...
AboutBlogChangelogRoadmap