🐿️ 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
Q&A on Solar Panels at the Athens-Clarke County Library
athenslibrary.org
·
21h
·
Discuss:
Hacker News
🦀
Rust
Joby to Acquire Blade's Passenger Business, Accelerating Air Taxi
jobyaviation.com
·
21h
·
Discuss:
Hacker News
🔒
Cryptography
Philippines' Porcupine Defense: Autonomous Platforms for Maritime Security
sldinfo.com
·
1d
·
Discuss:
Hacker News
🔒
Cryptography
My quest to make motorcycle riding that tad bit safer – Harry
bikesafe.me
·
2d
·
Discuss:
Hacker News
🎨
Rendering
Do not Kick against the Pricks
stephenlf.dev
·
2d
·
Discuss:
Hacker News
,
r/programming
🦀
Rust
Sortition: Activism for Activists
assemblingamerica.substack.com
·
16h
·
Discuss:
Substack
🦀
Rust
Weeding Is Fundamental
99percentinvisible.org
·
43m
·
Discuss:
Hacker News
🦀
Rust
Palmer Luckey: I Saw the Future of War. Now It’s Up to Us to Prepare for It.
thefp.com
·
1d
·
Discuss:
Hacker News
🔒
Cryptography
What's in a GIF – Bits and Bytes
giflib.sourceforge.net
·
1d
·
Discuss:
Hacker News
🎨
Rendering
Caligra Workbench
caligra.com
·
24m
·
Discuss:
Hacker News
🦀
Rust
Show HN: BookTranslator – one-click full-book translation
booktranslator.app
·
3d
·
Discuss:
Hacker News
🦀
Rust
That Squiggly, Treacherous Line
fi-le.net
·
3d
·
Discuss:
Hacker News
🦀
Rust
Create personal illustrated storybooks in the Gemini app.
blog.google
·
20h
·
Discuss:
Hacker News
,
r/Android
🎨
Rendering
My current guess at AI automation effect on jobs
sortega.substack.com
·
1d
·
Discuss:
Substack
🦀
Rust
GitHub Nuked My Account at Midnight During Alpha Release
stack-junkie.com
·
1d
·
Discuss:
Hacker News
🦀
Rust
No Comment
prog21.dadgum.com
·
21h
·
Discuss:
Hacker News
🦀
Rust
A Baby's Guide to Anthropics
linch.substack.com
·
1d
·
Discuss:
Substack
🦀
Rust
Show HN: I built a Squaredle solver that visualizes paths
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🔒
Cryptography
You can run small HuggingFace LLMs on iPhone
github.com
·
1d
·
Discuss:
Hacker News
🔒
Cryptography
GitHub CEO delivers stark message to developers: Embrace AI or get out.
businessinsider.com
·
1d
·
Discuss:
Hacker News
,
Hacker News
🦀
Rust
Loading...
Loading more...
« Page 25
•
Page 27 »