🐿️ 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
Mastering Language Models: A Deep Dive into Input Parameters
megaputer.com
·
13h
·
Discuss:
Hacker News
🧪
Property-Based Testing
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
·
4h
·
Discuss:
Hacker News
🛡️
seL4
Medical Red Teaming Protocol of Language Models: On the Importance of User Perspectives in Healthcare Settings
arxiv.org
·
3h
🔍
Formal Verification
Galois field instructions on 2021 CPUs
corsix.org
·
20h
·
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
On Trustworthy Rule-Based Models and Explanations
arxiv.org
·
3h
✓
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
·
13h
·
Discuss:
Substack
🐫
Embedded OCaml
Show HN: Bedrock – An 8-bit computing system for running programs anywhere
benbridle.com
·
8h
·
Discuss:
Hacker News
⚙️
PL Implementation
SAND: Boosting LLM Agents with Self-Taught Action Deliberation
arxiv.org
·
3h
🎮
Verification Games
Announcing GenAI Processors: Build powerful and flexible Gemini applications
developers.googleblog.com
·
14h
·
Discuss:
Hacker News
⚙️
PL Implementation
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
The Right Approach to Authorization in RAG
osohq.com
·
1d
·
Discuss:
Hacker News
🛡️
seL4
Microbeam Decision Pathways for Goal-Aligned Autonomous Agents
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🛡️
seL4
Loading...
Loading more...
« Page 1
•
Page 3 »