🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

Jamf After Dark: I inherited a Jamf instance. Now what?
jamf.com·1h
🏺ZIP Archaeology
Online Notepad - Free Online Text Editor With Sharing
hypernotepad.com·16h
📰RSS Feed Discovery
Big Ten football projections: Penn State, Ohio State lead the pack ahead of upside surprises
mercurynews.com·30m
🧮Kolmogorov Bounds
The NASA Voyager Declaration Now
standupforscience.net·2h·
Discuss: Hacker News
👁️Observatory Systems
iMessage integration in Claude can hijack the model to do anything
generalanalysis.com·18h·
Discuss: Hacker News
🌐DNS Security
Silence is a Commons by Ivan Illich (1983)
davidtinapple.com·2d·
Discuss: Lobsters
🧲Magnetic Philosophy
OpenAI's New CEO of Applications Strikes Hyper-Optimistic Tone in First Memo to Staff
wired.com·2h·
Discuss: Hacker News
🔓Open Source Software
Bay Area boy killed, 3 teens hospitalized in alleged DUI
mercurynews.com·4h
💻Local first
Should we preserve the pre-AI internet before it is contaminated?
newscientist.com·6h
🌡️Preservation Entropy
'Inside the Silicon Valley Push to Breed Super-Babies'
science.slashdot.org·1d
🌸Bloom Variants
So You Wanna Be an Ethical Hacker? Here’s How I’d Start
infosecwriteups.com·2d
🔓Hacking
Continued disruption at Waterloo as services return after signal failure
the-independent.com·6h
🚨Incident Response
Uncovering the role of inland and coastal waters in nitrogen fixation
phys.org·3h
🕸️Algebraic Topology
Why the Latest AI Model Isn’t Always Best for Edge AI
spectrum.ieee.org·1d
🎛️Feed Filtering
Redefining Data Operations With Data Flow Programming in CocoIndex
hackernoon.com·4d
🌊Stream Processing
Regret, Thy Name Is Hawley. And Murkowski. And Musk.
nytimes.com·10h
🐧FOSS
Show HN: Duende: Web UX for guiding Gemini as it improves your source code
github.com·22h·
Discuss: Hacker News
⚡Proof Automation
Pico-ITX SBC features Intel Processor N150 or Core 3 N355 Twin Lake CPU, DDR5 SO-DIMM memory slot
cnx-software.com·8h
🔌Operating system internals
Machine Learning Fundamentals: dropout tutorial
dev.to·3d·
Discuss: DEV
👁️Observatory Systems
Rigetti Computing: Sell The Profitability Rumor
seekingalpha.com·1d
🖥️Terminal Renaissance