Show HN: IQ Checker X
iqchecker.org·3d·
Discuss: Hacker News
🎮Verification Games
[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·6d·
Discuss: Hacker News
💾Retro Computing
Configuring GitHub Codespaces using devcontainers
til.simonwillison.net·4d·
Discuss: Hacker News
⎈Kubernetes
From LISP to Racket (a brief history of LISP programming)
youtu.be·2d·
Discuss: r/programming
🐫Embedded OCaml
Backup server recommendations
bargainhardware.co.uk·3d·
Discuss: r/homelab
🏠HomeLab
Help with my Fujitsu Q920 - smartcard error
i.redd.it·3d·
Discuss: r/homelab
💾Retro Computing
Accrescent – Progress Update and Roadmap
blog.accrescent.app·6d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Plex Warns Users to Patch Security Vulnerability Immediately
bleepingcomputer.com·3d·
Discuss: r/homelab
❄️Nixified Development
The Problem Of Uncertain Significance
stetson.substack.com·5d·
Discuss: Substack
🧪Property-Based Testing
Exclusive: Fintech giant Stripe building ‘Tempo’ blockchain with crypto VC Paradigm
fortune.com·6d·
Discuss: Hacker News
🍎Apple
Trump orders cull of regulations governing commercial rocket launches
arstechnica.com·4d·
Discuss: Hacker News
⎈Kubernetes
Want to save your old computer? Try one of these 8 Linux distros for free
zdnet.com·3d·
Discuss: Hacker News
🔬Unikernels
Aqua Voice shows just how good Mac dictation could be if Apple really tried
9to5mac.com·2d
🍎Apple
iPhone 17 event news is coming but beware of fake invites
9to5mac.com·3d
🍎Apple
Study: Social media probably can’t be fixed
arstechnica.com·4d·
Discuss: Lobsters, Hacker News
🏹Effect Systems
Launch HN: Halluminate (YC S25) – Simulating the internet to train computer use
news.ycombinator.com·6d·
Discuss: Hacker News
🎮Verification Games
PROPS: Progressively Private Self-alignment of Large Language Models
arxiv.org·5d
💻CS
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