For GMTK we made a crochet game about how small events turn into one big life
itch.io·1d·
Discuss: r/godot
💾Retrocomputing
The Hyperallergic Art Crossword: Public Art Edition
hyperallergic.com·12h
🔢Mathematical Logic
How Teen Mathematician Hannah Cairo Disproved a Major Conjecture in Harmonic Analysis
scientificamerican.com·17h
🔄Category Theory
Detection Engineering: Practicing Detection-as-Code – Validation – Part 3
blog.nviso.eu·3h
✅Formal Verification
3D Line Drawings
amritkwatra.com·10h·
Discuss: Hacker News
🎲Probabilistic Programming
Topological AI enables interpretable inverse design of catalytic active sites
phys.org·18h
🕸️Graph Theory
Building a Multi-Modal GPT Agent in TypeScript with OpenAI
blog.designly.biz·1d·
Discuss: r/reactjs
🎲Probabilistic Programming
“Momentism”: Ethics for Boltzmann Brains
lesswrong.com·8h
📊Information Theory
Show HN: Semi Intelligence – Instant. Tiny. Lightweight
github.com·3h·
Discuss: Hacker News
🎲Probabilistic Programming
AI Can Do a Lot—but Still Seems Totally Stumped by Sudoku
inc.com·1d
🧭SMT Solvers
How to Handle Multiple Assignment and Unpacking
dev.to·1d·
Discuss: DEV
⚖️Logic Programming
Check my new Blog Post
dinaroxentool.blog·1d·
Discuss: r/LLM
🧩Theorem Proving
S e r v i c e N o w: Oversimplification
dev.to·1h·
Discuss: DEV
🧠Memory Management
CPU Powerhouses: Unlocking Speed with ALUs, FPUs, and Parallelism
dev.to·1d·
Discuss: DEV
🏗Computer Architecture
Register Anything: Estimating "Corresponding Prompts" for Segment Anything Model
arxiv.org·6h
🎲Probabilistic Programming
An equivalence between time-symmetry and cyclic causality in quantum theory
arxiv.org·6h
🔐Cryptography
MOPrompt: Multi-objective Semantic Evolution for Prompt Optimization
arxiv.org·6h
🔗Parser Combinators
Lightweight Backbone Networks Only Require Adaptive Lightweight Self-Attention Mechanisms
arxiv.org·6h
🔗Parser Combinators
From Monolingual to Bilingual: Investigating Language Conditioning in Large Language Models for Psycholinguistic Tasks
arxiv.org·6h
🔗Parser Combinators
Hyperproperty-Constrained Secure Reinforcement Learning
arxiv.org·1d
🔐Cryptography