Show HN: Launched a tiny tool: 2D → 3D logos. Looking for honest design feedback
3dlogo.io·12h·
Discuss: Hacker News
🍎Apple
Real life NDCG notebook (2024)
softwaredoug.com·3d·
Discuss: Hacker News
✓Automated Theorem Proving
GitLab uncovers Bittensor theft campaign via PyPI
about.gitlab.com·3d·
Discuss: Hacker News
🌐NetworkProtocols
Proxmox Virtual Environment 9.0 released!
forum.proxmox.com·3d·
Discuss: Hacker News, r/homelab
🔬Unikernels
Mars the Arrival: an ode to the slowest game in the world
gyrovague.com·3d·
Discuss: Hacker News
🔬Unikernels
Against the Computer and Its World
illwill.com·3d·
Discuss: Hacker News
🔬Unikernels
The Claude Test
hollisrobbinsanecdotal.substack.com·2d·
Discuss: Substack
🎮Verification Games
My First Zig Day
tristanpemble.com·5d·
Discuss: Hacker News
🐫Embedded OCaml
Dual 6pin pcie female to 8pin male pcie adapter
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Open Sourced: ML Interview Questions and Job List (Ranked by Comp and Culture)
github.com·3d·
Discuss: Hacker News
🏹Effect Systems
Not duplicating messages: a surprisingly hard problem
blog.epsiolabs.com·4d·
Discuss: Hacker News, r/programming
🔄Reproducible Builds
Invisible Women in Digital Diplomacy: A Multidimensional Framework for Online Gender Bias Against Women Ambassadors Worldwide
arxiv.org·1d
➡️Category Theory
OpenAI officially announces GPT-5, its next major upgrade to ChatGPT
9to5mac.com·1d
🍎Apple
Reproducibility of Machine Learning-Based Fault Detection and Diagnosis for HVAC Systems in Buildings: An Empirical Study
arxiv.org·4d
👁️System Observability
A Modified VGG19-Based Framework for Accurate and Interpretable Real-Time Bone Fracture Detection
arxiv.org·2d
💻CS
Pre-Tactical Flight-Delay and Turnaround Forecasting with Synthetic Aviation Data
arxiv.org·4d
🐫OCaml
Confidence-Diversity Calibration of AI Judgement Enables Reliable Qualitative Coding
arxiv.org·4d
🔬Static Analysis
Patho-AgenticRAG: Towards Multimodal Agentic Retrieval-Augmented Generation for Pathology VLMs via Reinforcement Learning
arxiv.org·4d
🐫OCaml
AI-Educational Development Loop (AI-EDL): A Conceptual Framework to Bridge AI Capabilities with Classical Educational Theories
arxiv.org·4d
✓Automated Theorem Proving
RadProPoser: A Framework for Human Pose Estimation with Uncertainty Quantification from Raw Radar Data
arxiv.org·3d
💻CS