PHPUNIT Course - Module 1: Introduction to PHPUnit and the World of Testing
getcomposer.org·21h·
Discuss: DEV
🔧Compiler Design
LLMs + Coding Agents = Security Nightmare
garymarcus.substack.com·1h·
Discuss: Substack
👐Open Source Software
Song recommendations with free monads
blog.ploeh.dk·6d
⚙Functional Programming
AI: Limitations
markbernstein.org·4d
🧩Theorem Proving
Haskell Crash Course
yager.io·4d
📝Lisp
Anyone already tried out the new greenteagc?
tip.golang.org·2d·
Discuss: r/golang
🦀Rust
Turned my Notion into an intelligent content transformation hub - here's how
reddit.com·21h·
Discuss: r/Notion
🔧Compiler Design
⭐ aka-raccoon hatch-aws
waylonwalker.com·23h
🧩Theorem Proving
Promoting Efficient Reasoning with Verifiable Stepwise Reward
arxiv.org·2d
⚖️Logic Programming
The Modular AI Hack That Lets Indie Devs Launch Businesses Overnight
dev.to·11h·
Discuss: DEV
🧩Theorem Proving
CrossDenoise: Denoising Implicit Feedback via a Lightweight Entity-Aware Synergistic Framework
arxiv.org·2d
🎲Probabilistic Programming
Tristan's Projects
lesswrong.com·2d
🧮Programming Language Theory
Using Await in an Event Sequence Pattern and cascading effects
reddit.com·1d·
Discuss: r/godot
⚡Concurrency
A Chain of Diagnosis Framework for Accurate and Explainable Radiology Report Generation
arxiv.org·3d
🎲Probabilistic Programming
Tasklin, a Python CLI to run multiple AI models
dev.to·14h·
Discuss: DEV
🧩Theorem Proving
The Best Platforms for Evaluating AI Models in 2025
dev.to·3d·
Discuss: DEV
🔍Static Analysis
Routing and balancing losses with Mixture of Experts
dev.to·1d·
Discuss: DEV
📈Complexity Theory
Introducing OxMPL - the Oxidised Motion-Planning Library
reddit.com·21h·
Discuss: r/rust
🦀Rust
Which OS for my first NAS - ProxMox vs TrueNAS?
reddit.com·1d·
Discuss: r/homelab
🐧Linux
Memory Safety Meets Extreme Performance in Web Servers(7083)
dev.to·3h·
Discuss: DEV
⚡Concurrency