🐿️ 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
UITabAccessory Backward Compatibility
furbo.org
·
1d
·
Discuss:
Hacker News
🧠
llms
Three more species of giraffe than previously thought, scientists say
bbc.co.uk
·
23h
·
Discuss:
Hacker News
🧠
llms
OpenAVMKit: A Free and Open Source real estate valuation library for Python
progressandpoverty.substack.com
·
4d
·
Discuss:
Substack
🧠
llms
Denmark ending letter deliveries is a sign of the digital times
bbc.com
·
1d
·
Discuss:
Hacker News
🧠
llms
Work under way on first interconnector between Ireland and mainland Europe
rte.ie
·
1d
·
Discuss:
Hacker News
🧠
llms
Former ORNL and NCI Director Accuses Uni of Workplace Misconduct
anu-observer.org
·
2d
·
Discuss:
Hacker News
🧠
llms
2.7M – Number of Ukrainian and Russian Soldiers Lost
economictimes.indiatimes.com
·
18h
·
Discuss:
Hacker News
🧠
llms
Show HN: Rocket Journal – voice-first AI journaling for your 2 AM thoughts
rocketjournal.app
·
3d
·
Discuss:
Hacker News
🧠
llms
Apple Issues Urgent iOS Update to Fix Zero-Click Hack
cryptonews.com
·
1h
·
Discuss:
Hacker News
🧠
llms
Always Winning: Reverse engineering a festival app's mini-games with Frida
kopanko.com
·
4d
·
Discuss:
Hacker News
🧠
llms
No Silver Marketing Bullets
businessofsoftware.org
·
2d
·
Discuss:
Hacker News
🧠
llms
The umpire who picked a side: John Roberts and the death of rule of law in America
theguardian.com
·
1d
·
Discuss:
Hacker News
🧠
llms
Commonwealth Bank Reverses Job Cuts Decision Over AI Chatbots
bloomberg.com
·
1d
·
Discuss:
Hacker News
🧠
llms
AI is the new user interface for biology
manifold.ai
·
4d
·
Discuss:
Hacker News
🧠
llms
Optimising for trust
tomrenner.com
·
4d
·
Discuss:
Hacker News
,
r/programming
🧠
llms
Criminal background checker APCS faces data breach
theregister.com
·
8h
·
Discuss:
Hacker News
🧠
llms
Show HN: OverType – A Markdown WYSIWYG editor that's just a textarea
news.ycombinator.com
·
5d
·
Discuss:
Hacker News
🧠
llms
Turns Out Research Tax Breaks Alone Can't Conjure Developers
forbes.com
·
2d
·
Discuss:
Hacker News
🧠
llms
AI coding: plateauing but also accelerating
ghiculescu.substack.com
·
4d
·
Discuss:
Substack
🧠
llms
Show HN: Web MCP Free Tier – Internet Access for Agents (5K Req/Mo)
github.com
·
2d
·
Discuss:
Hacker News
🧠
llms
Loading...
Loading more...
« Page 54
•
Page 56 »