Writing Our Own Structure: Tries in Haskell & Rust
mmhaskell.com·7h
🌳Trie Structures
Sum of Natural Numbers - A First Step into Algorithms in Go
dev.to·1h·
Discuss: DEV
📊APL Heritage
Prompt Strategies for Terraform Test Generation
masterpoint.io·13h·
Discuss: Hacker News
⚡Proof Automation
Identity Types
bartoszmilewski.com·2h·
Discuss: Hacker News
🔤Type Theory
X Design Notes: Pattern Matching II
blog.polybdenum.com·16h
💻Programming languages
Pleasant Imperative Program Proofs with GallinaC
arxiv.org·5d
📜Proof Carrying Code
Isabelle rule musings
blueberrywren.dev·3d
🎯Proof Tactics
Hard work is a virtue
lemire.me·20h
🔬Lean
Replacing clojure-lsp with clj-kondo and Refactor-nREPL
andreyor.st·20h
🧠Lisp Dialects
Researchers expose MalTerminal, an LLM-enabled malware pioneer
securityaffairs.com·6h
🦠Malware Analysis
My corner of the TTRPG universe
blog.balthazar-rouberol.com·17h
🔲Cellular Automata
Transforming Recursion into Iteration for LLVM Loop Optimizations
dspace.mit.edu·21h·
Discuss: Hacker News
🚀Compiler Optimizations
The Theory of Universal Computation: Bayesian Optimality, Solomonoff Induction & AIXI
towardsdatascience.com·3h
🧮Kolmogorov Bounds
I Don't Want to Code with LLM's
blaines-blog.com·3h·
Discuss: Hacker News
🔄Language Evolution
The low-cost path to AI Mastery
antonyarkov.substack.com·1d·
Discuss: Substack
⚡Proof Automation
Building Conway’s Game of Life in Go with raylib-go
packagemain.tech·6h·
Discuss: r/golang, r/programming
🔲Cellular Automata
Everything you need to know about monorepos, and the tools to build them
monorepo.tools·3h·
Discuss: Hacker News
🔄Reproducible Builds
Claude Can (Sometimes) Prove It
galois.com·5d·
Discuss: Lobsters, Hacker News, Hacker News
📐Proof Assistants
Show HN: Ida Swarm – Multi-agent AI system for automated reverse engineering
github.com·9h·
Discuss: Hacker News
🔌Interface Evolution
How to Get More Done with AI in My Local Dev Workflow: ChatGPT vs. Continue
dev.to·2h·
Discuss: DEV
🎙️Whisper