🐿️ 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
Validation of a Mobile App for Remote Autism Screening in Toddlers
acamh.org
·
21h
·
Discuss:
Hacker News
🧠
llms
Shutdown System, Reboot Join CCC for 39C3: Power Cycles
ccc.de
·
1d
·
Discuss:
Hacker News
🧠
llms
The Race to Launch Tokenized Stocks Is On
investopedia.com
·
11h
·
Discuss:
Hacker News
🧠
llms
The Kafka Challenge – Translating the Inimitable
hedgehogreview.com
·
2d
·
Discuss:
Hacker News
🧠
llms
Show HN: Spooky Planning. Full-feature Planning Poker free forever
spookyplanning.com
·
9h
·
Discuss:
Hacker News
🧠
llms
Object Packing
nms.ac.uk
·
6h
·
Discuss:
Hacker News
🧠
llms
Fundamentals of Probability
ocw.mit.edu
·
1d
·
Discuss:
Hacker News
🧠
llms
HTTP is not simple
daniel.haxx.se
·
3d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🧠
llms
How to Determine What Is Important
medium.com
·
1d
·
Discuss:
Hacker News
🧠
llms
AI Veganism: Some People's Issues with AI Parallel Vegans' Concerns About Diet
news.gatech.edu
·
21h
·
Discuss:
Hacker News
🧠
llms
Why the em dash is attracting unfair suspicion
theglobeandmail.com
·
1h
·
Discuss:
Hacker News
🧠
llms
As the status quo shifts, we’re becoming more forgiving when algorithms mess up
theconversation.com
·
1d
·
Discuss:
Hacker News
🧠
llms
Pace Layering an Application Portfolio
frederickvanbrabant.com
·
13h
·
Discuss:
Hacker News
,
r/programming
🧠
llms
Linear sent me down a local-first rabbit hole
bytemash.net
·
3d
·
Discuss:
Hacker News
🧠
llms
The current state of LLM-driven development
blog.tolki.dev
·
2d
·
Discuss:
Hacker News
🧠
llms
Exploiting a Buggy Zilog C Compiler
farlow.dev
·
11h
·
Discuss:
Lobsters
,
Hacker News
🧠
llms
Contextual genomic perspective on physical activity, health, and well being
nature.com
·
1d
·
Discuss:
Hacker News
🧠
llms
Writing tests for Nim libraries with Nimble and unittest
serv.peterme.net
·
1d
·
Discuss:
Hacker News
🧠
llms
Claude is competitive with humans in (some) cyber competitions
red.anthropic.com
·
1d
·
Discuss:
Hacker News
🧠
llms
The modern packager's security nightmare (2021)
blogs.gentoo.org
·
15h
·
Discuss:
Hacker News
🧠
llms
Loading...
Loading more...
« Page 9
•
Page 11 »