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

I am smarter than ChatGPT (at Clues by Sam)
goose.leaflet.pubΒ·16hΒ·
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Β·22hΒ·
Discuss: Lobsters, Hacker News, r/programming
πŸ”‘Cryptographic Protocols
The Science of Intelligent Exploration: Why We Need Exploration in AI
richardcsuwandi.github.ioΒ·2dΒ·
Discuss: Hacker News
πŸ”²Cellular Automata
Go Coding with Asparagos: The Smartest Peanut in the Neighborhood
dev.toΒ·6hΒ·
Discuss: DEV
πŸ’ΎBinary codes
A Feminist Account of Intersectional Algorithmic Fairness
arxiv.orgΒ·8h
🌍Cultural Algorithms
Format as a Prior: Quantifying and Analyzing Bias in LLMs for Heterogeneous Data
arxiv.orgΒ·1d
🧠Machine Learning
Simpler Category Theory
ryanbrewer.devΒ·5dΒ·
Discuss: Hacker News
πŸ”€Category Theory
Analysis and Detection of RIS-based Spoofing in Integrated Sensing and Communication (ISAC)
arxiv.orgΒ·8h
βš–οΈRISC-V Formal
"Emacs for Goodness' Sake", a Guide
github.comΒ·1dΒ·
Discuss: Hacker News
πŸ¦€Rust Macros
Harnessing MCP Servers with LangChain and LangGraph: A Comprehensive Guide
dev.toΒ·1dΒ·
Discuss: DEV
πŸ”—Constraint Handling
Troubleshooting EKS with MCP: The Good, the Bad, and the Ugly (plus the Setup)
dev.toΒ·1hΒ·
Discuss: DEV
πŸ“¦Container Security
LLM Assertiveness can be Mechanistically Decomposed into Emotional and Logical Components
arxiv.orgΒ·8h
🧠Intelligence Compression
Agri-Query: A Case Study on RAG vs. Long-Context LLMs for Cross-Lingual Technical Question Answering
arxiv.orgΒ·8h
βš™οΈCompression Benchmarking
I Supercharged My Browser GPT with Rust and WebAssembly: The Journey to a Dual-Engine AI
dev.toΒ·3hΒ·
Discuss: DEV
πŸ¦€Rust Macros
Custom slash commands in Claude Code
boliv.substack.comΒ·2dΒ·
Discuss: Substack
βš”οΈLean Tactics
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Β·8h
πŸ“ŠLearned Metrics
EyeMulator: Improving Code Language Models by Mimicking Human Visual Attention
arxiv.orgΒ·8h
πŸ“ŠFeed Optimization
WOMAC: A Mechanism For Prediction Competitions
arxiv.orgΒ·8h
πŸ”²Cellular Automata
Loading...Loading more...
AboutBlogChangelogRoadmap