The theorem on formal functions
math.columbia.edu·8h
⚔️Lean Theorem
DOTADIW (Do One Thing and Do It Well)
brajeshwar.com·3d
🐚Shell Calculus
Get started with folder automation in macOS Tahoe
sixcolors.com·12h
🤖Archive Automation
How Do We Learn Complex Skills? Understanding Act-R Theory
scotthyoung.com·1d·
Discuss: Hacker News
🔲Cellular Automata
Sandboxing AI-Generated Code: Why We Moved from WebR to AWS Lambda
quesma.com·3d·
Discuss: Hacker News, r/programming
🛡️WASM Sandboxing
DoubleAgents: Fine-Tuning LLMs for Covert Malicious Tool Calls
pub.aimind.so·2d·
Discuss: Hacker News, r/LLM
💻Local LLMs
The "high-level CPU" challenge
yosefk.com·3d·
Discuss: Lobsters, Hacker News, Hacker News
⚡CPU Microarchitecture
Rediscovering Microsoft’s Oddball Music Generator From The 1990s
hackaday.com·1d
🎹MIDI Archaeology
Show HN: Astro Personal Portfolio and Blog with Perfect Lighthouse Scores
github.com·1d·
Discuss: Hacker News
🦋Format Metamorphosis
\(X\)-evolve: Solution space evolution powered by large language models
arxiv.org·4d
🛠Language Design
Transformer-Mediated Immune Cell Self/Non-Self Discrimination via Contextualized Peptide Motif Analysis
dev.to·3h·
Discuss: DEV
📈Mutual Information
The AI Debugger That Understands My Stack Better Than I Do
dev.to·17h·
Discuss: DEV
⚡Proof Automation
This Candidate is [MASK]. Prompt-based Sentiment Extraction and Reference Letters
arxiv.org·1d
⚙️Compression Benchmarking
Smart City Water Leak Detection via Acoustic Anomaly Fusion & Reinforcement Learning
dev.to·7h·
Discuss: DEV
🎼Acoustic Analysis
Introducing SteelThread: Evals & Observability for Reliable Agents
dev.to·1d·
Discuss: DEV
👁️System Observability
AI-Driven Surrogate Modeling for Enhanced Thermal-Fluid-Structural Optimization of Multifunctional Heat Sinks
dev.to·8h·
Discuss: DEV
🌐Computational Topology
PersonaEval: Are LLM Evaluators Human Enough to Judge Role-Play?
arxiv.org·1d
🏛Digital humanities
Enhancing Public Speaking Proficiency via Adaptive Neural Textual Feedback & Dynamic Vocal Modulation
dev.to·3d·
Discuss: DEV
🤖Grammar Induction
Efficient Differentiable Hardware Rasterization for 3D Gaussian Splatting
arxiv.org·2d
🌊Streaming Algorithms
🚀 Introducing AetherCode: Your Offline AI Coding Assistant!
dev.to·1d·
Discuss: DEV
🏛️Agda