Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·10h
λLambda Formalization
Flag this post
Scalable Static Analysis Framework – hardening large C++ codebases (LLVM/Apple)
discourse.llvm.org·22h·
Discuss: Hacker News
📊Static Analysis
Flag this post
ESTIMED_hackathon1_SSSUP
hackster.io·11h
🔒WASM Capabilities
Flag this post
Enhanced Knowledge Graph Reasoning via Multi-Modal Data Fusion and Automated Verification
dev.to·7h·
Discuss: DEV
🗺️Competency Maps
Flag this post
Malicious NPM Packages Disguised With 'Invisible' Dependencies
darkreading.com·1d
📦Package Managers
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.org·1h·
Discuss: Hacker News
🔗Functional Compilers
Flag this post
The average codebase is now 50% dependencies — is this sustainable?
intel.com·1d·
Discuss: Hacker News, r/programming
❄️Nix Flakes
Flag this post
I'm Independently Verifying Go's Reproducible Builds
agwa.name·1d·
Discuss: Lobsters, Hacker News, r/golang
🔄Reproducible Builds
Flag this post
TOPol: Capturing and Explaining Multidimensional Semantic Polarity Fields and Vectors
arxiv.org·19h
🧮Vector Embeddings
Flag this post
New trend: programming by kicking off parallel AI agents
blog.pragmaticengineer.com·5h
⚙️Proof Engineering
Flag this post
Vibe-Spec: Generate Specifications from Coding Agent Logs
marmelab.com·10h·
Discuss: Hacker News
✨Effect Handlers
Flag this post
My Rough and Incomplete Back End Developer Skill Tree
iainschmitt.com·2d·
Discuss: Hacker News
🔩Systems Programming
Flag this post
Unvanquished now cross-compiles Linux macOS and Windows from Debian Docker image
unvanquished.net·7h·
Discuss: Hacker News
🕸️WASM Archives
Flag this post
AI Experiments: Fast Inference with Groq and Third-Party Tools with Kimi K2 in TypingMind
macstories.net·3h
🌀Brotli Dictionary
Flag this post
I built an faster Notion in Rust
imedadel.com·2d·
Discuss: Lobsters, Hacker News, r/rust
🦀Rust Macros
Flag this post
Infrastructure as Code
opentofu.org·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
Flag this post
The Green Tea Garbage Collector
go.dev·1d·
Discuss: Lobsters, Hacker News, r/golang
🌊Streaming Algorithms
Flag this post
TouchDesigner 2025 Update
derivative.ca·11h·
Discuss: Hacker News
📟Terminal Physics
Flag this post
Notes by djb on using Fil-C with Debian multiarch
cr.yp.to·1h·
Discuss: Hacker News
🐚Bash Monads
Flag this post
Three Stages of Enlightenment
essenceofsoftware.com·2h·
Discuss: Hacker News
❄️Nordic Design Philosophy
Flag this post