News
AI, cybersecurity, machine learning, scraping & programming news.
Shelly’s new presence sensor simultaneously detects up to 10 people without a camera
Shelly, known for its $50 subscription-free security camera released last month, unveiled a new smart home automation accessory today. The Presence Gen4 sensor employs mmWave radar technology to detect presence, motions, and activ...
RenkuOS: Haiku OS forked with AI-assisted coding and LLM integrations
RenkuOS builds on Haiku for AI-enhanced development RenkuOS emerged in 2026 as an open source operating system derived from Haiku. The project started because developers found Haiku's speed and BeOS heritage appealing but encounte...
Show HN: Real Design Benchmark – can you tell AI designs from real products?
Design benchmark reveals gap in AI detection A new online benchmark called Real Design Benchmark has put AI-generated interfaces up against real product designs, asking participants to tell them apart. The results show that 41 per...
Janus (reversible computing programming language)
Janus: a reversible programming language born at Caltech Janus appeared in 1982 as a programming language designed to run computations in both forward and backward directions. The language was created at Caltech by Christopher Lut...
Barista: Synthesizing Typestate Specifications with LLM Agents
Barista turns Javadoc into compile-time typestate checks At the 41st IEEE/ACM Automated Software Engineering conference in Munich, researchers presented Barista a system that extracts protocol rules from Java documentation and con...
Show HN: MoneySwitch – AI agents pay x402 APIs in USDC (self-hosted)
MoneySwitch puts spending keys in every AI agent's hands October 2026 saw the release of MoneySwitch v0.7.6, a self-hosted Web3 wallet designed specifically for AI agents that need to make payments. Created by hecare, the system g...
Show HN: How to Use LLMs
Sidelong turns chat threads into a sideways deck of topic-colored pages A new chat interface called Sidelong arranges question-and-answer pairs as pages laid out sideways on the screen. The open page sits in the middle, while olde...
Five Possible Backdoors into LLM Search Results
AI search visibility reshapes publisher strategy The rise of AI summaries in search results has upended traditional traffic patterns. Publishers large and small now seek placement in the attention of Large Language Models that pow...
The Verifiability Gap in Quantized LLM Supply Chains
Signing weights does not guarantee running the same model An October 2026 arXiv preprint reveals a verifiability gap in how quantized LLMs are distributed and used. The paper, titled "What You Sign Is Not What You Run: The Verifia...
Show HN: Give (low vRAM) local sLLMs codebase-wide context with SQLite (attempt)
arcKode brings structural understanding to local AI coding Most local AI coding tools treat a project as a flat wall of text. arcKode takes a different approach. It parses the codebase with Tree-sitter to build a live symbol graph...