Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🧪 Testing
simulation, fuzzing, property-based testing
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
2580
posts in
60.2
ms
How I Program with LLMs
blog.wesleyabbey.io
·
4d
·
Discuss:
Hacker News
📊
Type systems
Millets
: A practical memory-safety and thread-safety
experiment
eagledot.xyz
·
5d
·
Discuss:
Lobsters
,
Hacker News
📊
Type systems
Trudging
Through
Nonsense
aphyr.com
·
4d
·
Discuss:
Hacker News
📊
Type systems
Memory
Decay
–
Teaching
AI to forget like humans do
github.com
·
3d
·
Discuss:
Hacker News
🌐
Web
Trust
Signals
Are
Broken
ordep.dev
·
5d
·
Discuss:
Lobsters
,
Hacker News
🌐
Web
Former Cohere execs Sara Hooker and
Sudip
Roy secure $50 million seed round for their new startup
Adaption
Labs
fortune.com
·
4d
·
Discuss:
Hacker News
🌐
Web
The
Conspiracy
Against High Temperature LLM
Sampling
gist.github.com
·
4d
·
Discuss:
Hacker News
📊
Type systems
The LLM
spectrum
and
responsible
LLM use
martin.janiczek.cz
·
4d
·
Discuss:
Lobsters
,
Hacker News
📊
Type systems
The
Unsettling
Rise of AI Real-Estate
Slop
theatlantic.com
·
4d
·
Discuss:
Hacker News
🌐
Web
What
Happens
When AI Can
Write
All Your Software?
jakequist.com
·
4d
·
Discuss:
Hacker News
📊
Type systems
Formally
Verifying
PBS Kids with
Lean4
shadaj.me
·
6d
·
Discuss:
Hacker News
📊
Type systems
Guest
post:
Balancing
your dataset? Mind the privacy leaks!
desfontain.es
·
5d
·
Discuss:
Hacker News
👐
Open source software
How not to program in
Dyalog
APL
toolofthought.com
·
5d
·
Discuss:
Lobsters
,
Hacker News
📊
Type systems
Treating
documentation as an
observable
system in RAG-based products
alexanderfashakin.substack.com
·
5d
·
Discuss:
Substack
🌐
Web
If You
Tell
AI Not to Do Something, It’s More Likely to Do It
unite.ai
·
5d
·
Discuss:
Hacker News
📊
Type systems
LLMs versus the
Halting
Problem: Revisiting Program
Termination
Prediction
orensultan.com
·
6d
·
Discuss:
Hacker News
📊
Type systems
The
Danger
of ‘
Mostly
Right’
complimind.co.uk
·
6d
·
Discuss:
Hacker News
📊
Type systems
Both
Sides
of the AI Coding
Debate
Are Wrong
juansg.dev
·
5d
·
Discuss:
Hacker News
📊
Type systems
Sandboxing
AI Agents in Linux
blog.senko.net
·
5d
·
Discuss:
Hacker News
🦀
Programming languages
Wirth
's
Revenge
jmoiron.net
·
4d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
🌐
Web
Loading...
Loading more...
« Page 5
•
Page 7 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help