SampCert: Verified Foundations for Differential Privacy (PLDI 2025)
dl.acm.org·4d·
Discuss: Hacker News
🤖AI
Flag this post
Just released a new side project
productapi.dev·4h·
Discuss: Hacker News
🤖AI
Flag this post
How to learn C++
reddit.com·1d·
Discuss: r/AskProgramming
🔷.NET
Flag this post
How to Achieve 4x Faster Inference for Math Problem Solving
developer.nvidia.com·1d
🤖AI
Flag this post
Three Kinds Of Ontological Foundations
lesswrong.com·1d
🤖AI
Flag this post
NFL Week 11 odds, spreads: Lions and Eagles on collision course, Chiefs and Bills face tricky matchups
nytimes.com·9h
🤖AI
Flag this post
I built a runtime for Ai models to develop their own identity over time... And they remember, even when you swap out models.
reddit.com·1h·
Discuss: r/LLM
🤖AI
Flag this post
Quantum-Resistant Federated Learning: Securing Distributed Model Training Against Post-Quantum Cryptography Threats
dev.to·1d·
Discuss: DEV
🤖AI
Flag this post
Writing Your First Compiler - Part 6: Extending the Language
dev.to·2d·
Discuss: DEV
🤖AI
Flag this post
Minimal and Mechanistic Conditions for Behavioral Self-Awareness in LLMs
arxiv.org·22h
🤖AI
Flag this post
Beyond the Basics: 5 Advanced Prompting Strategies that Turn LLMs into Autonomous Agents (Prompt Engineering for Devs - Part 3)
dev.to·13h·
Discuss: DEV
🤖AI
Flag this post
Do Parentheses Matter in Arrow Functions? A TypeScript Deep Dive
dev.to·25m·
Discuss: DEV
⚡HTMX
Flag this post
Slicing your work with BDD or another aspect of speed increase with small Pull Requests.
andremoniy.medium.com·1d·
Discuss: r/programming
⚡HTMX
Flag this post
<![CDATA[ Agentic Plan Execution ]]>
dolthub.com·1d
🤖AI
Flag this post
Pulse 1.0 - A reactive and concurrent programming language built on modern JavaScript
github.com·12h
🔷.NET
Flag this post
How I built a free AI Regex Generator using Hugging Face + Next.js (no API costs)
dev.to·10h·
Discuss: DEV
🤖AI
Flag this post
I wrote a short post on the importance of taking the literal perspective on writing scalable code. Code that itself scales over time. Check it out and let me kn...
medium.com·1d·
Discuss: r/programming
🤖AI
Flag this post
A collection of type-safe, async friendly, and un-opinionated enhancements to SQLAlchemy Core
reddit.com·1h·
Discuss: r/programming
🔷.NET
Flag this post
Parallelization
dev.to·12h·
Discuss: DEV
🤖AI
Flag this post
I wrote a "from first principles" guide to building an HTTP/1.1 client in Rust (and C/C++/Python) to compare performance and safety
reddit.com·12h·
Discuss: r/rust
🔷.NET
Flag this post