PopSQL Moves to Limited Support
popsql.com·21h·
Discuss: Hacker News
🧱Immutable Infrastructure
I still love PHP and JavaScript
the.scapegoat.dev·4h·
Discuss: Hacker News
🔤DSLs
The Art of Incident Management Pt. 1
rootly.com·10h·
Discuss: Hacker News
🩹Self-Healing Systems
Trying out import std
nibblestew.blogspot.com·3d·
Discuss: Hacker News, nibblestew.blogspot.com
🔄Reproducible Builds
[NodeBook] Inside the v8 Javascript Engine
thenodebook.com·6d·
Discuss: Hacker News, r/node, r/webdev
📊Runtime Verification
LLMs Are Adaptive Data Organisms
worldgov.org·3d·
Discuss: Hacker News
📚Automata Learning
Skip to the End
thenanyu.com·1d·
Discuss: Hacker News
💾Retro Computing
Cargo-remark: view LLVM optimization remarks for Rust
github.com·2d·
Discuss: Hacker News
🛡️seL4
Conflict scenarios may increase cooperation estimates
lesswrong.com·1d
✓Automated Theorem Proving
AI in Government
schneier.com·1d·
Discuss: Hacker News
🩹Self-Healing Systems
A Study of Large Language Models for Patient Information Extraction: Model Architecture, Fine-Tuning Strategy, and Multi-task Instruction Tuning
arxiv.org·1d
🧩Parser Combinators
Towards Personalized Explanations for Health Simulations: A Mixed-Methods Framework for Stakeholder-Centric Summarization
arxiv.org·1d
🎮Verification Games
UAV-Based Intelligent Traffic Surveillance System: Real-Time Vehicle Detection, Classification, Tracking, and Behavioral Analysis
arxiv.org·1d
🩹Self-Healing Systems
Kangaroo: A Private and Amortized Inference Framework over WAN for Large-Scale Decision Tree Evaluation
arxiv.org·5d
🧠Automated Reasoning
Logic Theorist
en.wikipedia.org·4d·
Discuss: Hacker News
🧠Automated Reasoning
TraceLLM: Security Diagnosis Through Traces and Smart Contracts in Ethereum
arxiv.org·5d
📊Runtime Verification
Ask HN: Why no inference directly from flash/SSD?
news.ycombinator.com·1d·
Discuss: Hacker News
🔧Unikernel Development
We built an Artificial Brain that sleeps, dreams, and forms memories
github.com·1d·
Discuss: Hacker News
🩹Self-Healing Systems
Bootstrapping Task Spaces for Self-Improvement
arxiv.org·1d·
Discuss: Hacker News
📚Automata Learning
Are We SOLID Yet? An Empirical Study on Prompting LLMs to Detect Design Principle Violations
arxiv.org·5d
🎮Verification Games