bugzmanov's Feed · Scour

How prediction market traders reinvented the bond

ft.com

·1d

silvestar.codes·1d

The Agentic Inversion Principle

mikebrevoort.com·17h·

Discuss: Hacker News

🔄Concurrency Models

llOOPy lOOPs (Dave Jarvis)

dave.autonoma.ca·1d

🔄Concurrency Models

Testing can be fun, actually

giacomocavalieri.me·22h·

Discuss: Hacker News

🔍Static Analysis

C Isn't A Programming Language Anymore

faultlore.com·1d·

Discuss: Hacker News

Boost LLM Security: automated Red Teaming at Scale with Promptfoo

blog.nviso.eu·2d

📐formal specification

OpenCode: an Open-source AI Coding Agent Competing with Claude Code and Copilot

infoq.com·2d

Claude Opus 4.6 extra usage promo

support.claude.com·1d·

Discuss: Hacker News

AI Autotagger v10 now available (BIG update)

community-en.eagle.cool·1d·

Discuss: r/EagleCool

Turning Coding Tasks into Feedback Loops

feipeng.substack.com·1d·

Discuss: Substack

🔍Symbolic Execution

RocqSmith: Can Automatic Optimization Forge Better Proof Agents?

arxiv.org·1d

🔍Symbolic Execution

On the Reachability Problem for One-Dimensional Thin Grammar Vector Addition Systems

arxiv.org·1d

A CLI that auto-generates context files for AI coding assistants

dev.to·1d·

Discuss: DEV

From CLI to GitHub Bot: Building a Code Management AI for Python

dev.to·6h·

Discuss: DEV

🔍Symbolic Execution

Claude Code tips directly from the creators

x.com·5d·

Discuss: X

Claude Opus 4.6 Just Did What No AI Model Has Ever Done Before

ucstrategies.com·1d

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

michaelhelvey/lilfuture: Educational async runtime for Rust

github.com·1d

## Hyper-Dimensional Risk Assessment & Automated Compliance Framework for Hybrid Regulatory Landscapes in 가상자산의 법적 지위 확립과 투자자 보호 제도

freederia.com·1d

🔎Semantic Analysis

3 Monster Stocks to Hold for the Next 10 Years

finance.yahoo.com·21h

Loading more...