This is what spelling out "the users table is eventually consistent" looks like
bsky.app·1d·
Discuss: Bluesky
🧮Programming Language Theory
Significa Foundations
foundations.significa.co·1d·
Discuss: r/reactjs, r/webdev
📐Type Theory
Talk Highlights: Documenting the Design of the Linux Kernel – Chuck Wolber, The Boeing Company; Kate Stewart, The Linux Foundation; Gabriele Paoloni, Red Hat
elisa.tech·4d
🔍Static Analysis
Assemblers in w64devkit, and other updates
nullprogram.com·1h
💾Retrocomputing
v3.37.6
gitlab.exherbo.org·3h
🦀Rust
Hyper-V Research
r0keb.github.io·1d
💻Operating Systems
Black Hat: AI as vulnerability scout and gap in Spectre protection
heise.de·1d
🛡️IoT Security
We need better ways to evaluate how AI memory systems perform
cognee.ai·1d·
Discuss: Hacker News
🔗Parser Combinators
Advent of Code, OCaml, and lethargy
saser.bearblog.dev·3d
⚙Functional Programming
From GPT-2 to gpt-oss: Analyzing the Architectural Advances
magazine.sebastianraschka.com·1d·
Discuss: Hacker News, Hacker News
🏗Computer Architecture
When should i start learning C?
reddit.com·23h·
Discuss: r/C_Programming
🔧Compiler Design
How to program a control system for a Python Press therapy machine
dev.to·2d·
Discuss: DEV
🧩Theorem Proving
Is it easier to create a new language for a hardware or just a C wrapper?
reddit.com·11h·
Discuss: r/C_Programming
🔧Compiler Design
Beyond the Numbers: How to Succeed as an Analyst, Grow in Your Career, and Avoid Burnout. Part 2
dev.to·50m·
Discuss: DEV
🔍Static Analysis
Seeking Feedback: Self-Hosted RAG System + Multi-GPU Hardware Setup for Local LLM Development
reddit.com·11h·
Discuss: r/LocalLLaMA
🔧Compiler Design
Serverless Computing in Kubernetes: A Developer’s Guide
dev.to·6h·
Discuss: DEV
🦀Rust
How to Build AI-Powered .NET Apps with ML.NET and C#: A Step-by-Step Guide
dev.to·55m·
Discuss: DEV
🧮Programming Language Theory
Vibe coding is not the AI utopia it seems
northpodie.blogspot.com·1d·
Discuss: Hacker News
👐Open Source Software
AI-Driven Post-Operative Rehabilitation Optimization via Kinematic Analysis & Personalized Exercise Prescription
dev.to·5h·
Discuss: DEV
🎲Probabilistic Programming
Automated Risk Assessment & Mitigation Protocol Generation for HAZMAT Compliance
dev.to·13h·
Discuss: DEV
🎲Probabilistic Programming