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
2545
posts in
132.1
ms
Memory
Decay
โ
Teaching
AI to forget like humans do
github.com
ยท
2d
ยท
Discuss:
Hacker News
๐
Web
The LLM
spectrum
and
responsible
LLM use
martin.janiczek.cz
ยท
2d
ยท
Discuss:
Lobsters
,
Hacker News
๐
Type systems
Guest
post:
Balancing
your dataset? Mind the privacy leaks!
desfontain.es
ยท
4d
ยท
Discuss:
Hacker News
๐
Open source software
Formally
Verifying
PBS Kids with
Lean4
shadaj.me
ยท
5d
ยท
Discuss:
Hacker News
๐
Type systems
How not to program in
Dyalog
APL
toolofthought.com
ยท
3d
ยท
Discuss:
Lobsters
,
Hacker News
๐
Type systems
Both
Sides
of the AI Coding
Debate
Are Wrong
juansg.dev
ยท
4d
ยท
Discuss:
Hacker News
๐
Type systems
Treating
documentation as an
observable
system in RAG-based products
alexanderfashakin.substack.com
ยท
4d
ยท
Discuss:
Substack
๐
Web
If You
Tell
AI Not to Do Something, Itโs More Likely to Do It
unite.ai
ยท
4d
ยท
Discuss:
Hacker News
๐
Type systems
LLMs versus the
Halting
Problem: Revisiting Program
Termination
Prediction
orensultan.com
ยท
4d
ยท
Discuss:
Hacker News
๐
Type systems
The
Danger
of โ
Mostly
Rightโ
complimind.co.uk
ยท
4d
ยท
Discuss:
Hacker News
๐
Type systems
Agentic
Engineering
addyosmani.com
ยท
3d
ยท
Discuss:
Hacker News
๐
Web
Sandboxing
AI Agents in Linux
blog.senko.net
ยท
4d
ยท
Discuss:
Hacker News
๐ฆ
Programming languages
Wirth
's
Revenge
jmoiron.net
ยท
3d
ยท
Discuss:
Lobsters
,
Hacker News
,
Hacker News
๐
Web
Should
makers
still care about code quality?
hermanschaaf.com
ยท
5d
ยท
Discuss:
Hacker News
๐
Type systems
How to Connect Open WebUI and
Cline
to the Telegram
Cocoon
Decentralized Inference Network
habr.com
ยท
5d
ยท
Discuss:
Hacker News
๐
Web
Custom
tuning
parameters
futhark-lang.org
ยท
4d
ยท
Discuss:
Hacker News
๐
Type systems
robmoore-i/helm-test-java
: A Java library and
Gradle
plugin for writing Helm chart tests
github.com
ยท
4d
ยท
Discuss:
Hacker News
๐ฆ
Programming languages
Evaluating Large Language Models on Agentic
Workspace
Bootstrapping
nightshift.sh
ยท
4d
ยท
Discuss:
Hacker News
๐ฆ
Programming languages
Multi-layer defense for LLM agents inspired by
immune
systems (seeking
critique
)
gist.github.com
ยท
3d
ยท
Discuss:
Hacker News
๐
Web
Stop building systems for agents, build systems for human
blog.xiangpeng.systems
ยท
5d
ยท
Discuss:
Hacker News
๐
Web
Loading...
Loading more...
« Page 4
โข
Page 6 »
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