Removing XSLT for a more secure browser
developer.chrome.com·5h·
Discuss: Hacker News
🔧Darwin Internals
Flag this post
Can we hide the orange dot without disabling SIP?
notes.alinpanaitiu.com·6h·
Discuss: Hacker News
📺Vintage Apple
Flag this post
Cure - Verification-First Programming for the BEAM
cure-lang.org·2d·
Discuss: Lobsters
🔍Formal Verification
Flag this post
Ansible Release 12: the Windows Vista Moment
blog.ipspace.net·2d·
Discuss: Hacker News
🛡️seL4
Flag this post
Fluent Visitors: revisiting a classic design pattern
neilmadden.blog·22h·
Discuss: r/programming
λFunctional Programming
Flag this post
Pain Points of OCaml
quamserena.com·1d·
Discuss: Lobsters, Hacker News
📦Module Systems
Flag this post
I built sbsh: persistent terminal sessions and shareable profiles for kubectl, Terraform, and more
reddit.com·22h·
Discuss: r/kubernetes
⎈Kubernetes
Flag this post
3 Experiments That Reveal the Shocking Inner Life of AI Introduction: Is Anybody Home?
hackernoon.com·1d
🔬Unikernels
Flag this post
AI Workflow Integration: From Models to Methods, How Engineering Teams Will Change
dev.to·1d·
Discuss: DEV
🔧DevOps
Flag this post
Grok AI: A Deep Dive into xAI’s Maverick Chatbot
dev.to·12h·
Discuss: DEV
🔀Brzozowski Derivatives
Flag this post
Intercom — Open-Source WebRTC Audio & Video Intercom System in Python
github.com·1d·
Discuss: r/homelab, r/opensource, r/selfhosted
🏠HomeLab
Flag this post
How I Built gemini-imagen: A CLI for Google Gemini Image Generation
dev.to·2d·
Discuss: DEV
💻CLI Tools
Flag this post
Building an AI-Powered Migration Pathways Agent with Go and the A2A Protocol
dev.to·1d·
Discuss: DEV
🔌APIs
Flag this post
GrowthHacker: Automated Off-Policy Evaluation Optimization Using Code-Modifying LLM Agents
arxiv.org·1d
📦OPAM
Flag this post
Quantum-Resistant Federated Learning: Implementing Post-Quantum Cryptography in Cross-Silo Model Aggregation
dev.to·1d·
Discuss: DEV
❓Existential Types
Flag this post
I Benchmarked 3 Go Concurrency Patterns. The "Fastest" One Would Destroy Production
dev.to·1d·
Discuss: DEV
👁️System Observability
Flag this post
Predictive Anomaly Detection in HVAC System Coil Performance Using Dynamic Bayesian Networks
dev.to·6h·
Discuss: DEV
🩹Self-Healing Systems
Flag this post
REMI: PostgreSQL as Agentic Core in Tiger Cloud (Agentic Postgres Challenge by Auth0)
dev.to·3d·
Discuss: DEV
🌐ActivityPub
Flag this post
Q-Sat AI: Machine Learning-Based Decision Support for Data Saturation in Qualitative Studies
arxiv.org·14h
📝Term Rewriting
Flag this post
Transformer-Based Decoding in Concatenated Coding Schemes Under Synchronization Errors
arxiv.org·1d
⚙️Compiler Design
Flag this post