Can AI Co-Design Distributed Systems? Scaling from 1 GPU to 1k
harvard-edge.github.io·9h·
Discuss: Hacker News
🎯Performance Proofs
Building the Reasoning Engine at Axiom
axiommath.ai·12h·
Discuss: Hacker News
⚔️Lean Tactics
I built a translator for spatial thinking (because I can't interview in Python)
graemefawcett.ca·12h·
Discuss: Hacker News
🔗Concatenative Programming
Show HN: Realization Jsmn on a Pure Zig
github.com·22h·
Discuss: Hacker News
🔗Concatenative Programming
Ethical AI Oversight for Predictive Genetic Counseling: A Framework for Algorithmic Fairness & Patient Trust
dev.to·1d·
Discuss: DEV
⚖️Hoare Logic
GNN Predictions: Hidden Bugs and the Verification Nightmare by Arvind Sundararajan
dev.to·9h·
Discuss: DEV
⚙️Proof Engineering
On some 2-binomial coefficients of binary words: geometrical interpretation, partitions of integers, and fair words
arxiv.org·2d
📜Manuscript Algebras
VLLM Predicted Outputs
cascadetech.ai·11h·
Discuss: Hacker News
💻Local LLMs
SliceFine: The Universal Winning-Slice Hypothesis for Pretrained Networks
arxiv.org·1d
🧠Neural Codecs
Nearest Neighbor CCP-Based Molecular Sequence Analysis
arxiv.org·1d
🔄Burrows-Wheeler
TALENT: Table VQA via Augmented Language-Enhanced Natural-text Transcription
arxiv.org·2d
🎙️Whisper
Automated Fault Isolation & Healing in Linear Control Systems via Multi-Modal Data Fusion & Reinforcement Learning
dev.to·1h·
Discuss: DEV
🛡️Error Boundaries
Parameterized Complexity of s-Club Cluster Edge Deletion
arxiv.org·2d
🧮Kolmogorov Complexity
Building Self-Correcting Database Agents with Meta's Llama-4-Scout: From Natural Language to SQL Insights
dev.to·1d·
Discuss: DEV
🗄️Database Internals
INFER : Learning Implicit Neural Frequency Response Fields for Confined Car Cabin
arxiv.org·1d
👂Psychoacoustic Coding
LLM Optimization Notes: Memory, Compute and Inference Techniques
gaurigupta19.github.io·4d·
Discuss: Hacker News
💻Local LLMs
Relational Database Distillation: From Structured Tables to Condensed Graph Data
arxiv.org·2d
📊Graph Databases
Beyond Grid-Locked Voxels: Neural Response Functions for Continuous Brain Encoding
arxiv.org·1d
🧠Neural Codecs
Gravitational Wave Anomaly Detection via Optimized Fourier-Phase Analysis
dev.to·16h·
Discuss: DEV
📡Frequency Archaeology
ParsTranslit: Truly Versatile Tajik-Farsi Transliteration
arxiv.org·1d
📜Digital Philology