πΏοΈ 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
KIRA project launches Germany's first autonomous public transport shuttles
urban-mobility-observatory.transport.ec.europa.eu
Β·
10h
Β·
Discuss:
Hacker News
π
Cryptography
Oikon brings leading bird protection technologies to wind farms in SE Europe
oikon.hr
Β·
13h
Β·
Discuss:
Hacker News
π
Cryptography
The String Theory [David Foster Wallace, 1996]
esquire.com
Β·
2h
Β·
Discuss:
Hacker News
π¨
Rendering
Jetson Thor β Advanced AI for Physical Robotics
nvidia.com
Β·
2d
Β·
Discuss:
Hacker News
β‘
CUDA
Accelerating on-device ML on Metaβs family of apps with ExecuTorch
engineering.fb.com
Β·
2d
Β·
Discuss:
Hacker News
π¦
Rust
The PlayCanvas Editor Front End Is Now Open Source
blog.playcanvas.com
Β·
1d
Β·
Discuss:
Hacker News
π¦
Rust
What is gVisor?
blog.yelinaung.com
Β·
16h
Β·
Discuss:
Lobsters
,
Hacker News
π¦
Rust
Brilliant Labs new AR Glasses are here
brilliant.xyz
Β·
2h
Β·
Discuss:
Hacker News
π
Zero-Knowledge Proofs
Show HN: The App Store for AI Desktop Applications
pcagents.store
Β·
1d
Β·
Discuss:
Hacker News
π¨
Rendering
I built an alert layer on top of QuickBooks β then Intuit added a $300/month fee
uselunova.com
Β·
2d
Β·
Discuss:
Hacker News
,
Hacker News
π¦
Rust
The First Few Milliseconds of an HTTPS Connection
moserware.com
Β·
2d
Β·
Discuss:
Hacker News
π
Cryptography
Personal Software in the Age of LLM's
hexdev.blog
Β·
2d
Β·
Discuss:
Hacker News
π¦
Rust
How to map Figma MCP components to a custom UI library?
news.ycombinator.com
Β·
3d
Β·
Discuss:
Hacker News
π¦
Rust
DeployFast: One-command Next.js deployments on AWS without cold starts
deployfast.cloud
Β·
1d
Β·
Discuss:
Hacker News
π¦
Rust
AGI Might Come to Be
levroai.com
Β·
4h
Β·
Discuss:
Hacker News
π
Cryptography
Can any AI on the market do this?
news.ycombinator.com
Β·
20h
Β·
Discuss:
Hacker News
π¨
Rendering
Show HN: CodeVROOM β an AI editor for large projects
news.ycombinator.com
Β·
2d
Β·
Discuss:
Hacker News
π
Cryptography
Pull Requests Are a Poor Fit For Agentic AI
bauer.codes
Β·
2d
Β·
Discuss:
Hacker News
,
Hacker News
,
r/programming
π¦
Rust
Agent Interaction Guidelines
linear.app
Β·
1d
Β·
Discuss:
Hacker News
π¨
Rendering
Contains Studio AI Agents
github.com
Β·
1d
Β·
Discuss:
Hacker News
π¦
Rust
Loading...
Loading more...
« Page 16
β’
Page 18 »