New Bill Aims to Block Both Online Adult Content and VPNs
cnet.com·22h·
📡Network Protocol Design
Water expert's nomination scrapped as states hash out Colorado River plan
apnews.com·6h·
Discuss: Hacker News
Kubernetes
Who Watches the (Crypto) Wallets? Introducing Wallet Beat
thomasbenoitbenoitonchain.substack.com·3d·
Discuss: Substack
🖥️Self-hosted Infrastructure
$41M Crypto Hack
harrydonnelly.substack.com·3d·
Discuss: Substack
🛡️seL4
Build, run and debug iOS and Mac apps in Zed instead of Xcode
luxmentis.org·6d·
Discuss: Hacker News
🍏Darwin
Nature Restores the Mind
manyminds.libsyn.com·3d·
Discuss: Hacker News
🩹Self-Healing Systems
Quitting Smoking May Reduce Risk for Fractures
medscape.com·2h·
Discuss: Hacker News
🏔️climbing
We're training a text-to-image model from scratch and open-sourcing it
photoroom.com·6d·
Discuss: Hacker News
💾Retro Computing
Jef Raskin’s cul-de-sac and the quest for the humane computer
arstechnica.com·6d·
📺Vintage Apple
Show HN: I wrote a book: The Elements of Code
news.ycombinator.com·3d·
Discuss: Hacker News
⚙️PL Implementation
UltrON: Ultrasound Occupancy Networks
arxiv.org·6d
📦Unikernel Systems
Adapting Public Personas: A Multimodal Study of U.S. Legislators' Cross-Platform Social Media Strategies
arxiv.org·2d
🐫OCaml
Jonathan Riddell Leaves KDE After 25 Years with Mixed Emotions
linuxiac.com·3d·
Discuss: Hacker News
🔧Unikernel Development
How To Dress To Improve Your Epistemics
lesswrong.com·1d
🎮Verification Games
Discoverminds.ai – "Notion for Professional Relationships"
news.ycombinator.com·2d·
Discuss: Hacker News
Automated Theorem Proving
Is user onboarding better now that we have AI?
medium.com·5d·
Discuss: Hacker News
🍎Apple
Science’s answer to the ultimate question: Where do we come from?
bigthink.com·2d·
Discuss: Hacker News
Process Calculi
A minimal formula for AI destiny (Max O subject to D(world,human) ≤ ε)
news.ycombinator.com·2d·
Discuss: Hacker News
📐Denotational Semantics