Samsung SmartThings finally adds support for joining existing Thread networks
theverge.com·1d
🏠Home Automation
Vexing Exceptions
ericlippert.com·2d·
Discuss: Hacker News
🧪Binary Fuzzing
Age of Discord II
peterturchin.com·12h·
Discuss: Hacker News
🔲Cellular Automata
Show HN: Built a complete personal finance app with AI at 18
wealth-ai.in·21h·
Discuss: Hacker News
🔗Data Provenance
Trusted Execution Environments? More Like "Trust Us, Bro" Environments
libroot.org·1d·
Discuss: Hacker News
🛡️RISC-V Security
A Proof of the Riemann Hypothesis
dev.to·3d·
Discuss: DEV
⚔️Lean Theorem
Building Actual Peer-to-peer Applications: Outside Misconceptions
hackernoon.com·4d
🌐Distributed Hash
A small number of samples can poison LLMs of any size
anthropic.com·2d·
🔍Vector Forensics
Generalized Orders of Magnitude (GOOMs)
github.com·15h·
Discuss: Hacker News
🕸️Tensor Networks
Defeating Return Type Polymorphism
philipphagenlocher.de·3d·
Discuss: Hacker News
🧬Functional Programming
Quantum-Aware Federated Learning for Open QaaS Platform Validation
dev.to·2d·
Discuss: DEV
⚛️Quantum Compilers
Building a Custom MCP Server in Continue: A Step-by-Step Guide
dev.to·1d·
Discuss: DEV
📻Homebrew Protocols
GNN Predictions: Hidden Bugs and the Verification Nightmare by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
⚙️Proof Engineering
Operable Software
ferd.ca·1d·
Discuss: Hacker News
👁️System Observability
Need to sanity check my backup plan before I implement it
youtube.com·4d·
Discuss: r/homelab
💿Backup Strategies
Analysis of Python Web Development Challenges
dev.to·11h·
Discuss: DEV
🎬WebCodecs API
Parameterized Complexity of s-Club Cluster Edge Deletion
arxiv.org·3d
🧮Kolmogorov Complexity
OBCache: Optimal Brain KV Cache Pruning for Efficient Long-Context LLM Inference
arxiv.org·2d
💻Local LLMs
Building A Real-Time Communication System Using Go and WebSocket
dev.to·1d·
Discuss: DEV
🌐WebSocket Framing