Using AI to make lower-carbon, faster-curing concrete
engineering.fb.com·1h·
Discuss: Hacker News
🤖Program Synthesis
For Algorithms, Memory Is a Far More Powerful Resource Than Time
wired.com·3d·
Discuss: Hacker News, Hacker News, Hacker News
💻CS
What birdsong and backends can teach us about magic
digitalseams.com·2d·
Discuss: Hacker News, Hacker News
✓Automated Theorem Proving
Kimi K2 and when "DeepSeek Moments" become normal
interconnects.ai·1d·
Discuss: Hacker News
🔬Unikernels
Turbo Frames, Morphing and the Future of the Web
medium.com·22h·
Discuss: Hacker News
🧱Immutable Infrastructure
The "Pathfinder: 2nd Edition" AI Subreddit
aigamesmag.com·2d·
Discuss: Hacker News
🎮Verification Games
Quantitative multi-metabolite imaging of Parkinson's disease using AI boosted molecular MRI
arxiv.org·9h
💾Retro Computing
The Engineer's Dilemma: A Review of Establishing a Legal Framework for Integrating Machine Learning in Construction by Navigating Precedents and Industry Expect...
arxiv.org·1d
🏹Effect Systems
Better Together: Quantifying the Benefits of AI-Assisted Recruitment
arxiv.org·2d
💻CS
RAPNet: A Receptive-Field Adaptive Convolutional Neural Network for Pansharpening
arxiv.org·1d
💻CS
From Classical Machine Learning to Emerging Foundation Models: Review on Multimodal Data Integration for Cancer Research
arxiv.org·1d
🔠Type-Level Programming
Robust ID-Specific Face Restoration via Alignment Learning
arxiv.org·9h
➡️Category Theory
D3FL: Data Distribution and Detrending for Robust Federated Learning in Non-linear Time-series Data
arxiv.org·9h
➡️Category Theory
Distributionally Robust Optimization is a Multi-Objective Problem
arxiv.org·9h
🔄Reproducible Builds
Joint angle model based learning to refine kinematic human pose estimation
arxiv.org·9h
💻CS
Leveraging Advanced Machine Learning to Predict Turbulence Dynamics from Temperature Observations at an Experimental Prescribed Fire
arxiv.org·9h
🐫OCaml
I Built a Testable Recursive Theory of Language Models Using GPT – It Works
news.ycombinator.com·3d·
Discuss: Hacker News
🛡️seL4
Unraveling the Biomarker Prospects of High-Altitude Diseases: Insights from Biomolecular Event Network Constructed using Text Mining
arxiv.org·9h
🐫OCaml
An Empirical Evaluation of AI-Powered Non-Player Characters' Perceived Realism and Performance in Virtual Reality Environments
arxiv.org·1d
🎮Verification Games
Towards High Supervised Learning Utility Training Data Generation: Data Pruning and Column Reordering
arxiv.org·1d
🧪Property-Based Testing