Complex knots can actually be easier to untie than simple ones
newscientist.com·8h
🕸️Algebraic Topology
AI from Google Cloud steps up to the plate at the MLB All-Star Game
blog.google·3h
🔲Cellular Automata
Understanding TypeScript A Beginner-Friendly Dive Into Types
blog.codeminer42.com·2h
🎯Gradual Typing
How Roblox Uses AI to Moderate Content on a Scale
corp.roblox.com·20h·
Discuss: Hacker News
🔃Feed Algorithms
The FC/FC Chasm: Why Teaching Programming Still Matters
blog.charliemeyer.co·4h·
Discuss: Hacker News
💻Programming languages
Rethinking Prompt Optimization: Reinforcement, Diversification, and Migration in Blackbox LLMs
arxiv.org·15h
💻Local LLMs
Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers
arxiv.org·15h
✨Algebraic Effects
Grok 4 Arrives With Impressive Coding Powers
hackernoon.com·1d
🎯Gradual Typing
3DGAA: Realistic and Robust 3D Gaussian-based Adversarial Attack for Autonomous Driving
arxiv.org·15h
🌈Holographic Archives
Beyond the Hype: Real Talk on AI-Assisted Development • Jessica Kerr & Diana Montalion • GOTO 2025
youtube.com·7h
🎯Gradual Typing
Embedding Space Allocation with Angle-Norm Joint Classifiers for Few-Shot Class-Incremental Learning
arxiv.org·1d
📊Learned Metrics
Modeling Partially Observed Nonlinear Dynamical Systems and Efficient Data Assimilation via Discrete-Time Conditional Gaussian Koopman Network
arxiv.org·1d
🧮Kolmogorov Bounds
Discovering Governing Equations in the Presence of Uncertainty
arxiv.org·15h
🔍Type Inference
Understanding Pan-Sharpening via Generalized Inverse
arxiv.org·15h
📐Projective Geometry
Symptom-Driven Personalized Proton Pump Inhibitors Therapy Using Bayesian Neural Networks and Model Predictive Control
arxiv.org·15h
🧠Machine Learning
Is Micro-expression Ethnic Leaning?
arxiv.org·15h
📊Rate-Distortion Theory
VideoConviction: A Multimodal Benchmark for Human Conviction and Stock Market Recommendations
arxiv.org·1d
📊Learned Metrics
Incomplete Multiview Learning via Wyner Common Information
arxiv.org·15h
⧗Information Bottleneck
ViSP: A PPO-Driven Framework for Sarcasm Generation with Contrastive Learning
arxiv.org·15h
🔢Denotational Semantics
TolerantECG: A Foundation Model for Imperfect Electrocardiogram
arxiv.org·15h
🎵Audio ML