enimihil's Feed · Scour

OpenCode: an Open-source AI Coding Agent Competing with Claude Code and Copilot

infoq.com·1d

📖open source

**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically Raft, using Lean 4 and dependen...

freederia.com·17h

🔀distributed systems

Valentine’s Day is coming. Here’s how to wrap awkwardly-shaped presents, from bottles to jumpers

telegraph.co.uk·1h

An Update on Heroku

simonwillison.net·14h

🏠self-hosting

Google Home just leveled up, and I’m convinced this is what users needed all along

androidcentral.com

·3d

🤖home automation

Semantic HTML: For beginners Part 1

dev.to·1d·

Discuss: DEV

Emergence-as-Code for Self-Governing Reliable Systems

arxiv.org·1d

🧩software architecture

Infrastructure Before Features: Building the Right Things First

dev.to·20h·

Discuss: DEV

🧩software architecture

I automated my morning routine with one $15 device

makeuseof.com·2d

🤖home automation

Home Assistant 2026.2 Brings the New Home Dashboard, Quick Search, New Integrations, and More

hackster.io·1d

🤖home automation

With GPT-5.3-Codex, OpenAI pitches Codex for more than just writing code

arstechnica.com·1d

📖open source

Marry Me Chicken Recipe (with Video)

cooking.nytimes.com

·1d

Sign up or login to customize your feed and get personalized topic recommendations

hsutter/cppfront: A personal experimental C++ Syntax 2 -> Syntax 1 compiler

github.com·1d·

Discuss: r/cpp

Structured outputs on Amazon Bedrock: Schema-compliant AI responses

aws.amazon.com·12h

🧩software architecture

Thread by @billybinion on Thread Reader App

threadreaderapp.com·1d

YouTube Makes Auto-Dubbing Available To All Creators Worldwide

ghacks.net·1d

Surajkumar5050/zyron-assistant: ⚡ A local, privacy-focused AI desktop assistant for Windows. Control your PC remotely via Telegram or locally with Voice commands. Powered by Ollama.

github.com·1d·

Discuss: Hacker News, r/linux

🤖home automation

Naughty is Nice!

yamlscript.org·3h

💻programming

Short Circuit: An inexhaustive weekly compendium of rulings from the federal courts of appeal

reason.com·12h

This is the Home Assistant automation I run that my family actually loves

xda-developers.com·3d

🤖home automation

Loading more...