🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
πŸ”— Dependently Typed

Proof-Carrying Code, Correctness by Construction, Type-Level Programming

Algebra Problems of the Day (Algebra Regents, June 2025 Part II)
mrburkemath.blogspot.comΒ·1dΒ·
Discuss: www.blogger.com
πŸ“Linear Algebra
Double Maths First Thing: Issue 2E
aperiodical.comΒ·3d
πŸ‘‘Isabelle
Open problems in topos theory
ncatlab.orgΒ·2d
πŸ•ΈοΈAlgebraic Topology
Obsolescence Guaranteed
obsolescence.devΒ·3dΒ·
Discuss: Lobsters
πŸ“ŸVintage Protocols
Use Qwen3-Coder (Or Any Other LLM) with Claude Code
old.reddit.comΒ·3dΒ·
Discuss: r/LocalLLaMA
πŸ”’Linear Types
Why Python Pros Avoid Loops: A Gentle Guide to Vectorized Thinking
kdnuggets.comΒ·2d
⚑SIMD Optimization
The app I never launched
asad.pwΒ·9hΒ·
Discuss: Hacker News
πŸš€Indie Hacking
Optimizing Tool Selection in LLM Workflows(Part 2): A DSPy and PyTorch Benchmark
viksit.substack.comΒ·2dΒ·
Discuss: Substack
✨Effect Handlers
Controlled Unease with AI Coding
denismaciel.comΒ·20hΒ·
Discuss: Hacker News
⚑Proof Automation
[N] PapersWithCode sunsets, new HuggingFace Papers UI
reddit.comΒ·1dΒ·
Discuss: r/MachineLearning
πŸ—œοΈGraph Compression
Some Thoughts on "Agentic DevOps", AIOps, and Vibe Coding
redmonk.comΒ·5hΒ·
Discuss: Hacker News
πŸ’ΎPersistence Strategies
Zero Knowledge Proof
en.wikipedia.orgΒ·3dΒ·
Discuss: Hacker News
🎯Proof Tactics
mchav/dataframe
github.comΒ·5d
🧠Lisp Dialects
πŸš€ Built My First Multiplayer Browser Game in 3 Days Using Cursor (Soft Launch)
dev.toΒ·2dΒ·
Discuss: DEV
πŸ–₯️Terminal Renaissance
Why Python is Still the Best Programming Language to Learn in 2025
dev.toΒ·1dΒ·
Discuss: DEV
πŸ“Concrete Syntax
Safe-MCP: Security Analysis Framework for Evaluation of Model Context Protocol
github.comΒ·2dΒ·
Discuss: Hacker News
πŸ“¦Container Security
Vibecoding: The Antipattern We Didn't See Coming (and How to Dodge It) πŸ€¦β€β™€οΈ
dev.toΒ·2dΒ·
Discuss: DEV
✨Effect Handlers
On zero-order consistency residue and background pressure for the conservative SPH fluid dynamics
arxiv.orgΒ·1d
πŸ”—Tailscale
Machine Learning Fundamentals: gradient descent example
dev.toΒ·2dΒ·
Discuss: DEV
⚑Incremental Computation
Transforming NLP: The Breakthrough of the 41.8 BLEU Score with Transformers
dev.toΒ·1dΒ·
Discuss: DEV
πŸ“Text Parsing
Loading...Loading more...
AboutBlogChangelogRoadmap