22.00.0127 Tags are dumb. I'm going to fix tags
johnnydecimal.com·5h
🔍Archive Semantics
Program verification is not all-or-nothing
lawrencecpaulson.github.io·2d
🎯Performance Proofs
LLMs to Blaze a Trail
blogger.com·4d
💾Persistence Strategies
Building smarter interactions with MCP elicitation: From clunky tool calls to seamless user experiences
github.blog·2d
⚔️Lean Tactics
Should you use AsyncLocalStorage? (2023)
eytanmanor.medium.com·3d·
Discuss: Hacker News
📲syncthing
vLLM with torch.compile: Efficient LLM inference on PyTorch
blog.vllm.ai·2d·
Discuss: Hacker News
🔩Systems Programming
How I Automated Parking Permit Purchases at GMU with Python
dev.to·2d·
Discuss: DEV
⚡Proof Automation
Why ML Needs a New Programming Language with Chris Lattner
signals-threads.simplecast.com·3d
🎵Audio ML
Simulating Justice: Unveiling Bias in Legal Systems with AI by Arvind Sundararajan
dev.to·5h·
Discuss: DEV
🏛Digital humanities
Are We Vibecoding Our Way to Disaster?
softwarearthopod.substack.com·2d·
Discuss: Substack
🧠Intelligence Compression
Evelyn – Early Prototype of a Local-First AI Voice Assistant
news.ycombinator.com·13h·
Discuss: Hacker News
🎙️Whisper
VulRTex: A Reasoning-Guided Approach to Identify Vulnerabilities from Rich-Text Issue Report
arxiv.org·2d
✅Format Verification
Generative AI Prompting: An Introduction to Text-to-Text AI
dev.to·3d·
Discuss: DEV
🎙️Whisper
AnomalyLMM: Bridging Generative Knowledge and Discriminative Retrieval for Text-Based Person Anomaly Search
arxiv.org·2d
🔍Information Retrieval
Cracking the Sparse Reward Code: Finding the Hidden Order in AI's Learning Signals
dev.to·21h·
Discuss: DEV
🔲Cellular Automata
AI Autopilot for Your Optimization Algorithms
dev.to·13h·
Discuss: DEV
⚡Incremental Computation
CausalARC: Abstract Reasoning with Causal World Models
arxiv.org·2d
✨Algebraic Effects
Should We Use LLMs As If They Were Swiss Knives?
towardsdatascience.com·2d
💻Local LLMs
Designing Effective AI Explanations for Misinformation Detection: A Comparative Study of Content, Social, and Combined Explanations
arxiv.org·2d
🤖AI Curation
Unlock the Black Box: AI-Powered Optimization for Any Problem
dev.to·1d·
Discuss: DEV
⚡Incremental Computation