🐿️ 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
Fundamentals of Probability
ocw.mit.edu
·
14h
·
Discuss:
Hacker News
🧠
llms
Validation of a Mobile App for Remote Autism Screening in Toddlers
acamh.org
·
11h
·
Discuss:
Hacker News
🧠
llms
What It’s Like to Brainstorm with a Bot
newyorker.com
·
1d
·
Discuss:
Hacker News
🧠
llms
libsemigroups: C++ library for semigroups and monoids
github.com
·
6d
·
Discuss:
Hacker News
,
r/cpp
🧠
llms
Introducing rr Chaos Mode (2016)
robert.ocallahan.org
·
23h
·
Discuss:
Lobsters
,
Hacker News
🧠
llms
Hospital Shift Scheduling with OR-Tools
barkeywolf.consulting
·
1d
·
Discuss:
Hacker News
🧠
llms
Reverse-Engineering cuBLAS (2024)
accu.org
·
23h
·
Discuss:
Hacker News
🧠
llms
We Need More Databases
danthegoodman.substack.com
·
14h
·
Discuss:
Substack
🧠
llms
Shutdown System, Reboot Join CCC for 39C3: Power Cycles
ccc.de
·
16h
·
Discuss:
Hacker News
🧠
llms
Show HN: VectorOps Know
vectorops.dev
·
3d
·
Discuss:
Hacker News
🧠
llms
GPT-5 Pushes Vibe Coding Beyond My Wildest Dreams
parkerortolani.blog
·
13h
·
Discuss:
Hacker News
🧠
llms
Hunting Bugs in Perf_event2
roci.co.za
·
19h
·
Discuss:
Hacker News
🧠
llms
The Race to Launch Tokenized Stocks Is On
investopedia.com
·
26m
·
Discuss:
Hacker News
🧠
llms
My take on Send and Sync
blog.cuongle.dev
·
3d
·
Discuss:
Hacker News
🧠
llms
AI Nurturing Framework–Developing AI through guidance instead of control
github.com
·
13h
·
Discuss:
Hacker News
🧠
llms
Memory 2.0: Attentive Memory (2012)
blog.ninlabs.com
·
1d
·
Discuss:
Hacker News
🧠
llms
Reinforcement Learning Conference 2025: Outstanding Paper Awards
rl-conference.cc
·
15h
·
Discuss:
Hacker News
🧠
llms
The Rise and Fall of Bayesian Statistics
johndcook.com
·
2d
·
Discuss:
Hacker News
🧠
llms
Vibe coding to Chomksy: will linguistics pop off in a world full of prompting?
aymannadeem.com
·
4d
·
Discuss:
Hacker News
🧠
llms
The Kafka Challenge – Translating the Inimitable
hedgehogreview.com
·
1d
·
Discuss:
Hacker News
🧠
llms
Loading...
Loading more...
« Page 5
•
Page 7 »