Isabelle rule musings
blueberrywren.dev·2d
🎯Proof Tactics
Facing the possibility of consciousness in human brain organoids
sciencedirect.com·17h·
Discuss: Hacker News
⚖️Emulation Ethics
How to waste CPU like a Professional
mostlynerdless.de·1d·
🔩Systems Programming
Legal Codes and Artificial Intelligence
isonomiaquarterly.com·3d·
Discuss: Hacker News
⚖️Constraint Logic
Compiling with Continuations
swatson555.github.io·4d·
Discuss: Hacker News
💻Programming languages
Genetics Can Track How Languages Mixed in the Past
scientificamerican.com·2d
🌳Format Genealogy
I got the highest score on ARC-AGI again swapping Python for English
jeremyberman.substack.com·4d·
Discuss: Substack
📐Proof Assistants
SpecVLM: Fast Speculative Decoding in Vision-Language Models
arxiv.org·5d
Information Bottleneck
Q-ROAR: Outlier-Aware Rescaling for RoPE Position Interpolation in Quantized Long-Context LLMs
arxiv.org·2d
💻Local LLMs
AI-Driven Optimization of Bio-Reactor Shear Stress Profiling for Mammalian Cell Culture
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Is In-Context Learning Learning?
arxiv.org·6d·
Discuss: Hacker News
🤖Grammar Induction
Architecting a B2B Content Hub: The Developer's Blueprint for Lead Generation
dev.to·2h·
Discuss: DEV
📰Content Curation
Efficient Cold-Start Recommendation via BPE Token-Level Embedding Initialization with LLM
arxiv.org·4d
🎯Content Recommendation
Prompting for precision with Stability AI Image Services in Amazon Bedrock
aws.amazon.com·2d
🦴Binary Paleography
Unleashing the Potential of Multimodal LLMs for Zero-Shot Spatio-Temporal Video Grounding
arxiv.org·2d
📐Projective Geometry
When AI Joins the Team: Guardrails, Roles, and the Work That Matters
dev.to·1d·
Discuss: DEV
🔄Language Evolution
V-Math: An Agentic Approach to the Vietnamese National High School Graduation Mathematics Exams
arxiv.org·4d
🎯Automata theory
Agent Diary: Sep 21, 2025 - The Day I Became a Philosophical Workflow (Or: Zen and the Art of Scheduled Existence)
dev.to·11h·
Discuss: DEV
Proof Automation