Abstract algebra structures made easy
blog.sesse.net·1d
🔄Category Theory
KORG_ARP_2600_1.1.6.dmg
xmac.app·1d
🏗Computer Architecture
Minimal Autopoiesis in an AI System
schwitzsplinters.blogspot.com·1d·
Discuss: www.blogger.com
🤖Sci-Fi
Cactus Language • Pragmatics 13
inquiryintoinquiry.com·4d
🧮Programming Language Theory
State of torch.compile for training (August 2025)
blog.ezyang.com·2d·
Discuss: Hacker News
🔗Parser Combinators
Football Daily | A new Premier League season rolls off the assembly line with subplots galore
theguardian.com·1d
🧮Programming Language Theory
PVS-Studio 7.38: new C++ analyzer core, user annotations in Java, enhanced taint analysis, and more
dev.to·2d·
Discuss: DEV
🔍Static Analysis
⭐ JackMcKew python-interrogate-check
waylonwalker.com·6h
🧮Programming Language Theory
Automated Ethical Review of Genomic Editing Clinical Trials via Multi-Modal Reasoning
dev.to·3d·
Discuss: DEV
🧩Theorem Proving
Wisdom of the Crowd, Without the Crowd: A Socratic LLM for Asynchronous Deliberation on Perspectivist Data
arxiv.org·2d
🎲Probabilistic Programming
⭐ gradio-app gradio
waylonwalker.com·7h
🔗Parser Combinators
⭐ grantjenks python-c2f
waylonwalker.com·7h
🧮Programming Language Theory
Automated Semantic Validation & Refinement of Scientific Literature using Dynamic Graph Neural Networks
dev.to·2d·
Discuss: DEV
🔢Mathematical Logic
Single Responsibility Principle
dev.to·1d·
Discuss: DEV
👐Open Source Software
Can we please stop judging AI coding models based on one-shot attempts?
reddit.com·1d·
Discuss: r/ClaudeAI
🔗Parser Combinators
High-Performance Routing System Design and Implementation(5488)
dev.to·3d·
Discuss: DEV
🦀Rust
Dungeon Crawler World
reddit.com·18h·
Discuss: r/roguelikedev
🦀Rust
The fixed length bottleneck and the feed forward network
gilesthomas.com·2d·
Discuss: Hacker News
🔗Parser Combinators
Enhanced Algorithmic Optimization for Sustainable Aquaculture Feed Production via Multi-Modal Data Fusion
dev.to·2d·
Discuss: DEV
🎲Probabilistic Programming
Day 3: Dual-Ingestion Architecture - When Two Data Paths Are Better Than One
dev.to·22h·
Discuss: DEV
🔍Static Analysis