Claude Code sucks but is still useful: experiences maintaining Julia’s SciML scientific computing infrastructure
stochasticlifestyle.com·1d
📏Code Metrics
Higher-Level Design Patterns
qouteall.fun·3d·
Discuss: Hacker News
✨Algebraic Effects
Introducing OpenZL: An Open Source Format-Aware Compression Framework
engineering.fb.com·19h·
Discuss: Lobsters, Hacker News, r/programming
⚡Modern Compression
Delegating the Grunt Work: AI Agents for UI Test Development
blog.scottlogic.com·1d·
Discuss: Hacker News
⚡Proof Automation
GPT-5-Codex is a better AI researcher than me
seangoedecke.com·11h·
Discuss: Hacker News
🧠Intelligence Compression
Language Agnostic Programming: Why you may still need code
joaquimrocha.com·1d·
Discuss: Hacker News
💻Programming languages
🎉 MongoDB Atlas CRUD Operations Made Easy! 🚀
dev.to·1d·
Discuss: DEV
🧠Query Planners
Day 24 of My 90 Days Python Series – Word Counter Tool
dev.to·1d·
Discuss: DEV
📝Concrete Syntax
From Theory to Practice: Evaluating Data Poisoning Attacks and Defenses in In-Context Learning on Social Media Health Discourse
arxiv.org·7h
🔗Monadic Parsing
Time-Traveling Data: Seeing Through the Gaps in Time Series Imputation by Arvind Sundararajan
dev.to·1h·
Discuss: DEV
📈Time Series
Organizing Cursor Rules & Commands Across Projects with Symlinks
dev.to·19h·
Discuss: DEV
🌳Git Internals
Automated Spectral Deconvolution & Peak Profiling for Bioprocess Monitoring
dev.to·11h·
Discuss: DEV
📄Document Digitization
How to Build Semantic Search in ASP.NET Core using PostgreSQL
dev.to·16h·
Discuss: DEV
🔍Semantic Search
Java Backend Coding Technology: Writing Code in the Era of AI
dev.to·3d·
Discuss: DEV
💻Programming languages
Explainable but Vulnerable: Adversarial Attacks on XAI Explanation in Cybersecurity Applications
arxiv.org·7h
🕵️Vector Smuggling
🤖 Edenred Invoice Assistant – Serverless AI Chatbot for Invoice & Payment Support
dev.to·11h·
Discuss: DEV
🌊Streaming Systems
Scaling AI-Assisted Development: How Scaffolding Solved My Monorepo Chaos
dev.to·1d·
Discuss: DEV
🔌Interface Evolution
Neural Bayesian Filtering
arxiv.org·7h
🧠Machine Learning
94% of AI Developers Ignore This Theorem Prover. Here's Why That's Costing Millions.
dev.to·2d·
Discuss: DEV
⚙️Proof Engineering
Unified Unsupervised Anomaly Detection via Matching Cost Filtering
arxiv.org·7h
🌸Bloom Variants