Problem-solving is fundamental to human nature
freethink.comยท6h
๐Ÿ”ฒCellular Automata
Double Maths First Thing: Issue 2A
aperiodical.comยท16h
๐Ÿ‘‘Isabelle
Hypercubical manifolds in homotopy type theory
arxiv.orgยท20h
๐Ÿ”ถCubical Type Theory
2025 Alonzo Church Award: Paul Blain Levy for Call-by-Push-Value (CBPV)
siglog.orgยท4dยท
Discuss: Hacker News, r/programming
๐Ÿ’ปProgramming languages
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.comยท15hยท
Discuss: Hacker News
๐ŸŒ€Brotli Internals
Implementing Ray Tracing In One Weekend in F#
heftymouse.meยท3dยท
Discuss: Hacker News
๐Ÿ”—Functional Compilers
Programming, Not Prompting: A Hands-On Guide to DSPy
towardsdatascience.comยท2d
๐ŸงฎZ3 Solver
Coping with Complexity
slott56.github.ioยท4d
๐Ÿ”—Concatenative Programming
LOGICPO: Efficient Translation of NL-based Logical Problems to FOL using LLMs and Preference Optimization
arxiv.orgยท1d
๐Ÿ”—Monadic Parsing
The Interactive Handbook on Data Structures and Algorithms
cartesian.appยท1dยท
Discuss: Lobsters, Hacker News, Hacker News
๐ŸŒณTrie Structures
Book Notes: Full Frontal Calculus by Seth Braver โ€” Chapter 1 Review
ruslanspivak.comยท5d
๐Ÿ”ฌLean
Dive Deep into Higher-Order Functions: Essential Resources for Functional Programmers
dev.toยท1dยท
Discuss: DEV
๐ŸงฌFunctional Programming
Proficient Python: A free interactive online course
blog.pamelafox.orgยท2dยท
Discuss: www.blogger.com, Hacker News
๐Ÿ”—Concatenative Programming
Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions
arxiv.orgยท1d
๐ŸŽฏPerformance Proofs
Threaded Code
muforth.devยท13hยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
I Built My Own Programming Language and its Virtual Machine In Python!
dev.toยท1dยท
Discuss: DEV
๐Ÿ”—Concatenative Programming
LFCS Seminar Thursday 26th June: John Longley
informatics.ed.ac.ukยท2d
๐Ÿ”—Combinatory Logic
Reasoning about Uncertainty: Do Reasoning Models Know When They Don't Know?
arxiv.orgยท1d
๐Ÿ”Type Inference
The Guide to the Foundation Models Framework
azamsharp.comยท10hยท
Discuss: Hacker News
ฮปLambda Formalization
Optimal Parallel Algorithms for Convex Hulls in 2D and 3D under Noisy Primitive Operations
arxiv.orgยท1d
๐Ÿ“ŠComputational Geometry