Base 3.0
menial.co.uk·19h·
Discuss: Hacker News
🦀Rust
Session: 101 F****n With Fred
basementsandbraunsteins.bearblog.dev·11h
⚖️Logic Programming
Dreaming of Graphs in the Open Lakehouse
semyonsinchenko.github.io·1d·
Discuss: Hacker News
🗄️Database Theory
Is Oklo Stock the Next Nvidia?
fool.com·1h
💾Retrocomputing
Web Dashboard for Zephyr
hackaday.com·17h
🦀Rust
Duality
xythobuz.de·4d
💾Retrocomputing
Follow-up and Clarification on Recent Malicious Ruby Gems Campaign
socket.dev·17h
👐Open Source Software
2026, Year of Reinforcement Learning?
aimlbling-about.ninerealmlabs.com·3d·
Discuss: Hacker News
🎲Probabilistic Programming
Tackling the DevSecOps Gap in Software Understanding
devops.com·1d
👐Open Source Software
Modular Arithmetic in Data Science
towardsdatascience.com·4d
🧭SMT Solvers
Real-Time Task Scheduling Optimization via Adaptive Resource Allocation in Embedded IoT Nodes
dev.to·4d·
Discuss: DEV
🛡️IoT Security
I worked with .NET, but I want to apply for Java positions.
reddit.com·5d·
Discuss: r/AskProgramming
⚖️Logic Programming
Nanophotonic Phase-Change Material Optimization for 50GHz Optical Switching in Data Centers
dev.to·5h·
Discuss: DEV
🤝Protocol Design
One year later, the Rabbit R1 is good now
tomsguide.com·13h·
Discuss: Hacker News
🤖Sci-Fi
UAV-VL-R1: Generalizing Vision-Language Models via Supervised Fine-Tuning and Multi-Stage GRPO for UAV Visual Reasoning
arxiv.org·5d
🎲Probabilistic Programming
ADMIRE-BayesOpt: Accelerated Data MIxture RE-weighting for Language Models with Bayesian Optimization
arxiv.org·5d
🎲Probabilistic Programming
DevLog #1 - ValidateLite: Building a Zero-Config Data Validation Tool
dev.to·1d·
Discuss: DEV
🔍Static Analysis
OpenAI lost the plot on 'boring' LLM use-cases
softwaredoug.com·2d
🧭SMT Solvers
The Divide Between AI-Fluent and AI-Resistant Developers
dev.to·2d·
Discuss: DEV
🔍Static Analysis
LLMs Are Letter-Blind and Here's Why Enterprises Should Care
viveksgag.substack.com·3d·
Discuss: Substack
🔗Parser Combinators