Is the Interstellar Object 3I/Atlas Alien Technology?
avi-loeb.medium.com·12h·
Discuss: Hacker News
🔬Unikernels
Self-hosting CI runners is a trap
shipfox.io·12h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Distilling the Cloud: The Journey Continues
eric.mann.blog·12h·
Discuss: Hacker News
⎈Kubernetes
New Benchmark suite for analytical DBs using real-world SQL queries
github.com·2d·
Discuss: Hacker News
👁️System Observability
I built a free, open-source SQLite client that runs directly inside VS Code. This is my first OS project and I'd love your feedback!
reddit.com·11h·
Discuss: r/programming
🔤DSLs
NixOS: Declarative Management, Imperative Privilege Escalation
labs.snyk.io·2d·
Discuss: Lobsters, Hacker News
❄️Nixified Development
Source code analysis of Amazon Kiro
ghuntley.com·3d·
Discuss: Hacker News
❄️Nixified Development
Urban Green Governance: IoT-Driven Management and Enhancement of Urban Green Spaces in Campobasso
arxiv.org·21h
🖥️Self-hosted Infrastructure
UGREEN DXP4800 plus vs QNAP TS-464-8G vs Aoostar WDR PRO (Ryzen 7 5825U)?
reddit.com·21h·
Discuss: r/homelab
🏠HomeLab
I Built an Open Source Offline ChatGPT Alternative in 40MB
news.ycombinator.com·2d·
Discuss: Hacker News
🐫Embedded OCaml
Maneuver Detection via a Confidence Dominance Maneuver Indicator
arxiv.org·3d
✓Automated Theorem Proving
Static or Temporal? Semantic Scene Simplification to Aid Wayfinding in Immersive Simulations of Bionic Vision
arxiv.org·1d
🏹Effect Systems
Warm Starts Accelerate Generative Modelling
arxiv.org·2d
🎮Verification Games
Fourier Basis Mapping: A Time-Frequency Learning Framework for Time Series Forecasting
arxiv.org·2d
💻CS
FaceLLM: A Multimodal Large Language Model for Face Understanding
arxiv.org·2d
🐫Embedded OCaml
Focus on Texture: Rethinking Pre-training in Masked Autoencoders for Medical Image Classification
arxiv.org·1d
➡️Category Theory
Canonical Bayesian Linear System Identification
arxiv.org·1d
➡️Category Theory
Algorithm Design and Comparative Test of Natural Gradient Gaussian Approximation Filter
arxiv.org·21h
🏹Effect Systems
A Feed-Forward Artificial Intelligence Pipeline for Sustainable Desalination under Climate Uncertainties: UAE Insights
arxiv.org·1d
✓Automated Theorem Proving
Mechanistic Indicators of Understanding in Large Language Models
arxiv.org·3d
➡️Category Theory