🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🔠 Type-Level Programming

Dependent Haskell, GADTs, Type Families, Kind System

Hask Is Not a Category
math.andrej.com·14h·
Discuss: Hacker News
➡️Category Theory
Fixed-Point-Oriented Programming: A Concise and Elegant Paradigm
arxiv.org·1d
🔄Finite State Machines
30 Easy Python Projects, Solved & Explained in a Simple Way
quickcodesummary.blogspot.com·14h·
Discuss: r/programming
✓Automated Theorem Proving
2000 words about arrays and tables
buttondown.com·19h·
Discuss: Lobsters, Hacker News
🏹Effect Systems
Strong Goldbach in 2nd-order logic under standard semantics, semantically closed
medium.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Understanding ASTs
hypermod.io·1d·
Discuss: Hacker News
🔬Static Analysis
Using Scaling Laws for Data Source Utility Estimation in Domain-Specific Pre-Training
arxiv.org·4h
🧪Property-Based Testing
Proving theorems using Julia's types (or, a mini-Lean in Julia)
lmao.bearblog.dev·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Concrete Security Bounds for Simulation-Based Proofs of Multi-Party Computation Protocols
arxiv.org·4h
🛡️seL4
Large Language Models
davidtemplin.name·1d·
Discuss: Hacker News
🤖Program Synthesis
The Dartboard Sequence
mathpages.com·6h·
Discuss: Hacker News
🎮Verification Games
Jonhoo and Helsing AI's DSON: A delta-state CRDT for resilient P2P communication
blog.helsing.ai·6h·
Discuss: Hacker News
🌐NetworkProtocols
Unit Testing in NestJS for Node Using Suites (Formerly Automock)
blog.appsignal.com·18h·
Discuss: Hacker News
🧪Property-Based Testing
Laurence Tratt: Which Parsing Approach?
tratt.net·1d·
Discuss: r/programming
🔬Static Analysis
Language Arithmetics: Towards Systematic Language Neuron Identification and Manipulation
arxiv.org·4h
🐫OCaml
A Periodic Table of System Design Principles
github.com·1d·
Discuss: Hacker News
⚙️Operating System Design
Encoding SAT in OCaml GADTs
farlow.dev·3d·
Discuss: Hacker News
🐫OCaml
PHP-ORT: Machine Learning Inference for the Web
krakjoe.github.io·1d·
Discuss: Lobsters, Hacker News
⚙️PL Implementation
A Compute-Matched Re-Evaluation of TroVE on MATH
arxiv.org·4h
✓Automated Theorem Proving
How JIT builds of CPython work
savannah.dev·1d·
Discuss: Hacker News
⚙️PL Implementation
Loading...Loading more...
AboutBlogChangelogRoadmap