🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🔬 Static Analysis
Abstract Interpretation, Data Flow Analysis, Program Analysis, Verification
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
I Outline Everything
literallythevoid.com
·
4h
·
Discuss:
Hacker News
➡️
Category Theory
There are exponentially many vectors with small inner product
lmao.bearblog.dev
·
1d
·
Discuss:
Hacker News
➡️
Category Theory
💥Job Ready AI Powered Cohort: Complete Web Development + DSA + Aptitude GOOD or BAD !!!!!!!💥
sheryians.com
·
3d
·
Discuss:
r/programming
💻
CS
Exploiting Partial Compliance: The Redact-and-Recover Jailbreak
generalanalysis.com
·
3d
·
Discuss:
Hacker News
🧪
Property-Based Testing
Orca Build System
orca-app.dev
·
1d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
📦
Unikernel Systems
Programming Extensible Data Types in Rust with CGP - Part 1: Modular App Construction and Extensible Builders
contextgeneric.dev
·
3d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🐫
OCaml
The Complete MCP Experience: Full Specification Support in VS Code
code.visualstudio.com
·
7h
·
Discuss:
Hacker News
🔄
Reproducible Builds
I used Claude Sonnet 4 to help a customer import their blog archive in 46 mins
olly.pagecord.com
·
1d
·
Discuss:
Hacker News
✓
Automated Theorem Proving
We Bundled and Saved 50% on Cold Starts of Our TypeScript SDK
dagger.io
·
1d
·
Discuss:
Hacker News
🔄
Reproducible Builds
A Compositional Approach to Diagnosing Faults in Cyber-Physical Systems
arxiv.org
·
2d
🔍
Formal Verification
Exploring ways to make async Rust easier
carllerche.com
·
3d
·
Discuss:
Hacker News
🎮
Verification Games
Making Unsafe Rust a Little Safer: Find Memory Errors in Production with GWP-ASan
blog.colinbreck.com
·
5d
·
Discuss:
Lobsters
,
Hacker News
🐫
Embedded OCaml
Beyond the Dataset – Deep tech data science
aneeshsathe.com
·
17h
·
Discuss:
Hacker News
👁️
System Observability
Announcing GenAI Processors: Build powerful and flexible Gemini applications
developers.googleblog.com
·
1d
·
Discuss:
Hacker News
⚙️
PL Implementation
Vibe Coding in BASIC
goto10retro.com
·
2d
·
Discuss:
Hacker News
🐫
Embedded OCaml
25 Additional Problems -- Extension to the Book "125 Problems in Text Algorithms"
arxiv.org
·
2d
➡️
Category Theory
Self-Review Framework for Enhancing Instruction Following Capability of LLM
arxiv.org
·
2d
✓
Automated Theorem Proving
Improving AEBS Validation Through Objective Intervention Classification Leveraging the Prediction Divergence Principle
arxiv.org
·
19h
🔍
Formal Verification
Understanding Everything as Code: A Taxonomy and Conceptual Model
arxiv.org
·
3d
🔄
Reproducible Builds
Claude Code/Cursor is using grep? Are we devolving
news.ycombinator.com
·
14h
·
Discuss:
Hacker News
✓
Automated Theorem Proving
Loading...
Loading more...
« Page 5
•
Page 7 »