🐿️ 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
·
23h
·
Discuss:
Hacker News
🧠
llms
Validation of a Mobile App for Remote Autism Screening in Toddlers
acamh.org
·
19h
·
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
·
8h
·
Discuss:
Hacker News
🧠
llms
Show HN: Spooky Planning. Full-feature Planning Poker free forever
spookyplanning.com
·
6h
·
Discuss:
Hacker News
🧠
llms
Strategies for controlling my Instagram Reels usage
zsuss.substack.com
·
21h
·
Discuss:
Substack
🧠
llms
Object Packing
nms.ac.uk
·
4h
·
Discuss:
Hacker News
🧠
llms
Code with AI the Hard Way
kamens.com
·
17h
·
Discuss:
Hacker News
🧠
llms
Vibe coding is not the AI utopia it seems
northpodie.blogspot.com
·
2d
·
Discuss:
Hacker News
🧠
llms
HTTP is not simple
daniel.haxx.se
·
3d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🧠
llms
Need Feedback: Browser Extension for Bulk ChatGPT Content Generation
news.ycombinator.com
·
6h
·
Discuss:
Hacker News
🧠
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
·
19h
·
Discuss:
Hacker News
🧠
llms
The current state of LLM-driven development
blog.tolki.dev
·
2d
·
Discuss:
Hacker News
🧠
llms
Pace Layering an Application Portfolio
frederickvanbrabant.com
·
11h
·
Discuss:
Hacker News
,
r/programming
🧠
llms
Writing a brand-new OS is almost impossible by now
blog.wellosoft.net
·
1d
·
Discuss:
Hacker News
🧠
llms
Linear sent me down a local-first rabbit hole
bytemash.net
·
3d
·
Discuss:
Hacker News
🧠
llms
PySnippets – easily write, run and share Python in the browser
pysnippets.org
·
7h
·
Discuss:
Hacker News
🧠
llms
Claude is competitive with humans in (some) cyber competitions
red.anthropic.com
·
23h
·
Discuss:
Hacker News
🧠
llms
Yet Another Online YAML Lint Tool
yamllint.vibecodinghub.org
·
1d
·
Discuss:
Hacker News
🧠
llms
Loading...
Loading more...
« Page 8
•
Page 10 »