🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🏹 Effect Systems
Algebraic Effects, Effect Handlers, Computational Effects, Pure Functions
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Binding Application in Idris
andrevidela.com
·
12h
·
Discuss:
Hacker News
🔠
Type-Level Programming
Sound Interval-Based Synthesis for Probabilistic Programs
arxiv.org
·
1d
🤖
Program Synthesis
Practical Bitwise Tricks in Everyday Code (Opinioned)
maltsev.space
·
13h
·
Discuss:
r/programming
🔬
Static Analysis
C++: Maps on Chains
bannalia.blogspot.com
·
3h
·
Discuss:
Hacker News
➡️
Category Theory
Writing Bounds-Safe Code in C with Arrays
uecker.codeberg.page
·
18h
·
Discuss:
Hacker News
🔬
Static Analysis
ATC/OSDI'25 Technical Sessions
muratbuffalo.blogspot.com
·
4h
·
Discuss:
Hacker News
👁️
System Observability
Galois field instructions on 2021 CPUs
corsix.org
·
1d
·
Discuss:
Hacker News
🐫
Embedded OCaml
HMQ: Principal Type Inference Under a Prefix
microsoft.com
·
1d
·
Discuss:
Hacker News
🔠
Type-Level Programming
The Unreasonable Effectiveness of Recurrent Neural Networks
karpathy.github.io
·
1d
·
Discuss:
Hacker News
🔄
Finite State Machines
Don’t compare programming to the real world
expressionstatement.com
·
21h
·
Discuss:
r/programming
👁️
System Observability
Introducing Rudy: A Toolchain for Rust Debuginfo
samjs.io
·
21h
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🐫
Embedded OCaml
JavaScript is easy, but how good is Claude Code at writing Malbolge code?
somethingwithai.substack.com
·
17h
·
Discuss:
Substack
🐫
Embedded OCaml
Python heapq.nlargest vs list.sort
ddaa.net
·
1h
·
Discuss:
r/programming
🔠
Type-Level Programming
Specification Grounding: The Missing Link in Vibe Coding
unstract.com
·
18h
·
Discuss:
Lobsters
,
Hacker News
🔍
Formal Verification
GPU-accelerated Modeling of Biological Regulatory Networks
arxiv.org
·
2d
✓
Automated Theorem Proving
Structured Prompts, Better Outcomes? Exploring the Effects of a Structured Interface with ChatGPT in a Graduate Robotics Course
arxiv.org
·
7h
⚙️
PL Implementation
I created a programming language in Go with built-in BDD testing. Looking for feedback and contributors!
reddit.com
·
13h
·
Discuss:
r/programming
🐫
OCaml
Show HN: Bedrock – An 8-bit computing system for running programs anywhere
benbridle.com
·
13h
·
Discuss:
Hacker News
⚙️
PL Implementation
Inheritance and Polymorphism in Plain C
coz.is
·
2d
·
Discuss:
Hacker News
,
r/C_Programming
,
r/programming
🔬
Static Analysis
Towards an Efficient Shifted Cholesky QR for Applications in Model Order Reduction using pyMOR
arxiv.org
·
7h
🐫
OCaml
Loading...
Loading more...
Page 2 »