ELISA seminar recap : Introduction to Requirements Engineering – Pete Brink, UL Solutions
elisa.tech·1d
📋Formal Verification
Flag this post
Why we chose OCaml to write Stategraph
stategraph.dev·1d·
Discuss: Hacker News, r/programming
🔒Linear Types
Flag this post
Git Rev News
git.github.io·4d·
Discuss: Hacker News
🌿git
Flag this post
Python's GIL removal is a poison pill and benefits Mojo
theserverside.com·3h·
Discuss: Hacker News
🦀Rust Macros
Flag this post
Self-hosting your Mastodon media with SeaweedFS
it-notes.dragas.net·2d·
Discuss: Lobsters, Hacker News, r/selfhosted
🏠HomeLab
Flag this post
Training Junior Engineers
natashajaffe.substack.com·1d·
Discuss: Substack
🗺️Competency Maps
Flag this post
BIOS Detectives Find Ghost Of Previously Unknown PC
hackaday.com·6h
⚡Circuit Archaeology
Flag this post
A Unified Experience for all Coding Agents
code.visualstudio.com·3d·
Discuss: Hacker News, r/programming, r/webdev
🪟Awesome windows command-line
Flag this post
Top 10 GitHub Copilot Updates You Actually Need to Know About 💥
dev.to·2d·
Discuss: DEV
🔄Language Evolution
Flag this post
Spring AI RAG, Demystified: From Toy Demos to Production-Grade Retrieval
dev.to·2d·
Discuss: DEV
📋Document Grammars
Flag this post
On Pretraining for Project-Level Code Completion
dev.to·9h·
Discuss: DEV
⚡Proof Automation
Flag this post
SSPO: Subsentence-level Policy Optimization
arxiv.org·1d
🎯Performance Proofs
Flag this post
Dynamic Epigenetic Biomarker Scoring via Multi-Modal Fusion & Adaptive Reinforcement Learning
dev.to·12h·
Discuss: DEV
📈Mutual Information
Flag this post
The Ghost in the Machine Is Finally Allowed to See: A Beginner's Guide to MCP
danielkliewer.com·3d·
Discuss: Hacker News
🔌Interface Evolution
Flag this post
I Built a File-Hiding App Because I Didn't Know Any Better (And It Actually Works!)
dev.to·2d·
Discuss: DEV
🚀Indie Hacking
Flag this post
External Secrets Operator is now GA with version v1.0.0
reddit.com·1d·
Discuss: r/kubernetes
📦Container Security
Flag this post
Best way to archive old VMs?
reddit.com·18h·
Discuss: r/homelab
🏠Homelab Preservation
Flag this post
Synthesizing Agentic Data for Web Agents with Progressive Difficulty EnhancementMechanisms
dev.to·5h·
Discuss: DEV
🕸️Hypertext Archaeology
Flag this post
Share Your Projects: Imperfectionism
hackaday.com·1d
🚀Indie Hacking
Flag this post
Show HN: Executable Recipes for Claude, Codex. Or Terraform for AI Flows
github.com·1d·
Discuss: Hacker News
🛡️CLI Security
Flag this post