Smooth Minimum for Signed Distance Fields (2013)
iquilezles.org·15h·
Discuss: Hacker News
📊linear programming
Why Lean 4 replaced OCaml as my Primary Language
kirancodes.me·15h·
Discuss: Lobsters, Hacker News
🦀Rust
A personal health large language model for sleep and fitness coaching
nature.com·15h·
Discuss: Hacker News
🧩operations research
AI Proves P != NP
mvcalder-01701.medium.com·1d·
Discuss: Hacker News
📊linear programming
DINOv3: Single vision backbone outperforms specialized solutions on tasks
ai.meta.com·19h·
Discuss: Hacker News
📊linear programming
Show HN: Actionable AI for Founders: Turning Ideas into Shippable Plans
intutivai.com·1d·
Discuss: Hacker News
📊linear programming
The Dark Side of “AI Productivity”: How It Trains You to Be Replaceable
hackernoon.com·1d
🧩operations research
Evaluating GPT5's reasoning ability using the Only Connect game show
ingram.tech·2d·
Discuss: Hacker News
📊linear programming
Enhanced Topology Optimization via Multi-Fidelity Bayesian Surrogate Modeling and Reinforcement Learning Feedback
dev.to·1d·
Discuss: DEV
🧩operations research
Control-affine Schr\"odinger Bridge and Generalized Bohm Potential
arxiv.org·2d
📊linear programming
Detecting Untargeted Attacks and Mitigating Unreliable Updates in Federated Learning for Underground Mining Operations
arxiv.org·8h
🧩operations research
CrossDenoise: Denoising Implicit Feedback via a Lightweight Entity-Aware Synergistic Framework
arxiv.org·8h
📊linear programming
Enhanced Air Electrode Optimization via Adaptive Multi-Scale Porosity Modeling
dev.to·1d·
Discuss: DEV
🧩operations research
Adaptive Predictive Maintenance for Hybrid PV-Wind Systems via LSTM-Based Anomaly Detection
dev.to·13h·
Discuss: DEV
📊linear programming
Automated Microbial Contamination Detection in Cleanrooms via Spectral Deconvolution & Deep Reinforcement Learning
dev.to·1d·
Discuss: DEV
📊linear programming
There is (no) problem with Ai.
dev.to·3h·
Discuss: DEV
🦀Rust
Klear-Reasoner: Advancing Reasoning Capability via Gradient-Preserving Clipping Policy Optimization
arxiv.org·3d
📊linear programming
The Knowledge-Reasoning Dissociation: Fundamental Limitations of LLMs in Clinical Natural Language Inference
arxiv.org·8h
🧩operations research
UQGNN: Uncertainty Quantification of Graph Neural Networks for Multivariate Spatiotemporal Prediction
arxiv.org·2d
🧩operations research
Dynamic Decision Tree Pruning via Reinforcement Learning for Real-time Risk Assessment
dev.to·5d·
Discuss: DEV
🧩operations research