Show HN: IQ Checker X
iqchecker.org·3d·
Discuss: Hacker News
🎮Verification Games
Show HN: Raspberry Pi with portable touch monitor with a single USB-C cable
getubo.com·5d·
Discuss: Hacker News
🍎XNU Internals
[Media] Tur - A language for defining and executing Turing machines with multi-platform visualization tools (Web, TUI and CLI) written in Rust 🦀
reddit.com·6d·
Discuss: r/rust
🐫OCaml
Ploopy TrackPad review: USB touchpad with open source firmware and multitouch support
liliputing.com·5d·
Discuss: Hacker News
💾Retro Computing
A case study in peak overemployment
hydrick.net·5d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Trump orders cull of regulations governing commercial rocket launches
arstechnica.com·3d·
Discuss: Hacker News
⎈Kubernetes
ToolsConfig Specification: A directory to store your tools' configuration
github.com·4d·
Discuss: Hacker News
🤖Program Synthesis
Flattening the Curve: Rediscovering Web UI Through Historic Geometric Constructions (WHY2025)
cdn.media.ccc.de·6d
🔄Finite State Machines
Launch HN: Halluminate (YC S25) – Simulating the internet to train computer use
news.ycombinator.com·6d·
Discuss: Hacker News
🎮Verification Games
Random Modulation: Achieving Asymptotic Replica Optimality over Arbitrary Norm-Bounded and Spectrally Convergent Channel Matrices
arxiv.org·5d
💻CS
VisCodex: Unified Multimodal Code Generation via Merging Vision and Coding Models
arxiv.org·3d
🐫OCaml
Multimodal Fusion And Sparse Attention-based Alignment Model for Long Sequential Recommendation
arxiv.org·3d
🔠Type-Level Programming
New Mac Pro could boast M4 Ultra chip, per report
9to5mac.com·3d
🍎Apple
Researchers find LLMs are bad at logical inference, good at “fluent nonsense”
arstechnica.com·6d·
Discuss: Hacker News, Hacker News, r/LocalLLaMA
✓Automated Theorem Proving
Pro-Russian hackers blamed for water dam sabotage in Norway
bleepingcomputer.com·3d·
Discuss: Hacker News
⎈Kubernetes
Ethics2vec: aligning automatic agents and human preferences
arxiv.org·5d
🔠Type-Level Programming
Show HN: Persistent Mind Model – Portable AI Personas for Any LLM
github.com·5d·
Discuss: Hacker News, r/LLM
🛡️seL4
Nonparametric Reaction Coordinate Optimization with Histories: A Framework for Rare Event Dynamics
arxiv.org·5d
➡️Category Theory
Stepwise Fine and Gray: Subject-Specific Variable Selection Shows When Hemodynamic Data Improves Prognostication of Comatose Post-Cardiac Arrest Patients
arxiv.org·6d
🔄Finite State Machines
Training Kindai OCR with parallel textline images and self-attention feature distance-based loss
arxiv.org·4d
🐫Embedded OCaml