bugzmanov's Feed · Scour

BetVictor betting sign up offer: 50/1 odds Patriots or 30/1 odds Seahawks to Win Super Bowl

the-independent.com·14h

How to hedge a bubble, AI edition

economist.com

·6h

Fluorite Game Engine

fluorite.game·17m·

Discuss: Hacker News

Manton Reece - Read the code

manton.org·1d

Quantization-Aware Distillation

ternarysearch.blogspot.com·18h·

Discuss: Hacker News

🔍Refinement Types

I build a tool for describe the image you want， like expert

pixpretty.tenorshare.ai·4h·

Discuss: r/midjourney

A Trade Wars 2002 inspired pocket game

jarv.org·15m

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

impl Rust: Avro IDL tool in Rust via ANTLR

youtube.com·1d·

Discuss: Hacker News, r/rust

📐formal specification

I tried using Claude Cowork to organize 2,200 files in my Downloads folder

wonderingaboutai.substack.com·45m·

Discuss: Substack

Fyrox Game Engine 1.0 Release Candidate 2

fyrox.rs·4h

Running Pydantic’s Monty Rust sandboxed Python subset in WebAssembly

simonwillison.net·1d·

Discuss: Hacker News

Unsupervised Learning NO. 515

newsletter.danielmiessler.com·1d

I Asked AI to Audit My 40+ GitHub Projects and It Told Me to Stop Coding

dev.to·5h·

Discuss: DEV

🔍Static Analysis

Opus 4.6 + 13 AI Agents = Autopilot for Claude Code

dev.to·3d·

Discuss: DEV

The Machine Learned Our Language

medium.com·1d·

Discuss: r/programming

🔎Semantic Analysis

MiquelNasarre/chaotic: Chaotic ― 3D renderer for your crazy math projects in C++. Minimal bloat, minimal complexity, maximal fun!

github.com·3h·

Discuss: Hacker News

🔍Symbolic Execution

Regency Centers: Staying On The Sidelines On The Common Stock, But Don't Ignore Its Preferreds

seekingalpha.com

·1d

**Abstract:** This paper introduces a novel framework for automated verification of deformations applied to Hilbert polytopes, a crucial step in understandin...

freederia.com·3d

🔍Refinement Types

Big 12 fines Oklahoma State $50K for anti-Mormon chants during BYU game

nytimes.com

·59m

**Abstract:** This paper introduces a novel framework for Automated Calibration Uncertainty Propagation Modeling (ACUPM), addressing a critical bottleneck in...

freederia.com·2d

🔍Refinement Types

Loading more...