🐿️ 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·2d
🔌Interface Evolution
I am smarter than ChatGPT (at Clues by Sam)
goose.leaflet.pub·1d·
Discuss: Hacker News
🔲Cellular Automata
How Many Paths of Length K Are There Between a and B?
horace.io·2d·
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
Show HN: Cosmic AI Platform – Build and deploy CMS sites using natural language
cosmicjs.com·6h·
Discuss: Hacker News
🔗Hypermedia APIs
Looking back at "legacy" HTML practices
nooshu.com·1h·
Discuss: Hacker News
🏺Format Archaeology
Custom slash commands in Claude Code
boliv.substack.com·3d·
Discuss: Substack
⚔️Lean Tactics
how to build a youtube clone with python
dev.to·2d·
Discuss: DEV
🌀Brotli Dictionary
Towards Synthesizing Normative Data for Cognitive Assessments Using Generative Multimodal Large Language Models
arxiv.org·17h
📊Learned Metrics
Benchmarking GPT-5 vs Claude 4 Sonnet on 200 Requests
dev.to·6h·
Discuss: DEV
⚙️Compression Benchmarking
EyeMulator: Improving Code Language Models by Mimicking Human Visual Attention
arxiv.org·17h
📊Feed Optimization
WOMAC: A Mechanism For Prediction Competitions
arxiv.org·17h
🔲Cellular Automata
Harnessing MCP Servers with LangChain and LangGraph: A Comprehensive Guide
dev.to·1d·
Discuss: DEV
🔗Constraint Handling
Legal Doublet (Wikipedia)
en.wikipedia.org·1d·
Discuss: Hacker News
📜Text Collation
Can AI Have a Personality? Prompt Engineering for AI Personality Simulation: A Chatbot Case Study in Gender-Affirming Voice Therapy Training
arxiv.org·17h
💻Programming languages
Context Engineering: Bringing Engineering Discipline to Prompts—Part 3
oreilly.com·1d
🔄Archival Workflows
Advancing Weakly-Supervised Change Detection in Satellite Images via Adversarial Class Prompting
arxiv.org·17h
📊Learned Metrics
The Science of Intelligent Exploration: Why We Need Exploration in AI
richardcsuwandi.github.io·2d·
Discuss: Hacker News
🔲Cellular Automata
An experimental approach: The graph of graphs
arxiv.org·17h
🌈Spectral Methods
Sapir-Whorf does not apply to Programming Languages
buttondown.com·5d·
Discuss: Hacker News
💻Programming languages
Loading...Loading more...
AboutBlogChangelogRoadmap