PHP 8.5 Adds Pipe Operator: What it means
thephp.foundation·14h·
Discuss: Lobsters, Hacker News, r/programming
📝Lisp
What Is a Belief (Part 2: Language, Truth, and Logic)
neonomos.substack.com·2d·
Discuss: Substack
🔢Mathematical Logic
The Christofides Algorithm
alon.kr·2h·
Discuss: Hacker News
🕸️Graph Theory
Scientists used an AI program to discover new laws of physics, and it worked
interestingengineering.com·8h·
Discuss: r/technews
🤖Sci-Fi
Creating a Toy Programming Language with Actor-Based Parallelism
pointersgonewild.com·2d·
Discuss: Hacker News
🔧Compiler Design
AI judging AI: Scaling unstructured text analysis with Amazon Nova
aws.amazon.com·1d
🎲Probabilistic Programming
Linear Types for Programmers
twey.io·3d·
Discuss: Hacker News
🧮Programming Language Theory
SQL migration : SPL Lightweight Multisource Mixed Computation Practice #7
dev.to·1d·
Discuss: DEV
🗄️Database Theory
The Generativity Pattern in Rust
arhan.sh·1d·
Discuss: Lobsters, Hacker News, r/programming
⚙Functional Programming
Python LeetCode 70: Climbing Stairs - (Easy)
dev.to·20h·
Discuss: DEV
🎯Constraint Programming
I built a collection of simple Python projects for beginners (CLI,GUI,Web,API)
github.com·20h·
Discuss: Hacker News
🧮Programming Language Theory
FinKario: Event-Enhanced Automated Construction of Financial Knowledge Graph
arxiv.org·14h
🎲Probabilistic Programming
On Skill-Debt
daithininullain.substack.com·1d·
Discuss: r/programming
🎲Probabilistic Programming
Dynamic Message Passing in C++: Techniques for Event-Driven Systems Explained
dev.to·4h·
Discuss: DEV
🔧Compiler Design
Rod Burstall: In Memoriam
arxiv.org·1h·
Discuss: Lobsters
🧮Programming Language Theory
Hands-On Transformer Deep Dive: Part 2 — Multi-head Attention Variants with Code
dev.to·4h·
Discuss: DEV
🎲Probabilistic Programming
AlignGuard-LoRA: Alignment-Preserving Fine-Tuning via Fisher-Guided Decomposition and Riemannian-Geodesic Collision Regularization
arxiv.org·14h
🔗Parser Combinators
🚀 DSA: The 8-Week Grind – Join Me in This Challenge! (Week 1, Day 1 Recap)
dev.to·12h·
Discuss: DEV
⚙Functional Programming
LLGuidance: Making Structured Outputs Go Brrr
guidance-ai.github.io·5d·
Discuss: Hacker News
🔧Compiler Design
Differentiable Economics: Strategic Behavior, Mechanisms, and Machine Learning
cacm.acm.org·5h
⚖Algorithmic Game Theory