🔬 Agda - merp · Scour

Ω-Theory: Machine-Verified Algebraic Framework (formal paper, 2026-05-04) 📐Type Theory

ramzesx.github.io·4d·Hacker News

flathub.org·1d

Demons & Dungeoneers! Deal of Day Treants! [BUNDLE] 🌲Tree-sitter

drivethrurpg.com·3d

openDAW 🔗HTMX

opendaw.org·4d

Kinetic Event-Chain Algorithm for Active Matter 💫Effect Systems

Asd 📐Type Theory

news.ycombinator.com·6d·Hacker News

Aaavatar 🏔AlpineJS

producthunt.com

·4d

Wake Forest, Syracuse to open 2027 season in Toronto as ACC continues to expand internationally ✨Gleam

·1d

GM class action alleges defective 10-speed transmissions cause shifting issues, power loss 🧮Algebraic Effects

topclassactions.com·3d

Balanced Aggregation: Understanding and Fixing Aggregation Bias in GRPO 🔗Dependent Types

Welcome to TERA Discussions -Structure, Logic, and Responsible Evaluation · Yggdrasilcsui TERA 💎Refinement Types

github.com·4d·Hacker News

Kega Fusion 💾Retro Computing

flathub.org·4d

Nelly Korda wins Riviera Maya Open to continue her blazing start to LPGA season ✨Gleam

·4d

OpenTodoList 🌲Tree-sitter

flathub.org·5d

Universal Smoothness via Bernstein Polynomials: A Constructive Approximation Approach for Activation Functions 📏Linear Types

Packers signing veteran QB Tyrod Taylor: Source 🎨CSS

·4d

Ravens to sign QB Skylar Thompson. What does it mean for Diego Pavia? ✨Gleam

·4d

The 2026 ACII Dyadic Conversations (DaiKon) Workshop & Challenge 💫Effect Systems

Log in to enable infinite scrolling