Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·1d·
Discuss: Hacker News
🔠Type-Level Programming
Flag this post
State of Terminal Emulators in 2025: The Errant Champions
jeffquast.com·2d·
🔧Darwin Internals
Flag this post
Scala vs. F#
alexn.org·1d·
Discuss: Hacker News
λFunctional Programming
Flag this post
Doo: A Simple, Fast Programming Language Built on Rust and LLVM
news.ycombinator.com·1d·
Discuss: Hacker News
⚙️Compiler Design
Flag this post
Changelog #300
rust-analyzer.github.io·1d·
Discuss: r/rust
🏗️Dune
Flag this post
Parsing with zippers improves parsing with derivatives
dl.acm.org·1d·
Discuss: Hacker News
🔀Brzozowski Derivatives
Flag this post
Debug like a boss: 10 debugging hacks for developers, quality engineers, testers
ministryoftesting.com·3d·
Discuss: Hacker News
👁️System Observability
Flag this post
Agents Are Commoditizing the Complement
andreasfragner.com·11h·
Discuss: Hacker News
🔧DevOps
Flag this post
Lessons from 70 interviews on deploying AI Agents in production
mmc.vc·1h·
Discuss: Hacker News
🩹Self-Healing Systems
Flag this post
H-FA: A Hybrid Floating-Point and Logarithmic Approach to Hardware Accelerated FlashAttention
arxiv.org·4h
🔀OCaml Multicore
Flag this post
CueBench: Advancing Unified Understanding of Context-Aware Video Anomalies in Real-World
arxiv.org·4h
🔲Cellular Automata
Flag this post
Relation-Aware Bayesian Optimization of DBMS Configurations Guided by Affinity Scores
arxiv.org·1d
🔍CBMC
Flag this post
Show HN: Extrai – An open-source tool to fight LLM randomness in data extraction
github.com·13h·
Discuss: Hacker News
💎Refinement Types
Flag this post
Why Multimodal AI Broke the Data Pipeline — And How Daft Is Beating Ray and Spark to Fix It
hackernoon.com·1d
👁️System Observability
Flag this post
Schaltwerk – The IDE Without Editor
github.com·3h·
Discuss: Hacker News
💻CLI Tools
Flag this post
LLM-Driven Cost-Effective Requirements Change Impact Analysis
arxiv.org·4h
📦Opam
Flag this post
STRIDER: Navigation via Instruction-Aligned Structural Decision Space Optimization
arxiv.org·4h
🔲Cellular Automata
Flag this post
Chain of Pattern: Rethink
dev.to·1d·
Discuss: DEV
🔤Language Design
Flag this post
Engineering.ai: A Platform for Teams of AI Engineers in Computational Design
arxiv.org·4h
🔲Cellular Automata
Flag this post