🐿️ 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
Lzexe Home Page
bellard.org
·
5h
·
Discuss:
Hacker News
🦀
Rust
Visualize Your Puppet Data in Grafana with the Observability Data Connector
puppet.com
·
3d
·
Discuss:
Hacker News
🔒
Cryptography
European Commission brings use of Microsoft 365 into compliance
edps.europa.eu
·
2h
·
Discuss:
Hacker News
🔒
Cryptography
RFC 9773: Acme Renewal Information (ARI) Extension
datatracker.ietf.org
·
3d
·
Discuss:
Lobsters
,
Hacker News
🔒
Cryptography
Show HN: A code editor that integrates into the browser
tachicode.dev
·
4d
·
Discuss:
Hacker News
🦀
Rust
Optimi-Zi(n)g Sudoku-Solving
log.pfad.fr
·
2d
·
Discuss:
Lobsters
,
Hacker News
🔐
Zero-Knowledge Proofs
The Real Ask
frederickvanbrabant.com
·
6h
·
Discuss:
Hacker News
,
r/programming
🔐
Zero-Knowledge Proofs
Max MRR: Your growth ceiling
longform.asmartbear.com
·
1d
·
Discuss:
Hacker News
🔒
Cryptography
An intro to security, with eggs, please
binturo.ng
·
1d
·
Discuss:
Lobsters
,
Hacker News
🔐
Zero-Knowledge Proofs
Why Reality Has a Well-Known Math Bias
linch.substack.com
·
1d
·
Discuss:
Substack
🔒
Cryptography
KCert: A Simple Let's Encrypt Manager for Kubernetes
github.com
·
1d
·
Discuss:
Hacker News
🔒
Cryptography
Uncertain⟨T⟩
nshipster.com
·
3d
·
Discuss:
Hacker News
🔒
Cryptography
Show HN: Mcp-chromautomation – Chrome MCP that is not a puppeteer
github.com
·
2d
·
Discuss:
Hacker News
🔒
Cryptography
Pointers Are Complicated, Or: What's in a Byte?
ralfj.de
·
3d
·
Discuss:
Hacker News
🦀
Rust
Moreutils: The utilities package every Unix/Linux/Mac OS developer should know
rentes.github.io
·
4d
·
Discuss:
Hacker News
🦀
Rust
LLMs remain vulnerable to "jailbreaking" through adversarial prompts
link.springer.com
·
4d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Metasurfaces could be the next quantum information processors
phys.org
·
1d
·
Discuss:
Hacker News
🔒
Cryptography
TPC-H Query 1: Column Storage and Local Aggregation
database-doctor.com
·
3d
·
Discuss:
Hacker News
⚡
CUDA
Dwl: Dwm for Wayland
codeberg.org
·
3d
·
Discuss:
Hacker News
🔒
Cryptography
Show HN: Go-respec – Generate OpenAPI specs from Go code, no annotations needed
github.com
·
4d
·
Discuss:
Hacker News
🦀
Rust
Loading...
Loading more...
« Page 11
•
Page 13 »