Windows on Gigabyte MZ33-AR1 (AMD Turin) with Coreboot – ACPI and Bug Fixes
📦Portable Bytecode
Flag this post
What if software shipped with a software engineer?
manuel.kiessling.net·1d
🎭Program Synthesis
Flag this post
Empirical Characterization Testing
blog.ploeh.dk·1d
🧪Compiler Testing
Flag this post
Using eBPF to attribute packet drops to netfilter rules
developers.redhat.com·2d
🪤Trap Handlers
Flag this post
[Research] Cross-Stage Vulnerabilities in Large Language Model Architectures
🎲Parser Fuzzing
Flag this post
Employee Performance when Implementing Agile Practices in an IT Workforce
arxiv.org·1d
🎮Language Ergonomics
Flag this post
DevOps Workflow: The Key Elements and Tools Involved
devops.com·1d
📦Dependency Analysis
Flag this post
I Open-Sourced My Production Git Config (And You Should Steal It)
📚Self-Documenting Code
Flag this post
Human-AI Programming Role Optimization: Developing a Personality-Driven Self-Determination Framework
arxiv.org·1d
🎭Program Synthesis
Flag this post
Inferring multiple helper Dafny assertions with LLMs
arxiv.org·1d
🔍ML Language
Flag this post
Fast Answering Pattern-Constrained Reachability Queries with Two-Dimensional Reachability Index
arxiv.org·1d
🗂️Term Indexing
Flag this post
The Demo That Taught Me nil + nil eq 0 (And Other Lies I Tell Myself)
💬Interactive REPLs
Flag this post
Building Custom LLM Judges for AI Agent Accuracy
databricks.com·14h
🔮Metacircular Evaluators
Flag this post
Position: Vibe Coding Needs Vibe Reasoning: Improving Vibe Coding with Formal Verification
arxiv.org·1d
✅Type Checking
Flag this post
Loading...Loading more...