The Language of the Black Parade
blambot.com·19h·
Discuss: Hacker News
🔠Terminal Fonts
Sandy Maguire: Theorems for Free Redux
reasonablypolymorphic.com·2d·
Discuss: Hacker News
λLambda Encodings
The Wild Vibe
jarv.org·5h·
Discuss: Hacker News
🌀Brotli Internals
Paper2Agent: Research Papers as Interactive AI Agents
huggingface.co·1d·
Discuss: Hacker News
🤖AI Curation
From RNNs to ChatGPT: The Paper That Changed How AI Thinks 🤖
dev.to·1d·
Discuss: DEV
🎧Learned Audio
Which Heads Matter for Reasoning? RL-Guided KV Cache Compression
arxiv.org·1d
📼Cassette Combinators
The Alignment Waltz: Jointly Training Agents to Collaborate for Safety
arxiv.org·1d
🔲Cellular Automata
Unlocking AI Efficiency: Harnessing Symmetry for Lightning-Fast Optimization
dev.to·3h·
Discuss: DEV
Z3 Optimization
TALENT: Table VQA via Augmented Language-Enhanced Natural-text Transcription
arxiv.org·2d
🎙️Whisper
SliceMoE: Routing Embedding Slices Instead of Tokens for Fine-Grained and Balanced Transformer Scaling
arxiv.org·4d
🧮Kolmogorov Complexity
Responsible Vibe Coding
dev.to·10h·
Discuss: DEV
📏Code Metrics
Cactus Language • Semantics 2
inquiryintoinquiry.com·3d
🔢Denotational Semantics
Activation Alchemist: Sculpting Stability with Functional Signatures
dev.to·1d·
Discuss: DEV
🔍Concolic Testing
Probing Social Identity Bias in Chinese LLMs with Gendered Pronouns and Social Groups
arxiv.org·2d
🇨🇳Chinese Computing
An enough week
blog.mitrichev.ch·2d·
🧮Z3 Solver
Expanding the Action Space of LLMs to Reason Beyond Language
arxiv.org·1d
💻Local LLMs
The Rise of the Knowledge Sculptor: A New Archetype for Knowledge Work in the Age of Generative AI
arxiv.org·1d
🗺️Competency Maps
GNN Predictions: Hidden Bugs and the Verification Nightmare by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
⚙️Proof Engineering
Memgoose – An In-Memory Mongoose Impersonator
github.com·15h·
Discuss: Hacker News
🔄Sync Engine