Pattern Matching, Module System, Type Inference, Functional Compilation

Street-Smart Coding—30 Lessons to Help You Code Like a Pro (My New Book Is Here)
imcsarag.gumroad.com·19m·
Discuss: DEV
📚Self-Documenting Code
Flag this post
Spiking Neural Networks: The Future of Brain-Inspired Computing
arxiv.org·19m
🖥️Lisp Machines
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·15h·
🗑️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·19m
🔍ML Language
Flag this post
Down with template (or not)!
cedardb.com·3d·
Discuss: Hacker News, r/cpp
📋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
Un-Attributability: Computing Novelty From Retrieval & Semantic Similarity
arxiv.org·19m
⚖️Weighted Automata
Flag this post
🎲 On LLMs
kaukas.mataroa.blog·2d
🎮Language Ergonomics
Flag this post
Lost in the journey
reddit.com·20h·
Discuss: r/devops
🎮Language Ergonomics
Flag this post
Scala vs F#
alexn.org·1d
🔧Nickel
Flag this post
Diving into Uniface 10.4: A Simple Guide to the $ude("load") Function 🚀
dev.to·16h·
Discuss: DEV
🪄C Metaprogramming
Flag this post
Thought Branches: Interpreting LLM Reasoning Requires Resampling
arxiv.org·19m
Type Checking
Flag this post
The Cargo Cult in the Machine: Why LLMs Are the Ultimate Imitators
steviee.medium.com·16h·
Discuss: Hacker News
🪜Recursive Descent
Flag this post