bugzmanov's Feed · Scour

jamesg.blog·3h

🔍Static Analysis

What to focus on next

store.steampowered.com·14h·

Discuss: r/gamedev

Translated Timeline from Strategy Guide

imgur.com·11h

Patriots vs. Seahawks score prediction, picks, odds: Exact score for Big Game pays 150-1 on NFL betting apps

cbssports.com·1h

deepmind.google·1d

Boundary Engineering

cabreza.substack.com·21h·

Discuss: Substack

🔍Refinement Types

Automating Myself Out of My Job

blog.dsa.club·17h·

Discuss: Hacker News

🔍Static Analysis

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

Claude Opus 4.6 Finds 500+ High-Severity Flaws Across Major Open-Source Libraries

thehackernews.com·1d

AI Images for Business: Tools, Prompts, and Strategy

socialmediaexaminer.com·3d

How I Program with LLMs

blog.wesleyabbey.io·3d·

Discuss: Hacker News

🔍Symbolic Execution

ProAct: Agentic Lookahead in Interactive Environments

arxiv.org·1d

🔍Symbolic Execution

Layered Modal ML: Syntax and Full Abstraction

arxiv.org·3d

Pi 5 Powerhouse: Building the Ultimate ROS 2 Composite Bot

hackster.io·2d

Building Production-Grade Agentic AI Systems: A Comprehensive Guide

dev.to·6h·

Discuss: DEV

10 AI Automation Workflows That Save 10+ Hours/Week

dev.to·20h·

Discuss: DEV

Verifying coding AIs for LLM powered software

aunhumano.com·3d·

Discuss: Hacker News

📐formal specification

My AI Adoption Journey

mitchellh.com·2d·

Discuss: Lobsters, Hacker News, r/LocalLLaMA

The Kitchen Sink Engineer

blog.gorewood.games·1d

🔍Refinement Types

**Abstract:** Accurate and efficient genomic variant prioritization is a critical bottleneck in precision medicine and drug discovery. Traditional methods re...

freederia.com·1d

🔎Semantic Analysis

Monarch Casino: Capital Returns Today, Potential M&A Tomorrow (NASDAQ:MCRI)

seekingalpha.com

·23h

Loading more...