🧬 Functional Programming

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

Framework for Machine Evaluation of Reasoning Completeness in Large Language Models For Classification Tasks
arxiv.org·6h
🧠Intelligence Compression
Flag this post
Concurrency Step-by-Step: Conforming to Protocols
massicotte.org·1d·
Discuss: Hacker News
🔬Refinement Types
Flag this post
My First Rust Project
binwang.me·6h
🦀Rust Macros
Flag this post
Turing Machine Visualization (2016)
turingmachine.io·12h·
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 Impossible Optimization, and the Metaprogramming to Achieve It
verdagon.dev·19h·
Discuss: Lobsters, Hacker News, r/programming
🧪Binary Fuzzing
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
Understanding Type-Based Alias Analysis in C and C++
kdab.com·23h·
Discuss: Hacker News
🔒Type Safety
Flag this post
A bestiary of single-file programming language implementations
github.com·1d·
Discuss: Hacker News
🔗Concatenative Programming
Flag this post
Nonmonotonic Logic
cambridge.org·17h·
Discuss: Hacker News
🔬Logic in Computer Science
Flag this post
Recent Rust Changes
ncameron.org·14h·
Discuss: Lobsters, Hacker News, r/rust
🦀Rust Borrowing
Flag this post
How to Use Zorn's Lemma
gowers.wordpress.com·1d·
Discuss: Hacker News
⚔️Lean Theorem
Flag this post
The Future of Coding – From Syntax to Intention
future.forem.com·3h·
Discuss: DEV
🛠Language Design
Flag this post
"use workflow": Understanding Directives
useworkflow.dev·14h·
Discuss: Hacker News
🐚Shell Monads
Flag this post
Building an Organized API in Golang Using Fiber
dev.to·13h·
Discuss: DEV
⚡gRPC
Flag this post
ENTP: Enhancing Low-Quality SFT Data via Neural-Symbolic Text Purge-Mix
arxiv.org·6h
🧮SMT Solvers
Flag this post
Purely Functional Retrogames (2008)
prog21.dadgum.com·4d·
Discuss: Hacker News
🔗Lisp
Flag this post
Clean Code, Clear Writing: William Zinsser's Principles for Developers
andection.substack.com·2h·
Discuss: Substack
📝Compiler Design
Flag this post
Research Bits: Oct. 28
semiengineering.com·3h·
Discuss: Hacker News
🖥️Hardware Architecture
Flag this post