Integer overflow checking with C23
blog.gnoack.org·2d
💧Liquid Types
Flag this post
Circular Sorting
anuragbishnoi.wordpress.com·11h
📐Interval Arithmetic
Flag this post
Best tool for measuring lots of source code
shape-of-code.com·2d
💻Programming languages
Flag this post
Patching 68K Software – SimpleText
tinkerdifferent.com·10h·
Discuss: Hacker News
📺VT100
Flag this post
To write secure code, be less gullible than your AI
stackoverflow.blog·1d
📏Code Metrics
Flag this post
Ranking LLMs based on 180k French votes (French government's AI arena)
comparia.beta.gouv.fr·20h·
Discuss: Hacker News
🔍Information Retrieval
Flag this post
Kubernetes + Ceph: Your Freedom from the Cloud Cartel
oneuptime.com·1d·
Discuss: Hacker News, r/selfhosted
🖥️Self-hosted Infrastructure
Flag this post
The 6-Step Guide to Acing Your Coding Interview
yasminteles.com·19h·
Discuss: Hacker News
⚡Proof Automation
Flag this post
Decreasing code editing failures by 38% with output normalization
blog.sweep.dev·15h·
Discuss: Hacker News
🔓Reverse engineering
Flag this post
ZkML Breakthrough: 13B Models Verified in 15 Minutes
lightcapai.medium.com·2d·
Discuss: Hacker News
🎯Performance Proofs
Flag this post
Java's Agentic Framework Boom Is a Code Smell
gnanaguru.com·3d·
Discuss: Hacker News
🔌Interface Evolution
Flag this post
@call_once python macro for unlimited recursion depth
dev.to·1d·
Discuss: DEV
🦀Rust Macros
Flag this post
MCP Colors: Systematically deal with prompt injection risk
simonwillison.net·16h
🛡️CLI Security
Flag this post
InsurAgent: A Large Language Model-Empowered Agent for Simulating Individual Behavior in Purchasing Flood Insurance
arxiv.org·4h
💻Local LLMs
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·3h·
Discuss: DEV
📝Concrete Syntax
Flag this post
Agentic DevOps: I Let GitHub Copilot Run My Entire CI/CD Pipeline (And Lived to Tell the Tale)
dev.to·2h·
Discuss: DEV
👁️System Observability
Flag this post
When Assurance Undermines Intelligence: The Efficiency Costs of Data Governance in AI-Enabled Labor Markets
arxiv.org·4h
🧠Intelligence Compression
Flag this post
Grok AI: A Deep Dive into xAI’s Maverick Chatbot
dev.to·1h·
Discuss: DEV
🗣️Domain-Specific Languages
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
dl.acm.org·6d·
Discuss: Hacker News, r/rust
🦀Rust Borrowing
Flag this post
Predicting & Mitigating Data Corruption in Pure Storage Flash Arrays via Adaptive Bit Error Rate Modeling
dev.to·22h·
Discuss: DEV
🛡️Error Boundaries
Flag this post