🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🏛️ Constructive Type Theory

Martin-Löf Types, Intensional Equality, Proof Objects, Program Extraction

How to run an LLM on your laptop
technologyreview.com·15h
💻Local LLMs
Simply Plural Web App
app.apparyllis.com·11h
🌀Brotli Dictionary
Using Typst to Typeset Novels
splinterton.com·9h·
Discuss: Hacker News
🖋Typography
Everyone knows what a horse is: What we got wrong about universal translators
nimishg.substack.com·1d·
Discuss: Substack
💻Programming languages
Situated Software (2004)
web.archive.org·1d·
Discuss: Hacker News
🚀Indie Hacking
Grammatical Structure and Grammatical Variations in Non-Metric Iranian Classical Music
arxiv.org·2d
🎼Computational Musicology
Advancing Retrieval-Augmented Generation for Structured Enterprise and Internal Data
arxiv.org·1d
🔍Information Retrieval
MUPAX: Multidimensional Problem Agnostic eXplainable AI
arxiv.org·4h
🧠Machine Learning
HTML to PDF Conversion using Modern .NET Core Frameworks: The Ultimate Guide
hackernoon.com·1d
📄PDF Internals
Thought Purity: Defense Paradigm For Chain-of-Thought Attack
arxiv.org·1d
🛡️Proof-Carrying Archives
ADHD Devs: Does Rust's structure help or hinder your brain?
reddit.com·2d·
Discuss: r/rust
🦀Rust Macros
Semantic-guided Fine-tuning of Foundation Model for Long-tailed Visual Recognition
arxiv.org·4h
📊Learned Metrics
Xiangqi-R1: Enhancing Spatial Strategic Reasoning in LLMs for Chinese Chess via Reinforcement Learning
arxiv.org·1d
🔲Cellular Automata
Sandboxing AI - Extending AI Responsibly
dev.to·2d·
Discuss: DEV
🔒WASM Capabilities
AI whiplash, and Neovim in the age of AI
dlants.me·1d·
Discuss: Hacker News, r/neovim
✨Effect Handlers
Using LLVM To Supercharge AI Model Execution On Edge Devices
hackernoon.com·23h
🏭Compiler Backends
Machine Learning Fundamentals: dimensionality reduction
dev.to·1d·
Discuss: DEV
📐Linear Algebra
Creating an AI Study Buddy Assistant with Google AI Studio
dev.to·2h·
Discuss: DEV
⚡Proof Automation
Intuitive Fine-Tuning: Towards Simplifying Alignment into a Single Process
arxiv.org·3d
✨Effect Handlers
Agent Memory with Spring AI & Redis
dev.to·1d·
Discuss: DEV
⚡Redis Internals
Loading...Loading more...
AboutBlogChangelogRoadmap