bugzmanov's Feed · Scour

On The Crank Spectrum

exple.tive.org·18h

🔍Refinement Types

Open Molten Claw

idiallo.com·1d

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

The Future of Systems

novlabs.ai·8h·

Discuss: Hacker News

🔍Static Analysis

The new Home Assistant, a Plex app replacement, Google Home's automation upgrade, and more: News roundup

howtogeek.com·4h

Your AI Agent Has No Armor: A Technical Security Analysis of OpenClaw

evil.example.com·13h·

Discuss: DEV

📐formal specification

We are QA Engineers now

serce.me·2d·

Discuss: Lobsters, Hacker News, r/programming

📐formal specification

Give Your Agent a Language Server

blog.gorewood.games·4h

Why your AI output feels generic (it's not your prompting) + 4 prompts to fix it plus an AI customization guide

natesnewsletter.substack.com

·2d·

Discuss: Substack

Prediction markets are booming. Some lawmakers are betting against them.

businessinsider.com

·8h

Show HN: Sweep, Open-weights 1.5B model for next-edit autocomplete

news.ycombinator.com·14h·

Discuss: Hacker News

Continuous AI in practice: What developers can automate today with agentic CI

github.blog·2d

🔍Symbolic Execution

Artificial Intelligence News for the Week of February 6; Updates from OpenAI, Cerebras Systems, Opsera & More

solutionsreview.com·21h

Agent development workflow

coreweave.com·2d

Towards Green AI: Decoding the Energy of LLM Inference in Software Development

arxiv.org·1d

🔍Symbolic Execution

RAL-Bench: Benchmarking for Application-Level Functional Correctness and Non-Functional Quality Attributes

arxiv.org·3d

📐formal specification

10 AI Automation Workflows That Save 10+ Hours/Week

dev.to·22h·

Discuss: DEV

Is Your "Stability" Actually Killing Your Growth? The Shift from Brittle Scripts to Agentic Loops

dev.to·1d·

Discuss: DEV

🔍Symbolic Execution

camel-ai/seta-env: 💻 SETA: Scaling Environments for Terminal Agents - Environments

github.com·1d·

Discuss: r/LocalLLaMA

📐formal specification

Show HN: 32KB deductive engine that catches LLM hallucinations

news.ycombinator.com·3d·

Discuss: Hacker News

🔎Semantic Analysis

gabrywu-public/knowledge-bank: An intelligent knowledge management system for Claude Code that automatically captures, stores, and retrieves development knowledge during your coding sessions.

github.com·2h·

Discuss: Hacker News

Loading more...