Pattern Matching, Module System, Type Inference, Functional Compilation

Avería: The Average Font (2011)
iotic.com·2d·
Discuss: Hacker News
Code Formatting
Flag this post
What’s New in Translation: November 2025
asymptotejournal.com·11h
🔬programming language theory
Flag this post
A Lost Tape of Unix Fourth Edition Has Been Rediscovered After 50+ Years
ponderwall.com·1d·
📖Literate Programming
Flag this post
Valori – A Python-native Vector Database I built from scratch
news.ycombinator.com·1d·
Discuss: Hacker News
📋Tablegen
Flag this post
Modular: PyTorch and LLVM in 2025 — Keeping up With AI Innovation
modular.com·5d
⚙️Compilers
Flag this post
Final row of Bingo reviews: Monkey King, Teller of Small Fortunes, On Stranger Tides, and more
reddit.com·1h·
Discuss: r/Fantasy
🔬Nanopasses
Flag this post
The Agentic Leap: Key Announcements and Demos from the Google I/O 2025 Developer Keynote
io.google·1d·
Discuss: DEV
🎮Language Ergonomics
Flag this post
ASD – Barriers and Pathways in Formal and Self-Diagnosis
codeberg.org·2d·
Discuss: Hacker News
🌳Parser Visualization
Flag this post
Fil-C
graydon2.dreamwidth.org·5d·
🌱Forth Kernels
Flag this post
TRICK: Time and Range Integrity ChecK using Low Earth Orbiting Satellite for Securing GNSS
arxiv.org·20h
🛡️Security Type Systems
Flag this post
Ask HN: Seeking IP Translator to Architect a System for Predictive Stability
news.ycombinator.com·1d·
Discuss: Hacker News
📡Protocol Parsers
Flag this post
Enhanced UWB Radar Signal Processing via Adaptive Sparse Learning with Hybrid Spectral Decomposition
dev.to·9h·
Discuss: DEV
🎯Bit-Vector Algorithms
Flag this post
Deno Vs Bun In 2025: Two Modern Approaches To JavaScript Runtime Development
dev.to·5h·
Discuss: DEV
📦Monorepos
Flag this post
Physics as Code: Train AI with Differentiable Simulations
dev.to·22h·
Discuss: DEV
🌊Loop Invariant Motion
Flag this post
ADPretrain: Advancing Industrial Anomaly Detection via Anomaly Representation Pretraining
arxiv.org·20h
Effect Inference
Flag this post
MichaelAI vs. CogniFlow: A Developer's No-BS Guide to Enterprise AI Platforms
getmichaelai.com·4d·
Discuss: DEV
🎮Language Ergonomics
Flag this post
[D] Which programming languages have you used to ship ML/AI projects in the last 3 years?
reddit.com·1d·
🎮Language Ergonomics
Flag this post
Tech With Tim: 7 Python Anti Patterns to Avoid
dev.to·7h·
Discuss: DEV
💬Interactive REPLs
Flag this post
✅ I Changed Just One Line and My AI Bot Suddenly Stopped Hallucinating
dev.to·22h·
Discuss: DEV
🌊Gradual Effects
Flag this post