Dell PowerEdge R740XD GPU installation
coral.ai·2d·
Discuss: r/homelab
🏠HomeLab
KDE's official Android TV alternative is back from the dead
neowin.net·2h·
Discuss: Hacker News
🔬Unikernels
Show HN: Novaflow (YC S25) – AI Data Analyst for Life Science Researchers
novaflowapp.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Introducing TCP-in-UDP solution (eBPF)
blog.mptcp.dev·11h·
Discuss: Lobsters, Hacker News
📡Network Protocol Design
Full QuickJS Support for Nginx
blog.nginx.org·4d·
Discuss: Hacker News
🌐NetworkProtocols
Coded my homelab from scratch using Ansible
i.redd.it·3d·
Discuss: r/homelab
🏠HomeLab
Slack grew with an invite loop. Dropbox with a referral loop. But you'll fail
northstardispatch.substack.com·1d·
Discuss: Substack
🎮Verification Games
Oceans: Theory to Implementation
gikster.dev·1d·
Discuss: Hacker News
🐫OCaml
Practical notes on getting LLMs to generate new ideas
seangoedecke.com·20h·
Discuss: Hacker News
✓Automated Theorem Proving
Ground Truth Ambient Occlusion
github.com·4d·
Discuss: Hacker News
🧱Immutable Infrastructure
Introducing PooLA Filament: Grass Fiber-Reinforced PLA
hackaday.com·18h
⚙️PL Implementation
Former Google DeepMind engineer says other AI agents are doing it wrong
theregister.com·9h·
Discuss: Hacker News
💾Retro Computing
Taming Modern Point Tracking for Speckle Tracking Echocardiography via Impartial Motion
arxiv.org·16h
👁️System Observability
The Narrative Construction of Generative AI Efficacy by the Media: A Case Study of the Role of ChatGPT in Higher Education
arxiv.org·16h
💻CS
Transfer Learning and Mixup for Fine-Grained Few-Shot Fungi Classification
arxiv.org·1d
🍎XNU Internals
Circumventing Safety Alignment in Large Language Models Through Embedding Space Toxicity Attenuation
arxiv.org·1d
🔍Formal Verification
On The Role of Intentionality in Knowledge Representation: Analyzing Scene Context for Cognitive Agents with a Tiny Language Model
arxiv.org·16h
✓Automated Theorem Proving
From Classical Machine Learning to Emerging Foundation Models: Review on Multimodal Data Integration for Cancer Research
arxiv.org·16h
🔠Type-Level Programming
CoreCodeBench: A Configurable Multi-Scenario Repository-Level Benchmark
arxiv.org·6d
🔍Formal Verification
BayesTTA: Continual-Temporal Test-Time Adaptation for Vision-Language Models via Gaussian Discriminant Analysis
arxiv.org·1d
🔠Type-Level Programming