Actual, Current, Real-World Cuts to NASA Planetary R&A
research.ssl.berkeley.edu·1d·
Discuss: Hacker News
⎈Kubernetes
Smart assistant to be developed to help people with dementia
uu.nl·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
MIPS
thechipletter.substack.com·1d·
Discuss: Substack
⚙️Operating System Design
Introduction to JavaScript
thenewstack.io·6d
💻CS
Taikyoku Shogi
en.wikipedia.org·3d·
Discuss: Hacker News
🎮Verification Games
Psilocybin therapy for mood dysfunction in Parkinson's disease: open-label trial
nature.com·2d·
Discuss: Hacker News
💾Retro Computing
Stop pretending you know what AI does to the economy
noahpinion.blog·11h·
Discuss: Hacker News
🎮Verification Games
Edsger W. Dijkstra on IPW's
cs.utexas.edu·5d·
Discuss: Hacker News
💾Retro Computing
Show HN: I made MediaManager, a modern alternative to the *ARR ecosystem
github.com·14h·
Discuss: Hacker News
🔬Unikernels
Hierarchical Modeling (H-Nets)
cartesia.ai·5d·
Discuss: Hacker News
🔄Finite State Machines
On The Role of Intentionality in Knowledge Representation: Analyzing Scene Context for Cognitive Agents with a Tiny Language Model
arxiv.org·5d
✓Automated Theorem Proving
Assessing the economic benefits of space weather mitigation investment decisions: Evidence from Aotearoa New Zealand
arxiv.org·2d
📦Unikernel Systems
InSight: AI Mobile Screening Tool for Multiple Eye Disease Detection using Multimodal Fusion
arxiv.org·2d
🐫Embedded OCaml
Let's Think in Two Steps: Mitigating Agreement Bias in MLLMs with Self-Grounded Verification
arxiv.org·3d
🔍Formal Verification
My Budget DIY Mini Lab
reddit.com·4h·
Discuss: r/homelab
🏠HomeLab
Is AI the end of coding as we know it, or just another tool?
aha.io·5d·
Discuss: Hacker News
🤖Program Synthesis
Funnel-HOI: Top-Down Perception for Zero-Shot HOI Detection
arxiv.org·2d
🔠Type-Level Programming
Dataset resulting from the user study on comprehensibility of explainable AI algorithms
arxiv.org·2d
✓Automated Theorem Proving
"What do you expect? You're part of the internet": Analyzing Celebrities' Experiences as Usees of Deepfake Technology
arxiv.org·2d
🛡️seL4
Measuring and predicting visual fidelity
arxiv.org·3d
👁️System Observability