The enduring puzzle of static electricity
pubs.aip.org·5h·
Discuss: Hacker News
🏹Effect Systems
Konvu Got Its Name
konvu.com·1d·
Discuss: Hacker News
🍎Apple
Terminal sessions you can bookmark: Building Zellij's web client
poor.dev·5d·
Discuss: Hacker News, r/programming
🌐NetworkProtocols
Tracking Errors in Absinthe for Elixir with AppSignal
blog.appsignal.com·4d·
Discuss: Hacker News
🌐NetworkProtocols
MCP Tools and Dependent Types
vlaaad.github.io·5d·
Discuss: Hacker News
🛡️seL4
OpenAI vs. Microsoft vs. Google: Wiring AI Within Products
docs.google.com·2d·
Discuss: Hacker News
📦Unikernel Systems
Our Shared Reality Will Self-Destruct in the Next 12 Months
honest-broker.com·2d·
Discuss: Hacker News
💾Retro Computing
You Know What To Do
staysaasy.com·2d·
Discuss: Hacker News, Hacker News
🧗Climbing Tech
Google yet to take down 'screenshot-grabbing' Chrome VPN extension
theregister.com·2d·
Discuss: Hacker News
📦Unikernel Systems
D2Q Synchronizer: Distributed SDN Synchronization for Time Sensitive Applications
arxiv.org·5d
📡Network Protocol Design
FedUP: Efficient Pruning-based Federated Unlearning for Model Poisoning Attacks
arxiv.org·3d
📦Unikernel Systems
From Individual to Multi-Agent Algorithmic Recourse: Minimizing the Welfare Gap via Capacitated Bipartite Matching
arxiv.org·5d
🤖Program Synthesis
Hoping to talk through this with ya'll before pressing "buy"
i.redd.it·3d·
Discuss: r/homelab
💾Retro Computing
Apple reportedly prepping enterprise AI support beyond ChatGPT
9to5mac.com·16h
🍎Apple
InjectionNext: The fourth evolution of Code Injection for Xcode
github.com·4d·
Discuss: Hacker News
❄️Nixified Development
DESIGNER: Design-Logic-Guided Multidisciplinary Data Synthesis for LLM Reasoning
arxiv.org·4d
🔤DSLs
Modular 'PipeMagic' backdoor used to deploy ransomware
scworld.com·4d·
Discuss: Hacker News
🌐NetworkProtocols
Sensors Could Permanently Fly in the mesosphere using photophoresis
universetoday.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Approximating the universal thermal climate index using sparse regression with orthogonal polynomials
arxiv.org·5d
🔠Type-Level Programming
TrajSV: A Trajectory-based Model for Sports Video Representations and Applications
arxiv.org·5d
🔄Finite State Machines