Immutability, Pattern Matching, Type Theory, Pure Functions, Type Systems, Monads, Haskell, OCaml, Immutability, Pure Functions, Monads, Agda

Concurrency Step-by-Step: Conforming to Protocols
massicotte.org·1d·
Discuss: Hacker News
🔬Refinement Types
Flag this post
My First Rust Project
binwang.me·8h
🦀Rust Macros
Flag this post
Wednesday 26 November - 11am
informatics.ed.ac.uk·2h
🎵Audio ML
Flag this post
Turing Machine Visualization (2016)
turingmachine.io·14h·
Discuss: Hacker News
🎞️Tape Combinatorics
Flag this post
HigherOrderCO/Bend2
github.com·2d
🔗Functional Compilers
Flag this post
Parsing: How Ruby Understands Your Code
patshaughnessy.net·1d
📝Concrete Syntax
Flag this post
The Myth of Single-Threaded JavaScript: Inside the Language’s Hidden Concurrency Engine
hackernoon.com·6h
🌊Stream Processing
Flag this post
The Impossible Optimization, and the Metaprogramming to Achieve It
verdagon.dev·21h·
🧪Binary Fuzzing
Flag this post
Recent Rust Changes
ncameron.org·16h·
🦀Rust Borrowing
Flag this post
Nonmonotonic Logic
cambridge.org·19h·
Discuss: Hacker News
🔬Logic in Computer Science
Flag this post
A bestiary of single-file programming language implementations
github.com·1d·
Discuss: Hacker News
🔗Concatenative Programming
Flag this post
Understanding Type-Based Alias Analysis in C and C++
kdab.com·1d·
Discuss: Hacker News
🔒Type Safety
Flag this post
Beyond the Magic: How LLMs Work
tag1.com·2h·
Discuss: Hacker News
💻Local LLMs
Flag this post
Clojure Runs ONNX AI Models Now - Join the AI fun!
dragan.rocks·1d·
Discuss: Hacker News
🌳Context free grammars
Flag this post
How to Use Zorn's Lemma
gowers.wordpress.com·1d·
Discuss: Hacker News
⚔️Lean Theorem
Flag this post
"use workflow": Understanding Directives
useworkflow.dev·16h·
Discuss: Hacker News
🐚Shell Monads
Flag this post
The Future of Coding – From Syntax to Intention
future.forem.com·6h·
Discuss: DEV
🛠Language Design
Flag this post
Building an Organized API in Golang Using Fiber
dev.to·15h·
Discuss: DEV
gRPC
Flag this post
ENTP: Enhancing Low-Quality SFT Data via Neural-Symbolic Text Purge-Mix
arxiv.org·8h
🧮SMT Solvers
Flag this post