🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🔗 Constraint Handling

CHR, Logic Programming, Rule Systems, Constraint Propagation

Use singular nouns for database table names
teamten.com·9h·
Discuss: Lobsters, Hacker News
💾Database Formats
ngn/k tutorial
razetime.github.io·3d
🔗Concatenative Programming
ActivityPub message rewrite facility (MRF) based on WASM
aumetra.xyz·17h·
Discuss: Hacker News
🔒WASM Capabilities
Building LangGraph: Designing an Agent Runtime from First Principles
blog.langchain.com·14h·
Discuss: Hacker News
⚙️TLA+
ML Systems: Motivating Dense Models
jacobkahn.me·2d·
Discuss: Hacker News
🧠Machine Learning
Optimizing Geometry Problem Sets for Skill Development
arxiv.org·1d
🗺️Competency Maps
Lessons from building an AI data analyst
pedronasc.com·4d·
Discuss: Hacker News
🌀Brotli Internals
Autonomation, Not Automation: Activities and Needs of European Fact-checkers as a Basis for Designing Human-Centered AI Systems
arxiv.org·19h
⚡Proof Automation
Dynamic Resource Orchestration via Predictive Container Scaling in Kubernetes
dev.to·3h·
Discuss: DEV
🌊Streaming Systems
Structure Transfer: an Inference-Based Calculus for the Transformation of Representations
arxiv.org·1d
🔤Type Theory
How to Vibe Code Effectively
ibrahimahmed.ca·2d·
Discuss: Hacker News
✅Formal Methods
Gromov-Wasserstein and optimal transport: from assignment problems to probabilistic numeric
arxiv.org·19h
📐Compression Bounds
AI Idea #1757094341
dev.to·5h·
Discuss: DEV
🤖AI Curation
Show HN: Training an LLM to Play Wordle with RL on Apple Silicon
charbull.github.io·2d·
Discuss: Hacker News
💻Local LLMs
Just One More Prompt
commandpattern.org·9h·
Discuss: Hacker News
⚡Proof Automation
Zero-shot Generalization in Inventory Management: Train, then Estimate and Decide
arxiv.org·19h
🧠Machine Learning
AI Idea #1757093985
dev.to·6h·
Discuss: DEV
🎛️Feed Filtering
Baby's first type checker
austinhenley.com·5d·
Discuss: Lobsters, Hacker News
🔤Type Theory
Denoising GER: A Noise-Robust Generative Error Correction with LLM for Speech Recognition
arxiv.org·19h
🧠Learned Codecs
Understanding Transformers Using a Minimal Example
rti.github.io·2d·
Discuss: Hacker News, r/programming
📝Text Parsing
Loading...Loading more...
AboutBlogChangelogRoadmap