Dinosaur teeth reveal prehistoric air quality was pretty awful
newatlas.com·23h·
Discuss: Hacker News
🍎Apple
Show HN: Cartoony AI Voices on ESP32 with Pitch Shifting
blog.elatoai.com·20h·
Discuss: Hacker News
🐫Embedded OCaml
Why mathematicians want to destroy infinity – and may succeed
newscientist.com·1d·
Discuss: Hacker News
➡️Category Theory
A First-Timer's Guide to Curating a Technical Conference Track – InfoQ
infoq.com·3d·
Discuss: Hacker News
🔄Reproducible Builds
The Demon that Wears my Face
mirawelner.com·2d·
Discuss: Hacker News
🛡️seL4
Some thoughts on journals, refereeing, and the P vs NP problem
blog.computationalcomplexity.org·1d·
Discuss: blog.computationalcomplexity.org, Hacker News, Hacker News
🎮Verification Games
Open-Source, Flexible E-Reader
hackaday.com·2d
🔬Unikernels
A Man Who Beat IBM
every.to·2d·
Discuss: Hacker News
💾Retro Computing
🏆You only need 4 promotions: The step-by-step guide from Junior to Staff+ engineer
strategizeyourcareer.com·3d·
Discuss: r/programming
🧗Climbing Tech
Unsupervised Model Improvement via Internal Coherence Maximization
huggingface.co·2d·
Discuss: Hacker News
🤖Program Synthesis
Adverse Weather-Independent Framework Towards Autonomous Driving Perception through Temporal Correlation and Unfolded Regularization
arxiv.org·1d
➡️Category Theory
AI-Generated Text is Non-Stationary: Detection via Temporal Tomography
arxiv.org·1d
✓Automated Theorem Proving
Microsoft is taking steps to open-sourcing Windows 11 user interface framework
neowin.net·4d·
Discuss: Hacker News, r/technews
📦Unikernel Systems
Robust Single-Stage Fully Sparse 3D Object Detection via Detachable Latent Diffusion
arxiv.org·9h
🔤DSLs
Understanding Student Attitudes and Acceptability of GenAI Tools in Higher Ed: Scale Development and Evaluation
arxiv.org·1d
💻CS
Potential Future Restrictions on the Self-Hosted Version of Plane (2023)
github.com·5d·
Discuss: Hacker News
🔬Unikernels
Point-wise Diffusion Models for Physical Systems with Shape Variations: Application to Spatio-temporal and Large-scale system
arxiv.org·1d
👁️System Observability
Slow transfer in one direction only on a 10Gb network
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Augmented Reinforcement Learning Framework For Enhancing Decision-Making In Machine Learning Models Using External Agents
arxiv.org·1d
🎮Verification Games
SAMPO: Visual Preference Optimization for Intent-Aware Segmentation with Vision Foundation Models
arxiv.org·1d
🔠Type-Level Programming