AI Models Write Code with Security Flaws 18–50% of the Time, New Study Finds
medium.com·9h·
Discuss: Hacker News
🏃Escape Analysis
Flag this post
Mathematics solves problems by pen and paper. CS helps us to go far beyond that
cacm.acm.org·1d·
Discuss: Hacker News
🧠Automated Reasoning
Flag this post
Chain of Pattern: Rethink
dev.to·1d·
Discuss: DEV
🔤Language Design
Flag this post
I Built a One File Edge Probe to Tell Me When Time Is Lying
physical-ai.ghost.io·13h·
Discuss: Hacker News
📊Runtime Verification
Flag this post
Finding Order in the Mayhem: A Novel Concurrency Testing Tool that Improved the Kotlin Compiler
blog.jetbrains.com·5d·
Discuss: Hacker News
🔀OCaml Multicore
Flag this post
A New Faster Algorithm for Gregorian Date Conversion
benjoffe.com·20h·
Discuss: Hacker News, r/cpp
🔢Algebraic Data Types
Flag this post
Cloudflare Raves About Performance Gains After Rust Rewrite
developers.slashdot.org·1d
❄️NixOS
Flag this post
Beyond Start and End: PostgreSQL Range Types
boringsql.com·1d·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
New prompt injection papers: Agents Rule of Two and The Attacker Moves Second
simonwillison.net·1d·
Discuss: Hacker News
🛡️seL4
Flag this post
When Logs Become Chains: The Hidden Danger of Synchronous Logging
systemdr.substack.com·1d·
👁️System Observability
Flag this post
LLM As A Judge is not the shortcut you think
softwaredoug.com·11h·
Discuss: Hacker News
🎯Complexity Classes
Flag this post
🛡️ Fortify - AI-Powered Security Analysis Platform
dev.to·9h·
Discuss: DEV
🔧DevOps
Flag this post
Writing an LLM from scratch, part 27 – what's left, and what's next?
gilesthomas.com·2h·
Discuss: Hacker News
🎯Hindley-Milner
Flag this post
Cons Should Not Cons Its Arguments, Part II: Cheney on the MTA
web.archive.org·22h·
Discuss: Hacker News
λFunctional Programming
Flag this post
A Close Look at a FastAPI Example Application
realpython.com·13h
🔌APIs
Flag this post
From Stack to Impact: What Actually Worked in My 3 AI Tool Sites
dev.to·1h·
Discuss: DEV
👁️System Observability
Flag this post
My Wishlist for PHP in 2026
stitcher.io·4d·
Discuss: Hacker News
Existential Types
Flag this post
AI-Assisted Coding & Automated Debugging: The Tools That Might Just Save Your Sanity
dev.to·22h·
Discuss: DEV
🤖Program Synthesis
Flag this post
How to Use Multimodal AI Models With Docker Model Runner
docker.com·14h
🐳Containerization
Flag this post