🐿️ 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
Binding Application in Idris
andrevidela.com
·
1h
·
Discuss:
Hacker News
🐫
OCaml
Sound Interval-Based Synthesis for Probabilistic Programs
arxiv.org
·
20h
🤖
Program Synthesis
HMQ: Principal Type Inference Under a Prefix
microsoft.com
·
1d
·
Discuss:
Hacker News
🏹
Effect Systems
I created a programming language in Go with built-in BDD testing. Looking for feedback and contributors!
reddit.com
·
2h
·
Discuss:
r/programming
🐫
OCaml
Show HN: Optiverse – Evolving Code with LLMs
mathieularose.com
·
8h
·
Discuss:
Hacker News
✓
Automated Theorem Proving
Variadic Generics ideas that won't work for Rust
poignardazur.github.io
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🐫
OCaml
Writing Bounds-Safe Code in C with Arrays
uecker.codeberg.page
·
7h
·
Discuss:
Hacker News
🔬
Static Analysis
Introducing Rudy: A Toolchain for Rust Debuginfo
samjs.io
·
10h
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🐫
Embedded OCaml
Practical Bitwise Tricks in Everyday Code (Opinioned)
maltsev.space
·
2h
·
Discuss:
r/programming
🔬
Static Analysis
Helpful function to find memory leaks in JavaScript
news.ycombinator.com
·
19h
·
Discuss:
Hacker News
🍎
Apple
LLM Failures
funcall.blogspot.com
·
2d
·
Discuss:
Hacker News
🐫
OCaml
Representing Guardedness in Call-by-Value and Guarded Parametrized Monads
arxiv.org
·
2d
➡️
Category Theory
An Interactive Introduction to Probabilistic Data Linkage/Deduplication
robinlinacre.com
·
2d
·
Discuss:
Hacker News
➡️
Category Theory
ANN: Miso-lynx, create iOS apps with Haskell and LynxJS
github.com
·
1d
·
Discuss:
Hacker News
❄️
Nix
Programming Extensible Data Types in Rust with CGP - Part 1: Modular App Construction and Extensible Builders
contextgeneric.dev
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🐫
OCaml
My first verified (imperative) program
markushimmel.de
·
3d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🔍
Formal Verification
Mastering Language Models: A Deep Dive into Input Parameters
megaputer.com
·
6h
·
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
Galois field instructions on 2021 CPUs
corsix.org
·
13h
·
Discuss:
Hacker News
🐫
Embedded OCaml
Loading...
Loading more...
Page 2 »