🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
πŸ—οΈ Constructive Logic

Intuitionistic Proofs, Program Extraction, Computational Content, Type Theory

Some recent project milestones
markjgsmith.comΒ·1d
πŸ”ŒInterface Evolution
My Current AI Dev Workflow
steipete.meΒ·1d
⚑Proof Automation
I am smarter than ChatGPT (at Clues by Sam)
goose.leaflet.pubΒ·19hΒ·
Discuss: Hacker News
πŸ”²Cellular Automata
How Many Paths of Length K Are There Between a and B?
horace.ioΒ·1dΒ·
Discuss: Hacker News
πŸ•ΈοΈGraph Algorithms
Barking Up The Ratchet Tree – MLS Is Neither Royal Nor Nude
soatok.blogΒ·1dΒ·
Discuss: Lobsters, Hacker News, r/programming
πŸ”‘Cryptographic Protocols
A Feminist Account of Intersectional Algorithmic Fairness
arxiv.orgΒ·11h
🌍Cultural Algorithms
Format as a Prior: Quantifying and Analyzing Bias in LLMs for Heterogeneous Data
arxiv.orgΒ·1d
🧠Machine Learning
"Emacs for Goodness' Sake", a Guide
github.comΒ·1dΒ·
Discuss: Hacker News
πŸ¦€Rust Macros
Simpler Category Theory
ryanbrewer.devΒ·6dΒ·
Discuss: Hacker News
πŸ”€Category Theory
Analysis and Detection of RIS-based Spoofing in Integrated Sensing and Communication (ISAC)
arxiv.orgΒ·11h
βš–οΈRISC-V Formal
Troubleshooting EKS with MCP: The Good, the Bad, and the Ugly (plus the Setup)
dev.toΒ·3hΒ·
Discuss: DEV
πŸ“¦Container Security
LLM Assertiveness can be Mechanistically Decomposed into Emotional and Logical Components
arxiv.orgΒ·11h
🧠Intelligence Compression
Agri-Query: A Case Study on RAG vs. Long-Context LLMs for Cross-Lingual Technical Question Answering
arxiv.orgΒ·11h
βš™οΈCompression Benchmarking
Using panic metadata to recover source code information from Rust binaries | cxiao.net
cxiao.netΒ·1h
πŸ¦€Rust Macros
I Supercharged My Browser GPT with Rust and WebAssembly: The Journey to a Dual-Engine AI
dev.toΒ·6hΒ·
Discuss: DEV
πŸ¦€Rust Macros
Custom slash commands in Claude Code
boliv.substack.comΒ·2dΒ·
Discuss: Substack
βš”οΈLean Tactics
Harnessing MCP Servers with LangChain and LangGraph: A Comprehensive Guide
dev.toΒ·1dΒ·
Discuss: DEV
πŸ”—Constraint Handling
how to build a youtube clone with python
dev.toΒ·1dΒ·
Discuss: DEV
πŸŒ€Brotli Dictionary
Towards Synthesizing Normative Data for Cognitive Assessments Using Generative Multimodal Large Language Models
arxiv.orgΒ·11h
πŸ“ŠLearned Metrics
EyeMulator: Improving Code Language Models by Mimicking Human Visual Attention
arxiv.orgΒ·11h
πŸ“ŠFeed Optimization
Loading...Loading more...
AboutBlogChangelogRoadmap