๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
โš–๏ธ Constraint Logic

CHR Systems, Logic Programming, Rule-based Reasoning, Declarative Constraints

Claude Code on Amazon Bedrock - Anthropic
docs.anthropic.comยท2h
๐Ÿ‘‘Isabelle
Perennial Task Just Got More Flexible
arthurdick.comยท1dยท
Discuss: Hacker News
๐Ÿฆ‹Format Metamorphosis
Build Your Own Simple Data Pipeline with Python and Docker
kdnuggets.comยท18h
๐Ÿ”„Archive Workflows
A PhD's Apology
cappadokes.github.ioยท1dยท
Discuss: Hacker News
๐ŸงฎTheoretical Computer Science
The power of the Unix philosophy for LLM agentic tools
blog.korny.infoยท18hยท
Discuss: Hacker News
๐ŸšShell Calculus
My Experience With Claude Code After 2 Weeks of Adventures
sankalp.bearblog.devยท20hยท
Discuss: Hacker News
๐ŸŒณIncremental Parsing
NOCTA: Non-Greedy Objective Cost-Tradeoff Acquisition for Longitudinal Data
arxiv.orgยท1d
โง—Information Bottleneck
DCR: Quantifying Data Contamination in LLMs Evaluation
arxiv.orgยท2d
โœจEffect Handlers
A Discrete Analog of Tutte's Barycentric Embeddings on Surfaces
arxiv.orgยท4h
๐ŸŒComputational Topology
The AI Framework Trap
hackernoon.comยท3d
โšกProof Automation
Dual-Numbers Reverse AD for Functional Array Languages
arxiv.orgยท4h
๐Ÿ“ŠAPL Heritage
PLEX: Perturbation-free Local Explanations for LLM-Based Text Classification
arxiv.orgยท2d
๐Ÿ’ปLocal LLMs
I've been coding with AI for two years. Here is what I've learned
nathanpeck.comยท1dยท
Discuss: Hacker News
๐Ÿ’พPersistence Strategies
Canonical Bayesian Linear System Identification
arxiv.orgยท2d
๐Ÿง Machine Learning
Smarter AI for Critical Operations: Why Data Matters
thenewstack.ioยท2d
๐ŸŒŠStream Processing
How AI Detects Cancer in Whole Slide Images
hackernoon.comยท1d
๐Ÿง Machine Learning
On One-Shot Signatures, Quantum vs Classical Binding, and Obfuscating Permutations
arxiv.orgยท1d
๐Ÿ”Quantum Security
Identifying Task Groupings for Multi-Task Learning Using Pointwise V-Usable Information
arxiv.orgยท4h
๐Ÿง Intelligence Compression
Robust Route Planning for Sidewalk Delivery Robots
arxiv.orgยท1d
๐Ÿ”—Topological Sorting
Effective Practices for Coding with a Chat-Based AI
infoq.comยท1dยท
Discuss: Hacker News
๐Ÿ”„Language Evolution
Loading...Loading more...
AboutBlogChangelogRoadmap