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
🔍 Concolic Testing
Symbolic Execution, SAGE, Path Exploration, Dynamic Analysis
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
17856
posts in
1.42
s
TamperBench
:
Systematically
Stress-Testing LLM Safety Under Fine-Tuning and Tampering
arxiv.org
·
1d
🧪
Binary Fuzzing
Specification
Vibing
for Automated Program Repair
arxiv.org
·
15h
🔓
Decompilation
Main
Content ||
Math
∩ Programming
jeremykun.com
·
1d
🧮
Kolmogorov Complexity
Manufacturing
QMS
Software
samrian.com
·
1d
·
Discuss:
Hacker News
⚙️
Proof Engineering
A
one-prompt
attack that breaks LLM safety
alignment
microsoft.com
·
1d
·
Discuss:
Hacker News
🌐
DNS Security
Show HN:
Merlin
(
trymerlin.ai
) – Exam creation tool for educators
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
⚡
Proof Automation
What if writing
tests
was a
joyful
experience?
blog.janestreet.com
·
4d
·
Discuss:
Hacker News
🧪
Property-Based Testing
Lean
4 and the Curry–Howard
correspondence
wildonblog.wordpress.com
·
1d
⚔️
Lean Theorem
Recursive
Deductive
Verification: A framework for reducing AI
hallucinations
news.ycombinator.com
·
2d
·
Discuss:
Hacker News
⚖️
Hoare Logic
LocalGPT
: A local AI assistant with
persistent
memory in a single binary
localgpt.app
·
1d
·
Discuss:
Hacker News
💻
Local LLMs
Testing
CLIs
with
Scrut
cgamesplay.com
·
5d
·
Discuss:
Hacker News
🛡️
CLI Security
Opus
4.5 really
changed
things
kylerush.org
·
1d
·
Discuss:
Hacker News
📚
MARC Evolution
Towards
Perfect
Vulnerability
Management System
worklifenotes.com
·
22h
·
Discuss:
Hacker News
✅
Archive Fixity
Rise of the
Cowboy
Coder
jollycoder.com
·
18h
·
Discuss:
Hacker News
📏
Code Metrics
fredabila/orcbot
: A self-improving AI agent that learns from failures, builds its own skills, and runs on Telegram/WhatsApp/CLI
github.com
·
17m
·
Discuss:
Hacker News
🏠
Homelab Orchestration
Circumstantial
Complexity
, LLMs and Large Scale Architecture
datagubbe.se
·
1d
·
Discuss:
Hacker News
⚙️
Proof Engineering
Show HN:
Klint
– Linux Kernel Security
Scanner
saturnine.cc
·
1d
·
Discuss:
Hacker News
🔍
eBPF
We
chose
a pipeline over speech-to-speech for
evaluative
voice AI
productfit.substack.com
·
14h
·
Discuss:
Substack
🎙️
Whisper
Context
Is Part of the Game
joy.pm
·
2d
·
Discuss:
Hacker News
✨
Effect Handlers
creact-labs/creact
:
CReact
is a meta-runtime for building domain-specific,
reactive
execution engines.
github.com
·
2d
·
Discuss:
r/node
,
r/reactjs
🦀
Rust Macros
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