bugzmanov's Feed · Scour

rlsbb.ru·20h

Mike Ditka’s ‘Bears’ Super Bowl 20 worn sweater vest sells for $183,000

nytimes.com

·1d

10-Part Series on Breadth-First Traversals in Haskell

doisinkidney.com·3d·

Discuss: Hacker News

Neuro-Symbolic AI Steps Up To Produce Robust Mental Health Treatment Plans

forbes.com

·2h

🔍Symbolic Execution

Show HN: Simple Helpdehk tool for small software teams

aidkit.co·1h·

Discuss: Hacker News

StatLLM: A Dataset for Evaluating the Performance of Large Language Models in Statistical Analysis

nature.com·2d

Claude Code hooks: a bookmarkable guide to git automation | by JP Caparas | Feb, 2026

jpcaparas.medium.com

·2d

ERC-8004: A Trustless Agent Standard for On-Chain AI in Avalanche C-Chain

medium.com·1d

📐formal specification

IntentRefiner: AI-Powered Issue Refinement for Faster Support Automation

dev.to·11h·

Discuss: DEV

🔎Semantic Analysis

I had two projects solving the same problem. I merged them and published to npm in a day

dev.to·1d·

Discuss: DEV

🔍Static Analysis

RAG vs. Fine-Tuning: Why Your LLM Strategy is Probably Half-Baked

pub.towardsai.net

·4h

📐formal specification

AI fatigue Is real and nobody talks about it

siddhantkhare.com·1d·

Discuss: Lobsters, Hacker News

How to Debug Rust with Visual Studio Code

forrestthewoods.com·1d

🔍Static Analysis

github.com·8h

🔍Symbolic Execution

Tip of the Week #109: Meaningful `const` in Function Declarations

abseil.io·1d

Tip of the Week #177: Assignability vs. Data Member Types

abseil.io·1d

🔍Refinement Types

OpenAI launches Frontier platform for managing enterprise AI agents

kite.kagi.com·3d

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

ReflectCxx/ReflectionTemplateLibrary-CPP: Powerful C++ runtime reflection with compile-time guarantees – and ZERO performance compromise.

github.com·2d·

Discuss: r/AskProgramming

🔍Refinement Types

Ferrovial: Current Valuation Is Unattractive, Hold Until 2026 (NASDAQ:FER)

seekingalpha.com

·1h

**Abstract:** This research introduces an automated protocol optimization framework for enhancing the performance of cryogenic quantum annealers (CQAs). Leve...

freederia.com·2d

🔍Symbolic Execution

Loading more...