đŸŋī¸ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
✓ Automated Theorem Proving

Proof Assistants, Interactive Verification, Proof Search, Tactical Reasoning

52 Week Ham Radio Challenge Roundup: Weeks 33-36
ianrenton.com¡1d
đŸ“ģHomebrew Protocols
Bicyclopedia
lemoing.ca¡2d
âš™ī¸Cassette Mechanics
Mattel's M.U.S.C.L.E. Men: A Retrospective (2021)
retroramblings.com¡1d¡
Discuss: Hacker News
đŸ•šī¸Retro Gaming
The Physics of Parabolic Microphones: Frequency Dependence of Gain
legallyblindbirding.net¡1d¡
Discuss: Hacker News
📡Frequency Archaeology
FreeBSD Jails are Simple and Easy
freebsdfoundation.org¡1d
đŸ“ĻContainer Security
alsa: Go reimplementation of TinyALSA library
github.com¡3d¡
Discuss: r/golang
đŸŽĩGameboy Sound
Superfood for Bees Sparks 15-Fold Colony Boom
scitechdaily.com¡6h
☕Coffee Chemistry
I tested Bambu Lab's latest 3D printer - and the H2S single nozzle design comes hot on the heels of the H2D to offer ultimate speed and accuracy
techradar.com¡6h
đŸ–Ĩī¸Modern Terminals
The folk theorem of statistical computing: Fake-data simulation as posterior predictive checking
statmodeling.stat.columbia.edu¡4d
🧮Kolmogorov Bounds
Greenwashing accusations with the Watch: DUH wins against Apple
heise.de¡8h
🍎Apple Computing
Stop duplicating secrets across your Kubernetes namespaces
reddit.com¡2d¡
Discuss: r/kubernetes
đŸ“ĻContainer Security
Show HN: Zen Lake – 50B-digit Ī€ computation on modest hardware
github.com¡4d¡
Discuss: Hacker News
⚡Homebrew CPUs
How AI ‘digital minds’ startup Delphi stopped drowning in user data and scaled up with Pinecone
venturebeat.com¡5d¡
Discuss: Hacker News
⚡Performance Mythology
AI will create a near-term socioeconomic gap among knowledge workers
ericdodds.com¡6d¡
Discuss: Hacker News
🤖AI Curation
Day 77: When Apple Service Breaks More Than Your Laptop
dev.to¡37m¡
Discuss: DEV
🍎Apple Archive
Aiinak: Powering Smarter Teams and Stronger Results
dev.to¡1d¡
Discuss: DEV
🌍Cultural Algorithms
When Code Starts Talking Back: A Love-Hate Story
dev.to¡2d¡
Discuss: DEV
🔗Concatenative Programming
Multimodal Medical Endoscopic Image Analysis via Progressive Disentangle-aware Contrastive Learning
arxiv.org¡15h
🧠Machine Learning
[D] Best AI model for turning a selfie into a stylized version (identity-preserving + instruction-following)?
reddit.com¡2d¡
Discuss: r/MachineLearning
🌀Fractal Compression
Tyson Foods elevates customer search experience with an AI-powered conversational assistant
aws.amazon.com¡5d
📡RSS Automation
Loading...Loading more...
AboutBlogChangelogRoadmap