🐿️ 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

Alcor Life Extension Foundation
alcor.org·3d·
Discuss: Hacker News
🔒Cryptography
California EV drivers could lose their carpool lane privileges in September
latimes.com·2d·
Discuss: Hacker News
⚡CUDA
Ghana and China Partner to Build Electric Vehicle Assembly Plant
jphfeeds.top·1d·
Discuss: Hacker News
⚡CUDA
From Geo to AIVO, the Evolution of Digital Visibility Standards in AI Search
geostandard.org·6d·
Discuss: Hacker News
🦀Rust
Computing Machinery and Intelligence (1950)
academic.oup.com·6d·
Discuss: Hacker News
🔒Cryptography
AI Chatbots Are Giving Away Your Company's Data
news.uoguelph.ca·3d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
The Four Dimensions of Tone of Voice
nngroup.com·5d·
Discuss: Hacker News
🦀Rust
Reality is evil
aeon.co·4d·
Discuss: Hacker News
🔒Cryptography
Marines managed to get past an AI powered camera "undetected" by hiding in boxes
rudevulture.com·5d·
Discuss: Hacker News
🔒Cryptography
Commonwealth Bank Reverses Job Cuts Decision Over AI Chatbots
bloomberg.com·5d·
Discuss: Hacker News
🔒Cryptography
I Can't Worry About the Whole World
candost.blog·5h·
Discuss: Hacker News
🔒Cryptography
Consciousness Is Overrated Anyway (for AI)
bastian.rieck.me·2d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Labubus, The Bell Jar and tampons: the ‘performative male’ attracts attention
theguardian.com·4d·
Discuss: Hacker News
🦀Rust
Unlearning Medicine's Unhealthy 'Hidden Curriculum'
medscape.com·20h·
Discuss: Hacker News
🦀Rust
Polypeptides synthesized by bacteria in the human gut improve rodent metabolism
nature.com·5d·
Discuss: Hacker News
🦀Rust
How to save the American university
theguardian.com·2d·
Discuss: Hacker News
🔒Cryptography
Y Combinator Files Brief Supporting Epic Games, Says App Store Fees Stifle Startups
macrumors.com·4d·
Discuss: Hacker News
🔒Cryptography
Israeli double strike on Gaza hospital – what we know
bbc.com·11h·
Discuss: Hacker News
🔒Cryptography
DE23-Lite Development Kit with Agilex 3 FPGA Targets Education and Prototyping
linuxgizmos.com·4d·
Discuss: Hacker News
⚡CUDA
How to Push Back Against Unreasonable Management Expectations in the Age of AI?
deepdocs.dev·5d·
Discuss: Hacker News, r/programming
🔐Zero-Knowledge Proofs
Loading...Loading more...
AboutBlogChangelogRoadmap