Integer overflow checking with C23
blog.gnoack.org·3d
✅Formal Verification
Flag this post
Cure - Verification-First Programming for the BEAM
cure-lang.org·2d·
Discuss: Lobsters
✅Formal Verification
Flag this post
Guide to data analytics automation
zapier.com·23h
🎲Probabilistic Programming
Flag this post
Becoming a Core Developer
stefaniemolin.com·3d
🔗Parser Combinators
Flag this post
Changelog #300
rust-analyzer.github.io·3d·
Discuss: r/rust
🦀Rust
Flag this post
Run LLMs Locally
ikangai.com·13h·
Discuss: Hacker News
🏗Computer Architecture
Flag this post
The AI development trap that wastes your time
suchdevblog.com·17h·
Discuss: Hacker News
🧩Theorem Proving
Flag this post
Software Development in the Time of New Angels
davegriffith.substack.com·2d·
Discuss: Substack
🧩Theorem Proving
Flag this post
Cursor's Composer-1 vs. Windsurf's SWE-1.5: The Rise of Vertical Coding Models
inkeep.com·1d·
Discuss: Hacker News
🏗Computer Architecture
Flag this post
The older I get, the better my code becomes
dev.to·1d·
Discuss: DEV
🧮Programming Language Theory
Flag this post
The True Cost of AI Integrations: Comparing Performance and Pricing Models for C# Libraries
dev.to·2d·
Discuss: DEV
🎲Probabilistic Programming
Flag this post
Mastering End to End testing for Reliable Modern Software
dev.to·22h·
Discuss: DEV
👐Open Source Software
Flag this post
MemSearcher: Training LLMs to Reason, Search and Manage Memory via End-to-End Reinforcement Learning
arxiv.org·1d
🎲Probabilistic Programming
Flag this post
When Oracle Got Hacked (and the Hackers Fought Each Other)
dev.to·1d·
Discuss: DEV
🦀Rust
Flag this post
Cracking XLoader with AI: How Generative Models Accelerate Malware Analysis
blog.checkpoint.com·2d
🔗Parser Combinators
Flag this post
Why Agentic AI Needs a Context-Based Approach
thenewstack.io·1d
🏗️Software Architecture
Flag this post
Online Learning to Rank under Corruption: A Robust Cascading Bandits Approach
arxiv.org·2h
⚖Algorithmic Game Theory
Flag this post
Automated Multi-Modal Knowledge Graph Scoring for Cohort-Based Retrospective Analytics
dev.to·1d·
Discuss: DEV
🎲Probabilistic Programming
Flag this post
CI/CD Best Practices: Building Robust Deployment Pipelines
dev.to·15h·
Discuss: DEV
🦀Rust
Flag this post
Hephaestus: AI workflows that discover and create their own tasks as they work
reddit.com·21h·
Discuss: r/LocalLLaMA
🧩Theorem Proving
Flag this post