Sound Gallery – Natural Sounds (U.S. National Park Service)
nps.gov·1d·
Discuss: Hacker News
🍎Apple
Germany Joins Canada, Switzerland in Allowing Compassionate Use of Psilocybin
psychedelicalpha.com·1d·
Discuss: Hacker News
🔬Unikernels
Building an Accountability App
activitytribe.app·3d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
The Charm of ASCII Smileys:-)
adele.pages.casa·1d·
Discuss: Hacker News
🍎Apple
Anyone else have Claude accounts banned for ToS breach with no warning?
reddit.com·2d·
Discuss: r/ClaudeAI
🍎Apple
Scala Highlights June 2025 – Scala 3.9 will be the new LTS
scala-lang.org·6d·
Discuss: Hacker News
🐫OCaml
Glue teams vs. back-office teams
matloka.com·4d·
Discuss: Hacker News
🔄Reproducible Builds
Sploitlight: Analyzing a Spotlight-based macOS TCC vulnerability
microsoft.com·5d·
Discuss: Lobsters, Hacker News
🍎Apple
VRISE: A Virtual Reality Platfrom for Immersive and Interactive Surveying Education
arxiv.org·2d
🎮Verification Games
Cell-Free Massive MIMO SWIPT with Beyond Diagonal Reconfigurable Intelligent Surfaces
arxiv.org·1d
🐫Embedded OCaml
FASTopoWM: Fast-Slow Lane Segment Topology Reasoning with Latent World Models
arxiv.org·1d
🔄Finite State Machines
The Role of LLMs in Academic Reviewing (ACM SIGOPS / SIGARCH Blog)
sigops.org·3d·
Discuss: Hacker News
🛡️seL4
LENS: Learning Ensemble Confidence from Neural States for Multi-LLM Answer Integration
arxiv.org·1d
✓Automated Theorem Proving
AI paradigm for solving differential equations: first-principles data generation and scale-dilation operator AI solver
arxiv.org·1d
🐫OCaml
ART: Adaptive Relation Tuning for Generalized Relation Prediction
arxiv.org·1d
🐫Embedded OCaml
To Rack or Not to Rack?
reddit.com·6d·
Discuss: r/homelab
🏠HomeLab
It’s a work in progress
reddit.com·6d·
Discuss: r/homelab
🏠HomeLab
Morph: ChirpTransformer-based Encoder-decoder Co-design for Reliable LoRa Communication
arxiv.org·2d
📡Network Protocol Design
RestoreAI - Pattern-based Risk Estimation Of Remaining Explosives
arxiv.org·4d
💻CS
Post-Training Large Language Models via Reinforcement Learning from Self-Feedback
arxiv.org·3d
✓Automated Theorem Proving