🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🔠 Type-Level Programming
Dependent Haskell, GADTs, Type Families, Kind System
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Types are Transforming Python
spin.atomicobject.com
·
1d
·
Discuss:
Hacker News
🐫
Embedded OCaml
C++ with no classes?
pvs-studio.com
·
1d
·
Discuss:
r/cpp
,
r/programming
🐫
OCaml
LLM Inference Handbook
bentoml.com
·
2h
·
Discuss:
Hacker News
🛡️
seL4
Medical Red Teaming Protocol of Language Models: On the Importance of User Perspectives in Healthcare Settings
arxiv.org
·
1h
🔍
Formal Verification
Galois field instructions on 2021 CPUs
corsix.org
·
18h
·
Discuss:
Hacker News
🐫
Embedded OCaml
SQLBarber: A System Leveraging Large Language Models to Generate Customized and Realistic SQL Workloads
arxiv.org
·
2d
🔤
DSLs
Semantically Separating Nominal Wyvern for Usability and Decidability
arxiv.org
·
3d
🐫
OCaml
Building Your First ETL Pipeline in Rust
ryuru.com
·
1d
·
Discuss:
r/programming
🔬
Static Analysis
The Right Approach to Authorization in RAG
osohq.com
·
1d
·
Discuss:
Hacker News
🛡️
seL4
On Trustworthy Rule-Based Models and Explanations
arxiv.org
·
1h
✓
Automated Theorem Proving
KSAT
corrode.dev
·
1d
·
Discuss:
Hacker News
⎈
Kubernetes
JavaScript is easy, but how good is Claude Code at writing Malbolge code?
somethingwithai.substack.com
·
11h
·
Discuss:
Substack
🐫
Embedded OCaml
Show HN: Bedrock – An 8-bit computing system for running programs anywhere
benbridle.com
·
7h
·
Discuss:
Hacker News
⚙️
PL Implementation
SAND: Boosting LLM Agents with Self-Taught Action Deliberation
arxiv.org
·
1h
🎮
Verification Games
The Tree Borrows paper is finally published
ralfj.de
·
4d
·
Discuss:
Lobsters
,
Hacker News
🛡️
seL4
Programming = proving? The Curry-Howard correspondence today
xavierleroy.org
·
3d
·
Discuss:
Hacker News
➡️
Category Theory
Towards Solving More Challenging IMO Problems via Decoupled Reasoning and Proving
arxiv.org
·
1d
✓
Automated Theorem Proving
Microbeam Decision Pathways for Goal-Aligned Autonomous Agents
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🛡️
seL4
Specification Grounding: The Missing Link in Vibe Coding
unstract.com
·
12h
·
Discuss:
Lobsters
,
Hacker News
🔍
Formal Verification
Understanding Chain-of-Thought in LLMs through Information Theory
arxiv.org
·
1h
✓
Automated Theorem Proving
Loading...
Loading more...
« Page 1
•
Page 3 »