Making Sense of Lambda Calculus 6: Recurring Problems
aartaka.me·3d·
λLambda Calculus
Flag this post
Clean Code: Functions and Error Handling in Go: From Chaos to Clarity [Part 1]
hackernoon.com·1d
🛡️Error Handling
Flag this post
Ajla Tutorial
ajla-lang.cz·1d·
Discuss: Hacker News
🔮Lisp Interpreters
Flag this post
Testing Unnatural Prompt Engineering Across Five Large Language Models
blog.codeminer42.com·1d
🔍ML Language
Flag this post
Open Source Journey
dev.to·6h·
Discuss: DEV
📚Self-Documenting Code
Flag this post
Online Identity Is Evolving: From Data Storage to Proof-Based Verification with zkTLS
blogger.com·5h
🛡️Security Type Systems
Flag this post
TinyML is the most impressive piece of software you can run on any ESP32
xda-developers.com·1d
💬Smalltalk VMs
Flag this post
Text-Mode Games as First Haskell Projects
jackkelly.name·1d·
Discuss: Hacker News
🌱Minimal Languages
Flag this post
🎲 On LLMs
kaukas.mataroa.blog·1d
🎮Language Ergonomics
Flag this post
Pressure to change
maryrosecook.com·11h
📚Self-Documenting Code
Flag this post
Fungus: The Befunge CPU(2015)
bedroomlan.org·20h·
Discuss: Hacker News
🌳B+ Trees
Flag this post
20 Years Building for the Web: From PHP's Simple Server Rendering to TypeScript
nikuscs.com·13h·
Discuss: Hacker News
🔧API Design
Flag this post
How to Data Engineer the ETLFunnel Way
dev.to·5h·
Discuss: DEV
📡Erlang BEAM
Flag this post
Scalable Static Analysis Framework – hardening large C++ codebases (LLVM/Apple)
discourse.llvm.org·2d·
Discuss: Hacker News
🔪Program Slicing
Flag this post
Evidence on language model consciousness
lesswrong.com·18h
🎲Parser Fuzzing
Flag this post
The top 4 JVM languages and why developers love them
infoworld.com·3d
🔮Clojure
Flag this post
Quantum-Resistant Federated Learning with Lattice-Based Homomorphic Encryption for Edge AI Systems
dev.to·1d·
Discuss: DEV
🏰Capability Machines
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
dl.acm.org·2d·
🔒Rust Borrowing
Flag this post
The Rise of AI-Driven Formal Methods: How Machine Learning Is Revolutionizing Software Verification in 2025
reddit.com·1d·
Discuss: r/compsci
🎭Program Synthesis
Flag this post