🐿️ 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

Australia vs British & Irish Lions live: Latest score and updates from second Test battle at the MCG
the-independent.com·1d
📺yt-dlp
Anime Final Strike Guide
animefinalstrikeguide.com·2d·
Discuss: Hacker News
🇯🇵Japanese Computing
Programming Vehicles in Games
wassimulator.com·1d·
Discuss: Lobsters, Hacker News
🎯Emulator Accuracy
Show HN: Generate mind maps from anything with AI
instantmind.ai·1d·
Discuss: Hacker News
🌱Personal Wikis
Lisp Flavored Erlang
lfe.io·3d·
Discuss: Hacker News
🧠Lisp Dialects
Introducing Opal: describe, create, and share your AI mini-apps
developers.googleblog.com·2d·
Discuss: Hacker News, Hacker News
⚡Proof Automation
LLMs Suck
underjord.io·2d·
Discuss: Hacker News
⚖️Emulation Ethics
A Practical (and Incomplete) History of Language Models
obrhubr.org·4d·
Discuss: Hacker News
🧮Kolmogorov Complexity
You can now train a 70B language model at home
answer.ai·2d·
Discuss: Hacker News
🎧Learned Audio
Machine Learning. Literally.
trivialorwrong.com·5d·
Discuss: Hacker News
⚡CPU Microarchitecture
The great AI delusion is falling apart
mikemcbrideonline.com·2d·
Discuss: Hacker News
🌊Streaming Algorithms
Scaling Inference to Billions of Users and AI Agents
medium.com·19h·
Discuss: Hacker News, r/LocalLLaMA
🌊Streaming Algorithms
Perfecting anti-aliasing on signed distance functions
blog.pkh.me·18h·
Discuss: Lobsters, Hacker News, r/programming
🎨LUT Compression
How We Discovered a Stored HTML Injection in a Chatbot System ️
infosecwriteups.com·4h
🛡️WASM Security
Serializable Isolation for Snapshot Databases
muratbuffalo.blogspot.com·3d·
Discuss: www.blogger.com
🔀CRDT
Cloudflare AI as well as upload VTT files now not working across all domains?
blog.cloudflare.com·19h·
Discuss: Hacker News
🌊Stream Processing
AI Utilization Guidelines for Continuous Engineer Growth
dev.to·1d·
Discuss: DEV
🗺️Competency Maps
Beyond Binary Rewards: Training LMs to Reason About Their Uncertainty
arxiv.org·4d
🧠Intelligence Compression
Scoping Freelance Dev Projects with GPT: My Workflow
dev.to·1d·
Discuss: DEV
⚙️Batch Processing
ZORMS-LfD: Learning from Demonstrations with Zeroth-Order Random Matrix Search
arxiv.org·3d
🧮SMT Solvers
Loading...Loading more...
AboutBlogChangelogRoadmap