Stacked Pull Requests FTW
git-tower.com·16h·
Discuss: Hacker News
🔄Reproducible Builds
Dependency hell is NP-complete
research.swtch.com·3d·
Discuss: Hacker News
📦Unikernel Systems
Chatlas: Guide to building LLM apps with less effort and more clarity
posit-dev.github.io·1d·
Discuss: Hacker News
🐫OCaml
I Detect ChatGPT Code in Pull Requests (and Why It's Harder Than You Think)
medium.com·2d·
Discuss: Hacker News
🧪Property-Based Testing
A model for IV&V that's useful
waldo.jaquith.org·1d·
Discuss: Hacker News
🔄Reproducible Builds
The Complete MCP Experience: Full Specification Support in VS Code
code.visualstudio.com·11h·
Discuss: Hacker News
🔄Reproducible Builds
Expediting data extraction using a large language model (LLM) and scoping review protocol: a methodological study within a complex scoping review
arxiv.org·1d
🐫OCaml
Programming Affordances That Invite Mistakes
thetechenabler.substack.com·1d·
Discuss: Substack
🧪Property-Based Testing
The Covert Hardware Implant: Part 1
rift.stacktitan.com·8h·
Discuss: Hacker News
💾Retro Computing
Using Self-Hosted Large Language Models (LLMs) Securely in Government
digitaltrade.blog.gov.uk·2d·
Discuss: Hacker News
🔤DSLs
Search-based Selection of Metamorphic Relations for Optimized Robustness Testing of Large Language Models
arxiv.org·2d
✓Automated Theorem Proving
RVISmith: Fuzzing Compilers for RVV Intrinsics
arxiv.org·3d·
Discuss: Hacker News
🔬Unikernels
Stop Converting Your REST APIs to MCP
jlowin.dev·9h·
Discuss: Hacker News
🧱Immutable Infrastructure
Evaluation of Habitat Robotics using Large Language Models
arxiv.org·2d
✓Automated Theorem Proving
Automated Reasoning for Vulnerability Management by Design
arxiv.org·2d
✓Automated Theorem Proving
Semantically Separating Nominal Wyvern for Usability and Decidability
arxiv.org·3d
🐫OCaml
Evaluation of Large Language Model-Driven AutoML in Data and Model Management from Human-Centered Perspective
arxiv.org·2d
🔠Type-Level Programming
Constraint Hypergraphs as a Unifying Framework for Digital Twins
arxiv.org·2d
🏹Effect Systems
I still care about the code
martinfowler.com·2d·
Discuss: DEV, Hacker News
🔬Static Analysis
Detection of Intelligent Tampering in Wireless Electrocardiogram Signals Using Hybrid Machine Learning
arxiv.org·1d
🌐NetworkProtocols