πΏοΈ 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
Shape memory alloys for cryogenic actuators
nature.com
Β·
14h
Β·
Discuss:
Hacker News
π¦
Rust
Review of socio-technical systems theory
business.leeds.ac.uk
Β·
1d
Β·
Discuss:
Hacker News
π
Cryptography
Decoding Meshtastic with GNURadio on a Raspberry Pi
jeffgeerling.com
Β·
1d
Β·
Discuss:
Hacker News
π
Cryptography
Apple Loses Fourth AI Researcher in a Month to Metaβs Superintelligence Team
bloomberg.com
Β·
2d
Β·
Discuss:
Hacker News
π¦
Rust
Fujitsu starts development of 10000 plus superconducting quantum computer
global.fujitsu
Β·
6h
Β·
Discuss:
Hacker News
π
Cryptography
Opsqueue: Lightweight batch processing queue for heavy loads β now open-source
channable.com
Β·
2d
Β·
Discuss:
Lobsters
,
Hacker News
β‘
CUDA
ASI-Arch β AlphaGo Moment for Model Architecture Discovery
github.com
Β·
3d
Β·
Discuss:
Hacker News
π¦
Rust
Show HN: An app to let you use your Qardio device without their servers
testflight.apple.com
Β·
1d
Β·
Discuss:
Hacker News
π
Cryptography
(Weak) Factorization Systems
bartoszmilewski.com
Β·
6d
Β·
Discuss:
Hacker News
π¦
Rust
Opinionated API framework for building type-safe REST APIs
github.com
Β·
2d
Β·
Discuss:
Hacker News
π
Zero-Knowledge Proofs
A Rational Survival Guide to Vibe Coding with AI
blog.anantshri.info
Β·
3d
Β·
Discuss:
Hacker News
π¦
Rust
Using Claude Code Off-Label: Research Instead of Coding
random.rest
Β·
4d
Β·
Discuss:
Hacker News
π¦
Rust
Implement AI Typesetting in Word
medium.com
Β·
4d
Β·
Discuss:
Hacker News
π¦
Rust
Sendria is a test SMTP server
github.com
Β·
21h
Β·
Discuss:
Hacker News
π¦
Rust
The Bard and The Shell
journal.bsd.cafe
Β·
4d
Β·
Discuss:
Lobsters
,
Hacker News
π¦
Rust
Flaw in Gemini CLI coding tool could allow hackers to run nasty commands
arstechnica.com
Β·
2d
Β·
Discuss:
Hacker News
,
Hacker News
,
r/technews
π
Zero-Knowledge Proofs
There is no free lunch when dealing with engineering processes
taoem.com
Β·
22h
Β·
Discuss:
Hacker News
π
Zero-Knowledge Proofs
Why CI/CD Still Doesn't Include Continuous Documentation?
deepdocs.dev
Β·
2d
Β·
Discuss:
Hacker News
π¦
Rust
Artificial Intelligence and the Linux Community
blogs.gnome.org
Β·
3d
Β·
Discuss:
Lobsters
,
Hacker News
π¦
Rust
Site Runs on Laravel
coryd.dev
Β·
3d
Β·
Discuss:
Hacker News
π¦
Rust
Loading...
Loading more...
« Page 17
β’
Page 19 »