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

Emacs: Open URLs or search the web, plus browse-url-handlers
sachachua.com·17h
🐧FOSS
実務で使っているClaude Codeの開発環境の紹介
zenn.dev·2d
🇯🇵Japanese Computing
There are exponentially many vectors with small inner product
lmao.bearblog.dev·1d·
Discuss: Hacker News
⚽Sphere Packing
Going on the Offensive with Creative Strategy
rogermartin.medium.com·20h·
Discuss: Hacker News
🎯Proof Tactics
It's bye for now, and so here are my final thoughts on technology
yukinu.com·22h·
Discuss: Hacker News
🇷🇺Russian Computing
How to Build Agents Users Can Trust
builders.ramp.com·1d·
Discuss: Hacker News
🔗Constraint Handling
Stop Converting Your REST APIs to MCP
jlowin.dev·21h·
Discuss: Hacker News
📞Session Types
[R] Temporal Logic as a means to guarantee safety and efficiency in LLMs
reddit.com·4d·
Discuss: r/MachineLearning
📏Linear Logic
LLMs are telepathy. We just don't know it yet
monarchwadia.com·1d·
Discuss: Hacker News
🏛Digital humanities
Expediting data extraction using a large language model (LLM) and scoping review protocol: a methodological study within a complex scoping review
arxiv.org·2d
🔄Archival Workflows
I ported the jsmn C JSON tokenizer to Go with goroutines for parallel parsing, seeking feedback
reddit.com·10h·
Discuss: r/golang
🔗Monadic Parsing
Machine Learning Fundamentals: cross validation tutorial
dev.to·1d·
Discuss: DEV
🌊Stream Processing
(Attempting to) Engineer the chaos out of AI agents
dev.to·20h·
Discuss: DEV
⚔️Lean Tactics
Basic To-Do List App
dev.to·1d·
Discuss: DEV
🌳Incremental Parsing
Why C and C++ Still Matter in the Age of Python and AI
dev.to·17h·
Discuss: DEV
🔩Systems Programming
Towards an Efficient Shifted Cholesky QR for Applications in Model Order Reduction using pyMOR
arxiv.org·1d
📐Linear Algebra
Dissecting Clinical Reasoning in Language Models: A Comparative Study of Prompts and Model Adaptation Strategies
arxiv.org·4d
🎙️Whisper
Learning Deliberately, Acting Intuitively: Unlocking Test-Time Reasoning in Multimodal LLMs
arxiv.org·2d
🎯Interactive Provers
Emergent misalignment as prompt sensitivity: A research note
arxiv.org·2d
✨Effect Handlers
Havoc – Heap Allocated Value Object Containers
github.com·5d·
Discuss: Hacker News
🔒Type Safety
Loading...Loading more...
AboutBlogChangelogRoadmap