🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🧩 type theory
types, dependent types, linear types
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
A single lock of hair could rewrite what we know about Inca record-keeping
science.org
·
3d
·
Discuss:
Hacker News
🧠
llms
How The Widget Revolutionized Canned Beer
hackaday.com
·
3d
·
Discuss:
Hacker News
🧠
llms
Show HN: Raspberry Pi with portable touch monitor with a single USB-C cable
getubo.com
·
4d
·
Discuss:
Hacker News
🧠
llms
Inclusive Language Guide
aswf.io
·
5d
·
Discuss:
Hacker News
🧠
llms
What Is a Spaceship?
angadh.com
·
5d
·
Discuss:
Hacker News
🧠
llms
Show HN: On-device photo library cleanup and Optimisation
mypixie.app
·
4d
·
Discuss:
Hacker News
🧠
llms
I built a pipeline for automatically translating Chinese news
bednarskiwsieci.pl
·
4d
·
Discuss:
Hacker News
🧠
llms
In-depth analysis on Valorant's Guarded Regions
reversing.info
·
4d
·
Discuss:
Lobsters
,
Hacker News
🧠
llms
I ban users from my repositories
willmcgugan.github.io
·
4d
·
Discuss:
Hacker News
🧠
llms
Kristie De Garis on community protest and solidarity in Wplace
kristiedegaris.substack.com
·
4d
·
Discuss:
Substack
🧠
llms
Iceberg Table Corruption and Data Loss in Production
ryft.io
·
4d
·
Discuss:
Hacker News
🧠
llms
SuperSight: A graphical enhancement mod for Brøderbund's "Stunts"
marnetto.net
·
4d
·
Discuss:
Hacker News
🧠
llms
Canonical's OpenJDK builds promise devs more speed and 12 years of support
zdnet.com
·
5d
·
Discuss:
Hacker News
🧠
llms
What If We Built Legal Systems Like We Build Everything Else?
philosophermaker.substack.com
·
4d
·
Discuss:
Substack
🧠
llms
Best Vibe Coding Tools in 2025
observer.bearblog.dev
·
5d
·
Discuss:
Hacker News
🧠
llms
Tiny, removable “mini SSD” could eventually be a big deal for gaming handhelds
arstechnica.com
·
1d
·
Discuss:
r/technews
🧠
llms
Understanding Protein Language Models Series
chrishayduk.com
·
5d
·
Discuss:
Hacker News
🧠
llms
Health of K8S External Secrets Project
github.com
·
3d
·
Discuss:
Hacker News
🧠
llms
AI Efficiency? Give Me a Break
luolink.substack.com
·
3d
·
Discuss:
Substack
🧠
llms
Svelte, Markdown, and the Magic of Web Components
sh4jid.me
·
5d
·
Discuss:
Hacker News
🧠
llms
Loading...
Loading more...
« Page 23
•
Page 25 »