๐ฟ๏ธ 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
The trouble with the belly button (2021)
hekint.org
ยท
20h
ยท
Discuss:
Hacker News
๐ฆ
Rust
France's warship builder Naval Group investigates 1TB data breach
bleepingcomputer.com
ยท
5h
ยท
Discuss:
Hacker News
๐
Cryptography
Using dimensional analysis to estimate the energy released by an atomic bomb
physicsteacher.blog
ยท
17h
ยท
Discuss:
Hacker News
๐
Cryptography
Reddit Popularity Made Our Simulated Conscious AI Crash and How We Scaled Fast
dreami.me
ยท
5h
ยท
Discuss:
Hacker News
๐ฆ
Rust
Building SaaS billing with an open-source commerce platform
medusajs.com
ยท
1d
ยท
Discuss:
Hacker News
๐ฆ
Rust
Replacing cron jobs with a centralized task scheduler
mayhul.com
ยท
1d
ยท
Discuss:
Hacker News
๐ฆ
Rust
On the Edge of Competence
ordep.dev
ยท
19h
ยท
Discuss:
Hacker News
,
r/programming
๐
Zero-Knowledge Proofs
Every American Is Bilingual
justevilenough.com
ยท
1d
ยท
Discuss:
Hacker News
๐ฆ
Rust
Requesting Funding for 90s.dev
90s.dev
ยท
1d
ยท
Discuss:
Hacker News
,
r/webdev
๐ฆ
Rust
Platform to chat with AI characters and solve mysteries: VirtualTalesHub
virtualtaleshub.com
ยท
1d
ยท
Discuss:
Hacker News
๐
Zero-Knowledge Proofs
Show HN: My Open Source HTML Drafting Program
github.com
ยท
1d
ยท
Discuss:
Hacker News
๐
Cryptography
A Tale of Practical Keylogger Forensics
research.hisolutions.com
ยท
1d
ยท
Discuss:
Hacker News
๐
Cryptography
Show HN: We built a self-aware AI agent,and this is the log of its first mission
github.com
ยท
2d
ยท
Discuss:
Hacker News
๐
Zero-Knowledge Proofs
Show HN: Aiko โ Easiest way to manage MCP configurations and credentials (Beta)
getaiko.app
ยท
2d
ยท
Discuss:
Hacker News
๐
Zero-Knowledge Proofs
Cling โ Instant fuzzy find any file on macOS
github.com
ยท
1d
ยท
Discuss:
Hacker News
๐
Zero-Knowledge Proofs
Certificate Transparency - Part 1
ipng.ch
ยท
3d
ยท
Discuss:
Lobsters
,
Hacker News
,
r/programming
๐
Cryptography
Qwen team releases an open agentic coding model with tooling
infoq.com
ยท
2d
ยท
Discuss:
Hacker News
๐ฆ
Rust
Keep Pydantic out of your Domain Layer
coderik.nl
ยท
6d
ยท
Discuss:
Hacker News
๐ฆ
Rust
Show HN: I built a Privacy First local AI RAG GUI for your own documents
github.com
ยท
2d
ยท
Discuss:
Hacker News
,
r/LocalLLaMA
๐ฆ
Rust
Launch SaaS Faster โ Production-Ready
launchboilerplate.com
ยท
20h
ยท
Discuss:
Hacker News
๐
Zero-Knowledge Proofs
Loading...
Loading more...
« Page 14
โข
Page 16 »