πΏοΈ 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
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...
« Page 13
β’
Page 15 »