🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🧪 Property-Based Testing
QuickCheck, Input Generation, Hypothesis Testing, Test Refinement
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
LLMs and Algorithmic Trading
architect.co
·
1h
·
Discuss:
Hacker News
🐫
Embedded OCaml
A Compositional Approach to Diagnosing Faults in Cyber-Physical Systems
arxiv.org
·
2d
🔍
Formal Verification
Emergent misalignment as prompt sensitivity: A research note
arxiv.org
·
1d
✓
Automated Theorem Proving
Announcing GenAI Processors: Build powerful and flexible Gemini applications
developers.googleblog.com
·
23h
·
Discuss:
Hacker News
⚙️
PL Implementation
Show HN: Claude Code Watchdog :: GH Action for self-healing tests
github.com
·
2d
·
Discuss:
Hacker News
🔬
Static Analysis
Show HN: I rebuilt few years old project and now it covers my expenses
hextaui.com
·
1d
·
Discuss:
Hacker News
🔄
Reproducible Builds
Feint and Attack: Attention-Based Strategies for Jailbreaking and Protecting LLMs
arxiv.org
·
2d
🌐
NetworkProtocols
RVISmith: Fuzzing Compilers for RVV Intrinsics
arxiv.org
·
3d
·
Discuss:
Hacker News
🔬
Unikernels
Introducing Rudy: A Toolchain for Rust Debuginfo
samjs.io
·
1d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🐫
Embedded OCaml
So You Think You've Awoken ChatGPT
justismills.substack.com
·
1h
·
Discuss:
Substack
✓
Automated Theorem Proving
Foundation Model Self-Play: Open-Ended Strategy Innovation via Foundation Models
arxiv.org
·
1d
🛡️
seL4
SAND: Boosting LLM Agents with Self-Taught Action Deliberation
arxiv.org
·
12h
🎮
Verification Games
The Decision-Making Framework Every Engineering Team Needs
leadthroughmistakes.substack.com
·
3d
·
Discuss:
Substack
👁️
System Observability
Vibe Coding in BASIC
goto10retro.com
·
1d
·
Discuss:
Hacker News
🐫
Embedded OCaml
Integrating Generative AI in BIM Education: Insights from Classroom Implementation
arxiv.org
·
2d
🔄
Reproducible Builds
Durable Agent Loops
restate.dev
·
2d
·
Discuss:
Hacker News
👁️
System Observability
Coding Triangle: How Does Large Language Model Understand Code?
arxiv.org
·
2d
🤖
Program Synthesis
What happens when an AI is your customer?
frontierai.substack.com
·
22h
·
Discuss:
Substack
👁️
System Observability
Curriculum Negative Mining For Temporal Networks
arxiv.org
·
12h
➡️
Category Theory
Breaking down the Zero-Click AI Vulnerability Enabling Data Ex-filtration Through Calendar Invites in Eleven-labs Voice Assistants
repello.ai
·
11h
·
Discuss:
Hacker News
,
r/programming
✓
Automated Theorem Proving
Loading...
Loading more...
« Page 4
•
Page 6 »