🔁 Finite Automata - emschwartz · Scour

Intersecting Dense Automata 🧮SMT Solvers

Make It Blink: Over-the-Air Exploitation of the Philips Hue Bridge 🔗Zigbee Protocol

synacktiv.com·6d·Hacker News

Less-relevant results

yankouskia/hurried: ⚡️ JavaScript library for parallel code execution :twisted_rightwards_arrows: 🧵Async

github.com·2d·Hacker News

Framework-agnostic design systems: a practical approach to web components 🎨Design Tokens

piccalil.li·8h·Hacker News

Tymewear VitalPro: A Next Generation training Strap? ⚡Performance

the5krunner.com·2d

TEF proposals' radical reconfiguration of quality risk destabilising the sector – here's the fix 🌐Municipal Broadband

Resident: vibe coding firmware (our new sandbox library for ESP32 devices) 🔐Hardware Security

interconnected.org·1d·Hacker News

SDOF: Taming the Alignment Tax in Multi-Agent Orchestration with State-Constrained Dispatch 🤝Multi-Agent Orchestration

ERufian/ksharp: Vector calculator and language inspired on K 🎨ChromaDB

github.com·4d·Hacker News

DuIVRS-2: An LLM-based Interactive Voice Response System for Large-scale POI Attribute Acquisition 🔤Tokenization

The-Pocket/PocketFlow: Pocket Flow: 100-line LLM framework. Let Agents build Agents! 🏗️LLM Infrastructure

Ranking Opinions with Few States in Population Protocols 👑Leader Election

vercel-labs/zerolang: The programming language for agents 🔧Agent Tooling

github.com·1d·Hacker News, Hacker News

Do CFLOBDDs Actually Make Use of Linear Structure? 📏Linear Types

Cross-View Attention Fusion Net: A Prior-Guided Dual-View Representation Learning for Cardiac Output Estimation from Short-Term PPG Signals 📊Embeddings

Is Agentic AI Ready for Real-World Hardware Engineering? A Deep Dive with Phoenix-bench 🔧Agent Tooling

#CFG and #DNNF admit FPRAS 🧮SMT Solvers

Combinatorial manifolds and Kleene's theorem, homotopically 💻Programming languages

Support Before Frequency in Discrete Diffusion 🧠LLM Inference

Cypher is Turing-Complete: A Formal Proof via 2-Counter Machine Simulation 🧮SMT Solvers

Log in to enable infinite scrolling