🌊 Coalgebra

Coinduction, Bisimulation, Stream Calculus, Final Semantics

Fungus: The Befunge CPU(2015)
bedroomlan.org·17h·
Discuss: Hacker News
🔧Unikernel Development
Flag this post
The Python Coding Stack: And Now You Know Your ABC
thepythoncodingstack.com·6h
🔬Static Analysis
Flag this post
Clean Code: Functions and Error Handling in Go: From Chaos to Clarity [Part 1]
hackernoon.com·1d
λFunctional Programming
Flag this post
Quantum-Resistant Federated Learning with Lattice-Based Homomorphic Encryption for Edge AI Systems
dev.to·1d·
Discuss: DEV
❓Existential Types
Flag this post
Magisterium
isaacbowen.com·1d·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
Async/Await is finally back in Zig
charlesfonseca.substack.com·5h·
Discuss: Substack
⚡Process Calculi
Flag this post
An intro to the Tensor Economics blog
lesswrong.com·3d
🔀OCaml Multicore
Flag this post
A functional programming course in 6 books
ericnormand.substack.com·3d·
Discuss: Substack
λFunctional Programming
Flag this post
Show HN: Using GitHub Pages as zero-cost APT repository with global CDN
vejeta.com·1h·
Discuss: Hacker News
📦Opam
Flag this post
GHC 9.14.1-rc1 is now available
discourse.haskell.org·1d·
Discuss: Lobsters, Hacker News
🏗️Dune
Flag this post
Finding Order in the Mayhem: A Novel Concurrency Testing Tool that Improved the Kotlin Compiler
blog.jetbrains.com·3d·
Discuss: Hacker News
🔀OCaml Multicore
Flag this post
Breaking Monoliths Taught Me How to Fix Data
blog.matterbeam.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
dl.acm.org·2d·
Discuss: Hacker News, r/rust
🏗️Dune
Flag this post
Ajla Tutorial
ajla-lang.cz·1d·
Discuss: Hacker News
🔬Static Analysis
Flag this post
Bedrock, a modular, WAN-replicated database based on SQLite
bedrockdb.com·1h·
Discuss: Hacker News
🌐ActivityPub
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.com·1d·
Discuss: Lobsters, Hacker News
🔢Algebraic Data Types
Flag this post
Scalable Static Analysis Framework – hardening large C++ codebases (LLVM/Apple)
discourse.llvm.org·2d·
Discuss: Hacker News
🔬Static Analysis
Flag this post
Using the expand and contract pattern for schema changes
prisma.io·23h·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
Text-Mode Games as First Haskell Projects
jackkelly.name·1d·
Discuss: Hacker News
🔠Type-Level Programming
Flag this post
Cross-Platform Evaluation of Reasoning Capabilities in Foundation Models
arxiv.org·1d
🧠Automated Reasoning
Flag this post