A functional programming course in 6 books
ericnormand.substack.com·7h·
Discuss: Substack
🧬Functional Programming
Flag this post
ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization
arxiv.org·13h
💻Programming languages
Flag this post
Making Sense of Lambda Calculus 6: Recurring Problems
aartaka.me·6h·
λLambda Encodings
Flag this post
My First Rust Project
binwang.me·1d
🦀Rust Macros
Flag this post
Opportunistic Mutation in Roc
roc-lang.org·16h·
Discuss: Hacker News
📏Code Metrics
Flag this post
[$] Fil-C: A memory-safe C implementation
lwn.net·1d
🦀Rust Borrowing
Flag this post
Why Programming Languages Are Not 'Just Tools'
bloominlabs.substack.com·2h·
Discuss: Substack
💻Programming languages
Flag this post
Finding Order in the Mayhem: A Novel Concurrency Testing Tool that Improved the Kotlin Compiler
blog.jetbrains.com·4h·
Discuss: Hacker News
Effect Handlers
Flag this post
Convert any GitHub repo to coding puzzles
github.com·22h·
Discuss: Hacker News
Proof Automation
Flag this post
Fixing Type Hints for Callable Objects with Custom Signatures in Dagster
dev.to·20h·
Discuss: DEV
🦀Rust Verification
Flag this post
Proof of the \( \left( \frac{c k^2 \ln m}{\ln \ln m} \right)^m \)-Bound (1)
sites.psu.edu·21h
📐Error Bounds
Flag this post
Making asm.js/WebAssembly compilation more parallel in Firefox
bouvier.cc·1d
🏗️Compiler Archaeology
Flag this post
Wednesday 26 November - 11am
informatics.ed.ac.uk·1d
🎵Audio ML
Flag this post
A bestiary of single-file programming language implementations
github.com·2d·
Discuss: Hacker News
🔗Concatenative Programming
Flag this post
Discovering Heuristics with Large Language Models (LLMs) for Mixed-Integer Programs: Single-Machine Scheduling
arxiv.org·13h
🧮SMT Solvers
Flag this post
Recent Rust Changes
ncameron.org·1d·
🦀Rust Borrowing
Flag this post
59 Patches Allow Finally Building Glibc With LLVM's Clang Compiler
phoronix.com·1d
🏭Compiler Backends
Flag this post
HigherOrderCO/Bend2
github.com·3d
💻Programming languages
Flag this post
I am a beginner to Golang, what mini-projects would you suggest?
reddit.com·3h·
Discuss: r/golang
🐚Shell Monads
Flag this post
The Impossible Optimization, and the Metaprogramming to Achieve It
verdagon.dev·2d·
🧪Binary Fuzzing
Flag this post