Shoot, Move, Communicate
ihoka.me·2d·
Discuss: Hacker News
⚙Operational Semantics
Zero Trust in Reverse: Why the Definition of Zero Trust Is Only Half Full
threatresearch.ext.hp.com·18h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
React Data List: Building Virtualized UIs Declaratively
attio.com·37m·
Discuss: Hacker News
📊Runtime Verification
Goals per Week: A Proven Productivity Method for Stem Professionals – Execute3
execute3.com·2d·
Discuss: Hacker News
🏹Effect Systems
sqlalchemy check constraints and operator precedence
blog.kobaltlabs.com·5d·
Discuss: Hacker News
🔍Formal Verification
Show HN: Sphinx – the Jupyter-native AI copilot for data scientists
sphinx.ai·2d·
Discuss: Hacker News
🧠Automated Reasoning
Hnfm: Building a local-first AI podcast generator for Hacker News
briancaffey.github.io·1d·
Discuss: Hacker News
🐳Containerization
The Margins of Cybernetics (1963)
blog.outlandish.claims·2d·
Discuss: Hacker News
🩹Self-Healing Systems
How many federal agencies does it take to regulate AI? Enough to hold back implementation
theregister.com·20h·
Discuss: Hacker News
📚Automata Learning
I built an AI tool that converts invoices into clean Excel sheets
smartinvoice.tech·20h·
Discuss: Hacker News
🧠Automated Reasoning
From Vision to Validation: A Theory- and Data-Driven Construction of a GCC-Specific AI Adoption Index
arxiv.org·2d
🤖Program Synthesis
Another Turn, Better Output? A Turn-Wise Analysis of Iterative LLM Prompting
arxiv.org·2d
🧩Parser Combinators
Students' Perception of LLM Use in Requirements Engineering Education: An Empirical Study Across Two Universities
arxiv.org·2d
⚙Operational Semantics
Show HN: Robot MCP Server – Connect Any Language Model and ROS Robots Using MCP
github.com·1d·
Discuss: Hacker News
🏠HomeLab
You are not going to turn into Google eventually
idiallo.com·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
The Ethical Compass of the Machine: Evaluating Large Language Models for Decision Support in Construction Project Management
arxiv.org·3d
🧠Automated Reasoning
The Aider Local Model Experience
hexeditreality.com·5d·
Discuss: Hacker News
🛡️seL4
Automated Hierarchical Graph Construction for Multi-source Electronic Health Records
arxiv.org·2d
🧠Automated Reasoning
Building An AI-Agnostic Conversation Logger - Phase 4: Mini-Me
blog.scottlogic.com·2d·
Discuss: Hacker News
👁️System Observability
New parametric CAD BREP kernel attempt
github.com·2d·
Discuss: Hacker News
🐫OCaml