Writing your own Go linter (dhcp25)
cdn.media.ccc.de·1d
🔄Go Scheduler
Flag this post
You can use anti-trojan-source to defend (or detect) against the Glassworm Invisible Chars malware
🛡️Parser Security
Flag this post
Ghosts in the Codex Machine
🐛Interactive Debuggers
Flag this post
Vibecoding my way to a crit on GitHub
🌳Tree Shaking
Flag this post
TikTok’s payment service struggled at 100,000 queries per second until engineers rewrote critical APIs in Rust
lord.technology·2d
🚂Cranelift Backend
Flag this post
Readable Code Is Unreadable
🔬Nanopasses
Flag this post
One of the most devious malware strains might have been cracked - and it's all thanks to Gen AI
techradar.com·10h
🛡️Security Type Systems
Flag this post
PDE-SHARP: PDE Solver Hybrids Through Analysis & Refinement Passes
arxiv.org·23h
🏭Functional Compilers
Flag this post
I Open-Sourced My Production Git Config (And You Should Steal It)
📚Self-Documenting Code
Flag this post
Actively looking for open source contributors to an MCP project! Please DM me if interested.
🌍HTTP Servers
Flag this post
A generative adversarial network optimization method for damage detection and digital twinning by deep AI fault learning: Z24 Bridge structural health monitorin...
arxiv.org·23h
🚂Error Propagation
Flag this post
Bitcoin Core now has an interface for its consensus code - TheCharlatan
github.com·9h
🔧API Design
Flag this post
Human-AI Programming Role Optimization: Developing a Personality-Driven Self-Determination Framework
arxiv.org·23h
🎭Program Synthesis
Flag this post
Inferring multiple helper Dafny assertions with LLMs
arxiv.org·23h
🔍ML Language
Flag this post
Loading...Loading more...