Engineers' Material Achieves Unmatched Efficiency in 'Forever Chemical' Removal
price.utah.edu·3d·
Discuss: Hacker News
💾Retro Computing
Orbit Optima: All-in-one Braille laptop computer
orbitresearch.com·1d·
Discuss: Hacker News
💾Retro Computing
Holy Shit. I built the X post generator
twyg.vercel.app·2d·
Discuss: Hacker News
🍎Apple
Recommitting to our why, what, and how
blogs.microsoft.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Scavenger Malware Distributed via ESLint-Config-Prettier NPM Package Hack
invokere.com·5d·
Discuss: Hacker News
📦Unikernel Systems
Evolution of HTTP
developer.mozilla.org·4d·
Discuss: Hacker News
📡Network Protocol Design
Blame a leak for Microsoft SharePoint attacks, researcher insists
theregister.com·23h·
Discuss: Hacker News
👁️System Observability
Imagining The Future of Development
ezrichards.github.io·3d·
Discuss: r/programming
🤖Program Synthesis
Made this Ai agent to help with the "where do I even start" design problem
reddit.com·1d·
Discuss: r/programming
✓Automated Theorem Proving
The pain of writing a Custom Transport for MCP
medium.com·5d·
Discuss: Hacker News
🌐NetworkProtocols
Using my home as a Tailscale exit node abroad poisoned my IP geolocation. Now YouTube thinks I’m in Trinidad 😩
reddit.com·1d·
Discuss: r/homelab
🍎Apple
Turn email into events – Scheduling straight from your inbox
github.com·2d·
Discuss: Hacker News
🌐NetworkProtocols
Reinforcement Learning in hyperbolic space for multi-step reasoning
arxiv.org·3d
✓Automated Theorem Proving
A lightweight TCP in UDP tunnel using eBPF for MPTCP
github.com·3d·
Discuss: Hacker News
📡Network Protocol Design
Been running Nextcloud for a year, but Seafile is looking tempting. Thoughts?
reddit.com·3d·
Discuss: r/homelab
⎈Kubernetes
Residual Koopman Model Predictive Control for Enhanced Vehicle Dynamics with Small On-Track Data Input
arxiv.org·2d
🔄Finite State Machines
Unsupervised Domain Adaptation for 3D LiDAR Semantic Segmentation Using Contrastive Learning and Multi-Model Pseudo Labeling
arxiv.org·2d
➡️Category Theory
CQE under Epistemic Dependencies: Algorithms and Experiments (extended version)
arxiv.org·3d
✓Automated Theorem Proving
LLM Meets the Sky: Heuristic Multi-Agent Reinforcement Learning for Secure Heterogeneous UAV Networks
arxiv.org·3d
📡Network Protocol Design
My little homelab - v4.0 update
reddit.com·3d·
Discuss: r/homelab
🏠HomeLab