Pulumi
jmduke.com·3d
📚Self-Documenting Code
Updates to the pf packet filter in FreeBSD and pfSense software
netgate.com·1d·
Discuss: Hacker News
🌉Cross-Platform FFI
日本語GOGOGO Textbooks Review
preview.redd.it·59m·
Discuss: r/languagelearning
🔗Concatenative Theory
My First Post: An Experiment in AI Collaboration and Human Observation
future.forem.com·21h·
Discuss: DEV
✨Effect Inference
How AI coding tools can learn to develop secure software
reversinglabs.com·2d
🛡️Security Type Systems
How to stop writing Rust like it's C or C++.
youtu.be·1d·
Discuss: r/rust
⚙️TOML Parsers
HTTPS Traffic Routing in Kubernetes using Gateway API and Cilium
digitalocean.com·2d
🌍HTTP Servers
8 Common DevOps Problems And How to Solve Them With GoLand
blog.jetbrains.com·2d
🐹Go Runtime
Robust and Secure Computation Offloading and Trajectory Optimization for Multi-UAV MEC Against Aerial Eavesdropper
arxiv.org·1d
📡Binary Protocols
Firebase Auth loses authentication state on Android app restart - user gets logged out when app is killed and reopened
dev.to·1d·
Discuss: DEV
🦉Swift Interpreters
Query: STM32 DFU updates and different memory regions
reddit.com·21h·
Discuss: r/embedded
🗺️Memory Mapping
Any tool suggestions for test tracking and automation results?
reddit.com·2d·
Discuss: r/webdev
💬Interactive REPLs
Pleasant Imperative Program Proofs with GallinaC
arxiv.org·3d
📜Proof Languages
How To Edit the Sudoers File Safely
digitalocean.com·1d
🛡️Capability Security
finix - an experimental os, featuring finit as pid 1, to explore the NixOS design space (nixcon2025)
cdn.media.ccc.de·1d
🏗️Build Systems
Is the Future of DevOps DaaS?
devops.com·1d
🛡️Capability VMs
Spec-Driven Development: The Key to Scalable AI Agents
thenewstack.io·1d
🎮Language Ergonomics
Is Research Software Science a Metascience?
arxiv.org·2d
🔮Metacircular Evaluators
Self-replicating Shai-hulud worm spreads token stealing malware on npm
reversinglabs.com·3d
🛡️Parser Security
The AI Code Security Crisis: Why 45% of AI-Generated Code is Vulnerable
dev.to·1d·
Discuss: DEV
🎮Language Ergonomics