What writing a failed rock-paper-scissors program taught me (or should have taught me) about sample size and uncertainty
statmodeling.stat.columbia.edu·21h
🧮Kolmogorov Bounds
My Current AI Dev Workflow
steipete.me·1d
⚡Proof Automation
Quality Precision
lesswrong.com·17h·
Discuss: Hacker News
✅FLAC Verification
Securing Kubernetes Layer by Layer: An OSI Approach
reddit.com·14h·
Discuss: r/kubernetes
📦Container Security
Stable, Mutable References for Ante
antelang.org·22h·
Discuss: Lobsters, Hacker News, r/programming
🔒Type Safety
WeakC4, or Distilling an Emergent Object
2swap.github.io·3d·
Discuss: Hacker News
🔲Cellular Automata
The Lobster Programming Language
strlen.com·16h·
Discuss: Hacker News
🔗Concatenative Programming
LLMs are NOT Turing Complete (at train time), we need "train time recurrence"
fchaubard.github.io·3d·
Discuss: Hacker News
📼Tape Combinators
[P] aligning non-linear features with your data distribution
reddit.com·1d·
Discuss: r/MachineLearning
🧠Machine Learning
Advances in Machine Learning: Uncertainty, Scalability, Fairness, and Human-AI Collaboration in Recent cs.LG Research fr
dev.to·2d·
Discuss: DEV
🧠Machine Learning
Parallel Nodal Interior-Penalty Discontinuous Galerkin Methods for the Subsonic Compressible Navier-Stokes Equations: Applications to Vortical Flows and VIV Pro...
arxiv.org·7h
⚡Effectful Programming
Graph-R1: Incentivizing the Zero-Shot Graph Learning Capability in LLMs via Explicit Reasoning
arxiv.org·7h
💻Local LLMs
On the Edge of Memorization in Diffusion Models
arxiv.org·7h
📊Learned Metrics
A Dynamic Approach to Collaborative Document Writing
arxiv.org·7h
🔗Parser Combinators
MMTok: Multimodal Coverage Maximization for Efficient Inference of VLMs
arxiv.org·7h
🧮Kolmogorov Complexity
NinA: Normalizing Flows in Action. Training VLA Models with Normalizing Flows
arxiv.org·7h
🎙️Whisper
Collaborative-Online-Learning-Enabled Distributionally Robust Motion Control for Multi-Robot Systems
arxiv.org·7h
🤝Consensus Networks
Effective Clustering for Large Multi-Relational Graphs
arxiv.org·7h
🌊Spectral Clustering
Systematic LLM Prompt Engineering Using DSPy Optimization
towardsdatascience.com·19h
⚡Proof Automation
Adaptive DDoS Mitigation via Hyper-Dimensional Signature Correlation & Dynamic Recursion
dev.to·2d·
Discuss: DEV
👁️Observatory Systems