Scalable Static Analysis Framework – hardening large C++ codebases (LLVM/Apple)
discourse.llvm.org·1d·
Discuss: Hacker News
💬Language Servers
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·15h
λFunctional Programming
Flag this post
Essential Python Debugging Tools You Need to Know
dev.to·21h·
Discuss: DEV
🔬eBPF Monitoring
Flag this post
A Refreshing Philosophy of Software Design [Book Review]
theaxolot.wordpress.com·3h·
Discuss: Hacker News, r/programming
🧩Low-code
Flag this post
Averaging 10 PRs a day with Claude Code
theahura.substack.com·7h·
Discuss: Substack
🧩Low-code
Flag this post
Raising the Bar on ML Model Deployment Safety
uber.com·15h
📱Edge AI
Flag this post
We May Have Fixed Python's 25-Year-Old Vulnerability
iyehuda.substack.com·11h·
Discuss: Substack
🌐Rust Networking
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
dl.acm.org·23h·
Discuss: Hacker News, r/rust
🔌Embedded Rust
Flag this post
Advances In Formal Verification Technology
semiengineering.com·21h
🔍Chip Verification
Flag this post
From Scripts to Scale: Python, Mypy, and the Rise of Static Typing
simplethread.com·4h·
Discuss: Hacker News
☁️Serverless Rust
Flag this post
Top 10 Developer Articles of the Month on CoderLegion
news.ycombinator.com·12h·
Discuss: Hacker News
☁️Serverless Rust
Flag this post
The top 4 JVM languages and why developers love them
infoworld.com·1d
λFunctional Programming
Flag this post
6 challenges I encounter while self-hosting with no coding experience
xda-developers.com·1d
🏢Self-hosting
Flag this post
ArchISMiner: A Framework for Automatic Mining of Architectural Issue-Solution Pairs from Online Developer Communities
arxiv.org·3d
🧩WebAssembly
Flag this post
Ajla Tutorial
ajla-lang.cz·4h·
Discuss: Hacker News
λFunctional Programming
Flag this post
Finding Order in the Mayhem: A Novel Concurrency Testing Tool that Improved the Kotlin Compiler
blog.jetbrains.com·1d·
Discuss: Hacker News
🔌Embedded Rust
Flag this post
Apple Plans To Open-Source An LLVM Tool To Security Harden Large C++ Codebases
phoronix.com·1d·
Discuss: Hacker News, Hacker News
☁️Serverless Rust
Flag this post
What's the point of HTTP Signatures? (All open source)
orangestack.substack.com·6h·
Discuss: Substack
🔐Decentralized Identity
Flag this post
Vibe-Spec: Generate Specifications from Coding Agent Logs
marmelab.com·15h·
Discuss: Hacker News
✨vibe-coding
Flag this post
How We Train Models at Clado
blog.ericmao.com·1d
🧠AI
Flag this post