Show HN: A modern alternative to traditional fantasy name generators
nomenus.io·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Hill Space: Neural nets that do perfect arithmetic (to 10⁻¹⁶ precision)
hillspace.justindujardin.com·1d·
Discuss: Hacker News
💻CS
Clustered PostgreSQL
arch.dog·3d·
Discuss: Lobsters, Hacker News
🏠HomeLab
My 2025 Home Server Build
pcpartpicker.com·23h·
Discuss: r/homelab
🏠HomeLab
Real Consulting Example: Refactoring FinTech Project to use Terraform and ArgoCD
lukasniessen.medium.com·4d·
Discuss: r/devops, r/programming
🖥️Self-hosted Infrastructure
So You Think You've Awoken ChatGPT
justismills.substack.com·2d·
Discuss: Substack
✓Automated Theorem Proving
Self-Review Framework for Enhancing Instruction Following Capability of LLM
arxiv.org·5d
✓Automated Theorem Proving
There’s a better way to use AI official prompts
reddit.com·1d·
Discuss: r/programming
✓Automated Theorem Proving
State of the Vibes: A Slice of Vibe Coding in June 2025
talks.natetucker.com·18h·
Discuss: Hacker News
🍎Apple
Evaluation of Habitat Robotics using Large Language Models
arxiv.org·5d
✓Automated Theorem Proving
Show HN: Juncture – Simplify building Jira integrations
github.com·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
Show HN: ArchGW – an intelligent edge and service proxy for agents
news.ycombinator.com·1d·
Discuss: Hacker News
🌐NetworkProtocols
CoreCodeBench: A Configurable Multi-Scenario Repository-Level Benchmark
arxiv.org·5d
🔄Reproducible Builds
Detection of Intelligent Tampering in Wireless Electrocardiogram Signals Using Hybrid Machine Learning
arxiv.org·4d
🌐NetworkProtocols
Rationale-Enhanced Decoding for Multi-modal Chain-of-Thought
arxiv.org·3d
🔄Finite State Machines
3D forest semantic segmentation using multispectral LiDAR and 3D deep learning
arxiv.org·5h
🧗Climbing Tech
Partitioned Hybrid Quantum Fourier Neural Operators for Scientific Quantum Machine Learning
arxiv.org·5h
🐫OCaml
Show HN: Empromptu.ai – Agentic AI Building AI Apps
news.ycombinator.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Seeing Like an LLM
strangeloopcanon.com·4d·
Discuss: Hacker News
🐫Embedded OCaml
SynthEHR-Eviction: Enhancing Eviction SDoH Detection with LLM-Augmented Synthetic EHR Data
arxiv.org·3d
🐫OCaml