Kodee’s Kotlin Roundup: 2.2.20-Beta2, Shipaton 2025, and a New Face on the Foundation Board
blog.jetbrains.com·3d
🔧Compiler Design
Beginner Python Path: A 3-Step Guide
blog.teamtreehouse.com·2d
🔧Compiler Design
Domain-Driven Design in Java: A Practical Guide
foojay.io·1d·
Discuss: r/programming
🔧Compiler Design
How to Master AI in 2025?
analyticsvidhya.com·21h
🧩Theorem Proving
Redux in react
medium.com·15h·
Discuss: DEV
🦀Rust
The 2R-Conjecture for the Hegselmann--Krause Model: A Proof in Expectation and New Directions
arxiv.org·2d
🎲Probabilistic Programming
Versioning Myself
salman.io·8h
📐Type Theory
Go 1.25 Released with Experimental Garbage Collector and New JSON API
linuxiac.com·2d
🦀Rust
Share the Gemini 2.5 prompt words that I have refined for few weeks
preview.redd.it·1d·
Discuss: r/Bard
🧩Theorem Proving
Monitoring and alert system using Graphite and Cabot
engineering.hackerearth.com·10h
🌍Distributed Systems
⭐ David-Kunz gen.nvim
waylonwalker.com·10h
🔧Compiler Design
2019 goals
waylonwalker.com·10h
🔢Mathematical Logic
Introducing OxMPL - the Oxidised Motion-Planning Library
reddit.com·8h·
Discuss: r/rust
🦀Rust
🚀 My Coding Journey & Tips for Fellow Learners
dev.to·20h·
Discuss: DEV
🔧Compiler Design
Engineering with SOLID, DRY, KISS, YAGNI and GRASP
dev.to·3d·
Discuss: DEV
🏗️Software Architecture
100,000 strong - CodeFactory server
engineering.hackerearth.com·10h
🔌Network Programming
Understanding Go Error Types: Pointer vs. Value + `errortype` Linter (seeking feedback!)
reddit.com·1d·
Discuss: r/golang
✅Formal Verification
⭐ pytest-dev pluggy
waylonwalker.com·10h
🦀Rust
The Collider Bias Theory of (Not Quite) Everything
lesswrong.com·9h
🎲Probabilistic Programming
⭐ nvim-telescope telescope-fzf-native.nvim
waylonwalker.com·10h
🔧Compiler Design