IRC Proceedings: Tuesday, September 23, 2025
techrights.org·12h
🦀MIR Optimization
Lax Space: Designing With Duct Tape and Everyday Chaos
tympanus.net·1d
💬Smalltalk VMs
BW21-CBV-Kit Development Kit Review - Bluetooth RGB Light
hackster.io·7h
💬REPL Design
Language is Political
jessicatalisman.substack.com·8h·
Discuss: Substack
🎮Language Ergonomics
Conversation with Claude on Reasoning
blog.yellowflash.in·20h·
Discuss: Hacker News, r/LLM
🔄Subinterpreters
Three Meanings of Effects
burakemir.ch·4d·
Discuss: Hacker News
💫Effect Systems
I Built a Compiler in Five Days with Claude AI
indiehackers.com·1d·
Discuss: Hacker News
🎭Program Synthesis
Ariadne’s Thread: Why a Catalog-First Approach Matters
medium.com·21h
🔍Search Algorithms
Broken Trust: Fixed Supermicro BMC Bug Gains a New Life in Two New Vulnerabilities
binarly.io·19h
🏷️Memory Tagging
Programming interest
reddit.com·22h·
Discuss: r/AskProgramming
🏗️Minimal Compilers
GitHub - shantur/jarvis-mcp: Bring your AI to life—talk to assistants instantly in your browser. Zero hasle, No API keys, No Whisper
github.com·5h·
Discuss: r/LocalLLaMA
⚡Live Programming
The Art of Simple Python Lists
dev.to·18h·
Discuss: DEV
🎭Racket
Automated Knowledge Synthesis & Evaluation Pipeline for Accelerated Discovery
dev.to·16h·
Discuss: DEV
🏗️MLIR
CPT-4DMR: Continuous sPatial-Temporal Representation for 4D-MRI Reconstruction
arxiv.org·9h
🏗️MLIR
OnePiece: Bringing Context Engineering and Reasoning to Industrial Cascade Ranking System
arxiv.org·1d
🏷️Attribute Grammars
Compressed Permutation Oracles
eprint.iacr.org·1d
🔗Hash Functions
Say what you mean
dev.to·3d·
Discuss: DEV
🔧Nickel
AC^0[p]-Frege Cannot Efficiently Prove that Constant-Depth Algebraic Circuit Lower Bounds are Hard
arxiv.org·1d
🧮Theorem Provers
Velocity Trapping in the Lifted Totally Asymmetric Simple Exclusion Process and the True Self-Avoiding Random Walk
journals.aps.org·1d
🧮Combinator Calculus
Book Review: Microsoft Copilot in Azure: AI-powered cloud automation and optimization
dev.to·4h·
Discuss: DEV
📋Task Queues