PAINT25 Invited Talk transcript: “Notational Freedom via Self-Raising Diagrams”
programmingmadecomplicated.wordpress.com·1d
🔤Language Design
Flag this post
Why Bcrypt Can Be Unsafe for Password Hashing?
blog.enamya.me·9h·
Discuss: Hacker News
#️⃣Hash Tables
Flag this post
I built an AI parenting app that cites 2,600+ real research studies (no hallucinations) 100% of code written by Claude Code
parentguidebook.com·6h·
Discuss: r/ClaudeAI
🌿Digital Gardens
Flag this post
Not so "mini"-dumps: How we found missing crashes on SteamOS
blog.sentry.io·1d·
Discuss: Hacker News
📊Profiling Tools
Flag this post
Lazy loading isn't the magic pill to fix AI Inference
tensorfuse-docs.mintlify.dev·1d·
Discuss: Hacker News
🚀Performance
Flag this post
Functional programming, demystified: What we learned at Nu Engineering Meetup
building.nubank.com·2d
λFunctional Programming
Flag this post
The Same Feature That Makes a Component Powerful Can Also Make It Dangerous
blog.zast.ai·1d·
Discuss: Hacker News
🔧WASI
Flag this post
MySQL Transactions & Data Integrity in Laravel
dev.to·1d·
Discuss: DEV
💰TigerBeetle
Flag this post
Planning > Agents: Getting Reliable Code from LLMs
repoprompt.com·1d·
Discuss: Hacker News
💬Prompt Engineering
Flag this post
A new language for COBOL workloads, built on GO!
dev.to·11h·
Discuss: DEV
🐹golang
Flag this post
Writing a DOS Clone in 2019
medium.com·3d·
Discuss: Hacker News
🖥️Emulation
Flag this post
Cycle-accurate 6502 emulator as coroutine in Rust
github.com·4d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming, r/rust
🖥️Emulation
Flag this post
TypeScript: Our Beloved, Overbearing Safety Net
dev.to·2d·
Discuss: DEV
📐Type Theory
Flag this post
Cyclic Proofs for iGL via Corecursion
arxiv.org·1d
🧮SMT Solvers
Flag this post
[Release] Night Core™ Worker v38 — Open-core framework for verified WebAssembly execution
github.com·2h·
Discuss: r/rust
☁️Cloudflare Workers
Flag this post
[GoGreement] A new linter that can help enforce interface implementation and immutability
reddit.com·5d·
Discuss: r/golang
🐹golang
Flag this post
Rasterizer Project - Part 4: Triceratops Wireframe
dev.to·1d·
Discuss: DEV
🎨Computer Graphics
Flag this post
[Tool] RE-Architect: Automated binary analysis with multiple decompilers + AI explanations
github.com·1d·
Discuss: r/programming
🔍Reverse Engineering
Flag this post
Rust's std and parking_lot mutexes – who wins?
blog.cuongle.dev·6d·
Discuss: Hacker News
🔒Futex
Flag this post
[Research] Cross-Stage Vulnerabilities in Large Language Model Architectures
reddit.com·1d·
Discuss: r/LocalLLaMA
🛡️AI Security
Flag this post