Scalable Static Analysis Framework – hardening large C++ codebases (LLVM/Apple)
discourse.llvm.org·2d·
Discuss: Hacker News
🔬Static Analysis
Flag this post
The Same App in React and Elm: A Side-by-Side Comparison
cekrem.github.io·2d·
Discuss: r/programming, r/reactjs, r/webdev
📝Nix Language
Flag this post
Building a Visual Diff System for AI Edits (Like Git Blame for LLM Changes)
news.ycombinator.com·12h·
Discuss: Hacker News
🔤Language Design
Flag this post
Magisterium
isaacbowen.com·14h·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
A hitchhiker's guide to CUDA programming
seanzhang.me·1d·
Discuss: Hacker News
🔀OCaml Multicore
Flag this post
From Scripts to Scale: Python, Mypy, and the Rise of Static Typing
simplethread.com·1d·
Discuss: Hacker News
🔀Brzozowski Derivatives
Flag this post
Enhanced Knowledge Graph Reasoning via Multi-Modal Data Fusion and Automated Verification
dev.to·1d·
Discuss: DEV
🧠Automated Reasoning
Flag this post
Three Stages of Enlightenment
essenceofsoftware.com·1d·
Discuss: Hacker News
📵Digital Minimalism
Flag this post
Your Transformer is Secretly an EOT Solver
elonlit.com·1d·
Discuss: Hacker News
🔁Fixed-Point Theory
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·1d
λFunctional Programming
Flag this post
Using GLM-4.6 to reverse engineer Catan Universe browser game (WebGL and unity)
ankitmaloo.com·1d·
Discuss: Hacker News
🎮Verification Games
Flag this post
Context-Bench: Benchmarking LLMs on Agentic Context Engineering
letta.com·13h·
Discuss: Hacker News
📚Automata Learning
Flag this post
Vibe-Spec: Generate Specifications from Coding Agent Logs
marmelab.com·1d·
Discuss: Hacker News
🤖Program Synthesis
Flag this post
Challenging the Fastest OSS Workflow Engine
obeli.sk·1d·
Discuss: Lobsters, Hacker News
🔀OCaml Multicore
Flag this post
Text-Mode Games as First Haskell Projects
jackkelly.name·1d·
Discuss: Hacker News
🔠Type-Level Programming
Flag this post
Duality-Based Fixed Point Iteration Algorithm for Beamforming Design in ISAC Systems
arxiv.org·1d
📐Linear Algebra
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.com·18h·
Discuss: Lobsters, Hacker News
🔢Algebraic Data Types
Flag this post
Cross-Platform Evaluation of Reasoning Capabilities in Foundation Models
arxiv.org·1d
🧠Automated Reasoning
Flag this post
CAD-3D on the Atari ST
stonetools.ghost.io·13h·
Discuss: Hacker News
💾Retro Computing
Flag this post
20 Years Building for the Web: From PHP's Simple Server Rendering to TypeScript
nikuscs.com·20m·
Discuss: Hacker News
💎Refinement Types
Flag this post