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

The Top 10 Things I’d Like to See in University OT Cybersecurity Curriculum (2025 Edition)
tisiphone.net·2h
🌐Network Security
Clankers Die on Christmas
remyhax.xyz·2d·
Discuss: Hacker News
📝ABNF Parsing
AI-Personalized Welcome Messages for Website Visitors
peteallport.substack.com·8h·
Discuss: Substack
🔗Hypermedia APIs
The exceptionalism of software is unwarranted
overbring.com·1d·
Discuss: Hacker News
📏Code Metrics
FreeCAD Foray: From Brick To Shell
hackaday.com·1d
🔌Single Board PC
Context Engineering: Rapid Agent Prototyping – Jason Liu
jxnl.co·5d·
Discuss: Hacker News
⚡Proof Automation
Show HN: Production Manager App – Offline Payroll and Job Tracker (.exe)
github.com·2d·
Discuss: Hacker News
📦Package Managers
DevGovOps, A New Play in DevOps, or is It?
devops.com·23h
🔄Language Evolution
How Solana Token Development Services Empower Startups to Scale Fast
dev.to·23h·
Discuss: DEV
🌊Stream Processing
LD-ViCE: Latent Diffusion Model for Video Counterfactual Explanations
arxiv.org·1h
📊Learned Metrics
Can SSD-Mamba2 Unlock Reinforcement Learning for End-to-End Motion Control?
arxiv.org·1d
🔲Cellular Automata
Prototyping an AI-powered Tool for Energy Efficiency in New Zealand Homes
arxiv.org·2d
🌍Cultural Algorithms
Point Linguist Model: Segment Any Object via Bridged Large 3D-Language Model
arxiv.org·1d
🌀Hyperbolic Geometry
ProtSAE: Disentangling and Interpreting Protein Language Models via Semantically-Guided Sparse Autoencoders
arxiv.org·2d
🔗Monadic Parsing
COMPACT: Common-token Optimized Model Pruning Across Channels and Tokens
arxiv.org·2d
💻Local LLMs
Gotta Forge 'Em All: Building the Pokémon Creator I Wish I Had as a Kid 🎨
dev.to·13h·
Discuss: DEV
📼Retro Games
The Hidden Architecture of AI Voice Agents: From Setup to Strategic Advantage
dev.to·1d·
Discuss: DEV
🎙️Whisper
🧹 Cleaning Git History & Repo Setup: My Dev Struggles Today
dev.to·7h·
Discuss: DEV
🌿git
ALLabel: Three-stage Active Learning for LLM-based Entity Recognition using Demonstration Retrieval
arxiv.org·1d
🔍Information Retrieval
python: printing, variables and data types
dev.to·9h·
Discuss: DEV
📝Concrete Syntax
Loading...Loading more...
AboutBlogChangelogRoadmap