🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
📐 Type Theory

Dependent Types, Linear Types, Effect Systems, Hindley-Milner

Linear Types for Programmers
twey.io·11h·
Discuss: Hacker News
🔧functional programming languages
A Library Approach to Constant Template Parameters
brevzin.github.io·14h·
Discuss: Hacker News, r/cpp
🦀Rust
Machine Learning Fundamentals: loss function
dev.to·1d·
Discuss: DEV
🔧functional programming languages
Preface to "Simulacra and Simulation: Sections from the Work of Janus"
lesswrong.com·19h
🔄Async Rust
Cactus Language • Pragmatics 7
inquiryintoinquiry.com·1d
🔧functional programming languages
A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·15h·
Discuss: Lobsters, Hacker News
🐪ocaml
Someone on GitHub filed a bug report against reality, says P=NP cause causality
github.com·6h·
Discuss: Hacker News
⚠️Error Handling
The Big Oops in Type Systems: This Problem Extends to FP as Well
danieltan.weblog.lol·2d·
Discuss: Hacker News
⚠️Error Handling
How to Write Inductive Invariants
quint-lang.org·1d·
Discuss: Lobsters, Hacker News, r/programming
⚠️Error Handling
lydiahallie/javascript-questions
github.com·2h
💻programming
Hask Is Not a Category
math.andrej.com·3d·
Discuss: Hacker News
⚠️Error Handling
Introduction to Supervised Machine Learning for Beginners
github.com·20h·
Discuss: DEV
💻programming
Proving theorems using Julia's types (or, a mini-Lean in Julia)
lmao.bearblog.dev·5d·
Discuss: Hacker News
🔧functional programming languages
Phylo-rs: an extensible phylogenetic analysis library in Rust
bmcbioinformatics.biomedcentral.com·17h·
Discuss: Hacker News
🦀Rust
Quantum Complexity Theory Student Project Showcase #5 (2025 Edition)!
scottaaronson.blog·1d
🦀Rust
Footnotes, Gödel exercises, Purcell
logicmatters.net·2d
🔧functional programming languages
Why men are different from women
unherd.com·1d·
Discuss: unherd.com
🔧functional programming languages
Trustworthy Reasoning: Evaluating and Enhancing Factual Accuracy in LLM Intermediate Thought Processes
arxiv.org·2d
⚠️Error Handling
Show HN: Formalizing Strong Goldbach for AI Reasoning in HOL(Standard Semantics)
medium.com·3d·
Discuss: Hacker News
🔧functional programming languages
Theory of Scale-Relative Time: Derivations of the Galactic Scale Factor
zenodo.org·5h·
Discuss: Hacker News
🐪ocaml
Loading...Loading more...
AboutBlogChangelogRoadmap