Pattern Matching, Module System, Type Inference, Functional Compilation

Functional Analysis of Loss-development Patterns in P&C Insurance
freakonometrics.hypotheses.org·5h
🔢Algebraic Datatypes
Flag this post
Hou Tu Pranownse Inglish
zompist.com·18h·
Discuss: Hacker News
Tokenizer Benchmarks
Flag this post
I switched from LM Studio/Ollama to llama.cpp, and I absolutely love it
xda-developers.com·13h
Live Coding
Flag this post
State of Terminal Emulators in 2025: The Errant Champions
jeffquast.com·1d·
Discuss: Hacker News
💻Terminal Emulators
Flag this post
My little string library
github.com·5h·
Discuss: r/Zig
🏷️Symbol Mangling
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.com·3d
⚖️Inference Rules
Flag this post
Smaller Surfaces
nrempel.com·1d·
Discuss: Hacker News
🥾Bootstrapping Strategies
Flag this post
I'm a beginner at C and I would like feedback about the optimisation of my code
reddit.com·22h·
🗑️Garbage Collection
Flag this post
Scalable Static Analysis Framework – hardening large C++ codebases (LLVM/Apple)
discourse.llvm.org·4d·
Discuss: Hacker News
🔪Program Slicing
Flag this post
Testing Unnatural Prompt Engineering Across Five Large Language Models
blog.codeminer42.com·2d
🔍ML Language
Flag this post
Phased DMD: Few-step Distribution Matching Distillation via Score Matching within Subintervals
arxiv.org·7h
🔍ML Language
Flag this post
Down with template (or not)!
cedardb.com·3d·
📋Template Compilers
Flag this post
RimStone is a different kind of programming language
dev.to·1d·
Discuss: DEV
🌱Minimal Languages
Flag this post
Fungus: The Befunge CPU(2015)
bedroomlan.org·2d·
Discuss: Hacker News
🌳B+ Trees
Flag this post
Open Source Journey
dev.to·1d·
Discuss: DEV
📚Self-Documenting Code
Flag this post
Advice For a Complete Novice.
reddit.com·5h·
💬Interactive REPLs
Flag this post
Cure – Verification-First Programming for the Beam
cure-lang.org·18h·
Discuss: Hacker News
📡Erlang BEAM
Flag this post
Un-Attributability: Computing Novelty From Retrieval & Semantic Similarity
arxiv.org·7h
⚖️Weighted Automata
Flag this post
🎲 On LLMs
kaukas.mataroa.blog·3d
🎮Language Ergonomics
Flag this post