Most consensus libraries (Raft, Paxos) treat the state machine as a pure black box. This is fine until your state machine needs to actually do something, like charge a credit card, fire a webhook, or ...
I built this as a personal open-source project to explore how EU AI Act requirements can be translated into concrete, inspectable technical checks. The core idea is local-first compliance: – risk clas...
My name is Adrian. I'm a Software Engineer and I spent 6 years developing a perimeter-based geofence-based social media app. What it does: - Allows you to load a custom perimeter anywhere on the geogr...
I formalized the Single Source of Truth (SSOT) principle in Lean 4 (~2.1k LOC, zero sorry) and proved two core results: Structural SSOT is achievable only when a language provides definition-time hook...
OP here. I built RepoReaper to solve code context fragmentation in RAG. Unlike standard chat-with-repo tools, it simulates a senior engineer's workflow: it parses Python AST for logic-aware chunking, ...
What is this? Krowdovi is an open-source platform that lets anyone with a smartphone record first-person navigation videos of indoor spaces - hospitals, airports, malls, universities - and earn tokens...
Hi! I took a cheap $25 walmart phone and put a static server on it? Why? Just for a fun weekend project. I used Claude Code for most of the setup. I had a blast. It's running termux, andronix, nginx, ...
Article URL: https://bustermq.sh/ Comments URL: https://news.ycombinator.com/item?id=46449812 Points: 7 # Comments: 0...
Hi HN, I’m a new developer with Aphantasia (no mental imagery). A side effect of this is that regaining focus after a distraction takes me a long time (the "23-minute lag"). I tried standard binaural ...
Hey HN, We analyzed 4,010,957 Hacker News submissions to find what actually makes posts perform well. Key findings: - 93.2% of posts never hit 50 points - Top 1% starts at 270 points - Certain keyword...
i started the selenium project 21 years ago. vibium is what i'd build if i started over today with ai agents in mind. go binary under the hood (handles browser, bidi, mcp) but devs never see it. just ...
Let’s take bets on how much Hayao Miyazaki would hate this. You can't shake a stick without hitting an AI gadget at CES this year, with artificial smarts now embedded in just about every wearable, scr...
The button-like SwitchBot AI MindClip can be discreetly attached to your clothing, bag straps, or lanyards. SwitchBot is joining the AI voice recorder bandwagon, introducing its own clip-on gadget tha...
A rendering of Walmart's new corporate campus in Bentonville, Arkansas. Walmart Walmart is investing big bucks in its tech workforce as it looks to beef up its e-commerce business. A software engineer...
An Uber logo is shown on a rideshare vehicle during a statewide day of action to demand that ride-hailing companies Uber and Lyft follow California law and grant drivers "basic employee rights'', ...
The biggest tech show of the year kicks off next week, as some of the industry's top players show up to Las Vegas for CES 2026. We'll be there to see all the new product demos we can and to bring you ...
Mark Cuban urged entrepreneurs to focus on customers, embrace AI wisely, and protect their intellectual property in an uncertain economy. Clover Billionaire Mark Cuban is bullish about AI and believes...
I built a macOS menu bar app to track Claude usage in real time via API after hitting limits mid-flow too often. Signed and notarised by Apple. Open source. https://github.com/richhickson/claudecodeus...
I built this because Cursor, Claude Code and other agentic AI tools kept giving me tests that looked fine but failed when I ran them. Or worse - I'd ask the agent to run them and it would start loopin...
I built a tool that stores your full Claude Code history to let you easily find and resume sessions. It has TUI, CLI and MCP interfaces. It's a single Go binary, and the session history is synced to S...