🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
⚔️ Lean Tactics

Interactive Proving, Tactic Composition, Proof Automation, Mathlib

Four Sided Triangle (Terence Fisher, 1953)
notesoncinematograph.blogspot.com·10h·
Discuss: notesoncinematograph.blogspot.com
📐Mathematical Art
BlueField Experiments can start…
i.redd.it·12h·
Discuss: r/homelab
🔩Systems Programming
Cactus Language • Pragmatics 1
inquiryintoinquiry.com·2d
💻Programming languages
Simple Way to Find Co-Founders – Business Partner Finder App
findpartner.app·6h·
Discuss: Hacker News
🔍BitFunnel
Verify Identities During Self-Service Registration
fusionauth.io·12h·
Discuss: Hacker News
🔐PKI Archaeology
mchav/dataframe
github.com·4d
🧠Lisp Dialects
Psychologic manipulation for better social interactions in online Games
reddit.com·5h·
Discuss: r/gaming
🔲Cellular Automata
Novel Use of "Mount" Spotted in Hikvision Attacks
vulncheck.com·13h·
Discuss: Hacker News
🎫Kerberos Exploitation
I Just Wanted a RAID Array
russ.har.mn·7h·
Discuss: Hacker News, r/selfhosted
💿ZFS Internals
The Tech Behind War Robots’ First Sword-Wielding Mech
hackernoon.com·19h
📟Terminal Physics
The evolution of code review practices in the world of AI
packagemain.tech·2d·
Discuss: Hacker News, r/webdev
🔄Language Evolution
Drafting Software Recommendation
news.ycombinator.com·9h·
Discuss: Hacker News
📟Terminal Typography
Fine-Tuning Mistral-7B on Apple Silicon: A Mac User's Journey with Axolotl LoRA
medium.com·17h·
Discuss: Hacker News
🍎XNU Internals
Can I trust this paper?
link.springer.com·21h·
Discuss: Hacker News
💧Manuscript Watermarks
To Trust or Not to Trust: On Calibration in ML-based Resource Allocation for Wireless Networks
arxiv.org·23h
🧠Machine Learning
Moonshot's Kimi K2 Is a Hefty Contender to Claude, GPT-4 & Even Gemini
hackernoon.com·4d
🎬WebCodecs
Solitaire Cryptographic Algorithm
en.wikipedia.org·2d·
Discuss: Hacker News
🔐Cryptographic Archaeology
Explainable AI for Collaborative Assessment of 2D/3D Registration Quality
arxiv.org·23h
🏺Computational Archaeology
Machine Learning Fundamentals: federated learning with python
dev.to·2d·
Discuss: DEV
💻Local LLMs
Context Engineering: The Missing Foundation Every AI Developer Needs
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
Loading...Loading more...
AboutBlogChangelogRoadmap