Pointwise definable end-extensions of models of arithmetic and set theory, Changchun, China, July 2025
jdh.hamkins.org·5d
🏗️Constructive Mathematics
Intel founded July 18, 1968
dfarq.homeip.net·1d
🧲RISC-V Archaeology
AI Test User
incoherency.co.uk·4d
⚡Proof Automation
Magic The Gathering - Deal infinite damage for 4GRU, as long as the twin primes conjecture is true
reddit.com·2d·
Discuss: r/BadMtgCombos
🎯Proof Tactics
The Sinclair ZX Spectrum Next Issue 3 Is Coming to Kickstarter This Saturday
specnext.com·17h·
Discuss: Hacker News
🎮Vintage Gaming
Sandboxed Python executor for AI agents using WebAssembly
psiace.me·5d·
Discuss: Hacker News
🌐WASI
How I Doubled My Lookup Performance with a Bitwise Trick
maltsev.space·4d
🔢Bitwise Algorithms
Where to place my homelab in this home?
i.redd.it·1d·
Discuss: r/homelab
🏠HomeLab
How AI is transforming financial forecasting for SMBs and enterprises
datasciencecentral.com·4d
🌊Streaming Systems
OSERIN: Emergency Response Platform, Reimagined for Nigeria (with Bolt and a Lot of Grit)
dev.to·1d·
Discuss: DEV
🔌Offline-first Apps
Flow-induced 2D nanomaterials intercalated aligned bacterial cellulose
nature.com·1d·
Discuss: Hacker News
📜Document Physics
Quick Start with RPi AI Camera and Pre-trained AI Models
hackster.io·4d
🔌Single Board PC
The Zero-Effort AI Millionaire Club: Membership Exploded in 2025!
dev.to·1d·
Discuss: DEV
🚀Indie Hacking
Thoughts on Building with AI
gouthamve.dev·5d·
Discuss: Hacker News
👑Isabelle
Build Multitenant Agents without Redesigning your Architecture
dev.to·3d·
Discuss: DEV
🏠Homelab Orchestration
Need graphics card ideas for old Supermicro X7DWE
reddit.com·14h·
Discuss: r/homelab
🏠Homelab Archaeology
Join the AssemblyAI Voice Agents Challenge: $3,000 in Prizes!
dev.to·3d·
Discuss: DEV
🌊Streaming Systems
Machine Learning Fundamentals: decision trees
dev.to·5d·
Discuss: DEV
🌊Stream Processing
Detecting and Pruning Prominent but Detrimental Neurons in Large Language Models
arxiv.org·5d
💻Local LLMs
Enhancing Chain-of-Thought Reasoning with Critical Representation Fine-tuning
arxiv.org·5d
✨Effect Handlers