🐿️ 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¡22h
💻Local LLMs
Simply Plural Web App
app.apparyllis.com¡18h
🌀Brotli Dictionary
Situated Software (2004)
web.archive.org¡1d¡
Discuss: Hacker News
🚀Indie Hacking
Machine Learning Fundamentals: dimensionality reduction
dev.to¡1d¡
Discuss: DEV
📐Linear Algebra
AI whiplash, and Neovim in the age of AI
dlants.me¡1d¡
Discuss: Hacker News, r/neovim
✨Effect Handlers
Creating an AI Study Buddy Assistant with Google AI Studio
dev.to¡9h¡
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
PLEX: Perturbation-free Local Explanations for LLM-Based Text Classification
arxiv.org¡2d
💻Local LLMs
MediaMind AI - Intelligent Content Discovery Platform with Algolia MCP Server
dev.to¡1d¡
Discuss: DEV
🧭Content Discovery
QuestA: Expanding Reasoning Capacity in LLMs via Question Augmentation
arxiv.org¡11h
✓Automated Theorem Proving
How Apex Fusion and Well-Typed Are Shaping the Future of Institutional DeFi on Cardano
hackernoon.com¡2d
🤝Distributed Consensus
Janet Feature Demos
github.com¡2d¡
Discuss: Lobsters, Hacker News
🧠Lisp Dialects
A Rust shaped hole
ente.io¡4d
🦀Rust Macros
Getting past LLM "day one" problem with MIRIX
fujimon.com¡9h¡
Discuss: Hacker News
💾Persistence Strategies
On The Role of Intentionality in Knowledge Representation: Analyzing Scene Context for Cognitive Agents with a Tiny Language Model
arxiv.org¡3d
🔢Denotational Semantics
Advanced PDF Optimization Techniques - 1752828
dev.to¡6h¡
Discuss: DEV
📸PNG Optimization
🤖 Building an AI-Powered GitHub README Generator with MCP Protocol
dev.to¡2d¡
Discuss: DEV
🔌Interface Evolution
Inverse Reinforcement Learning Meets Large Language Model Post-Training: Basics, Advances, and Opportunities
arxiv.org¡11h
🧠Neural Compression
🛡️ Paladin-mini: Open-Source Grounding Model That Actually Works in Production
dev.to¡1d¡
Discuss: DEV
⚡Proof Automation
Loading...Loading more...
AboutBlogChangelogRoadmap