Tailscale’s Community Discord lives!
tailscale.com·1d
🔗Tailscale
The theorem on formal functions
math.columbia.edu·6d
⚔️Lean Theorem
Week note 2025-08-21
underlap.org·20h
📲syncthing
Digital Forensics Round-Up, August 20 2025
forensicfocus.com·1d
📟Terminal Forensics
Addiction alloys: the cross-promotion of internet compulsions
internettalk.xyz·1d·
Discuss: Hacker News
🔍BitFunnel
The Weight of a Cell
press.asimov.com·1d·
Discuss: Hacker News
🔲Cellular Automata
Proton VPN review 2025: The best privacy-preserving open-source VPN
the-independent.com·1d
🌐DNS over QUIC
The Hidden Costs of Coding With Generative AI
sloanreview.mit.edu·3d·
Discuss: Hacker News
⚡Incremental Computation
We must build AI for people; not to be a person
mustafa-suleyman.ai·1d·
Discuss: Hacker News
🔲Cellular Automata
Constructor Best Practices in Rust
blog.cuongle.dev·2d·
Discuss: Hacker News
🔒Type Safety
The 4 Best Tent Air Conditioners to Keep You Cool at The Campsite
popularmechanics.com·2d
🏠Homelab Preservation
Language Models as Thespians
jstrieb.github.io·2d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
💻Local LLMs
Codes on any Cayley Graph have an Interactive Oracle Proof of Proximity
arxiv.org·6d
🔢Reed-Solomon Math
Dependencies in the Bundeswehr: Sharp criticism of deal with Google Cloud
heise.de·1d
🖥️Self-hosted Infrastructure
Infoniqa IT incident: Cyber gang claims to have copied extensive data
heise.de·1d
🔓Hacking
Multiple Reachability in Linear Dynamical Systems
arxiv.org·6d
🔄Finite State Machines
Automated Test Case Prioritization with Dynamic Feature Interaction Graph Optimization
dev.to·3d·
Discuss: DEV
🔍Concolic Testing
Philips Hue accidentally leaks its next smart lights – here are 4 fun new models on the way
techradar.com·3d
🏠Home Automation
Hyperparameter Optimization for Sparse Gaussian Process Regression via Adaptive Meta-Learning
dev.to·5d·
Discuss: DEV
🧠Machine Learning
Channels vs Mutexes In Go - the Big Showdown
dev.to·2d·
Discuss: DEV, r/golang
🌊Stream Processing