🐿️ 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Β·19h
πŸ’»Local LLMs
Simply Plural Web App
app.apparyllis.comΒ·15h
πŸŒ€Brotli Dictionary
Situated Software (2004)
web.archive.orgΒ·1dΒ·
Discuss: Hacker News
πŸš€Indie Hacking
Sandboxing AI - Extending AI Responsibly
dev.toΒ·2dΒ·
Discuss: DEV
πŸ”’WASM Capabilities
Xiangqi-R1: Enhancing Spatial Strategic Reasoning in LLMs for Chinese Chess via Reinforcement Learning
arxiv.orgΒ·1d
πŸ”²Cellular Automata
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
Using LLVM To Supercharge AI Model Execution On Edge Devices
hackernoon.comΒ·1d
🏭Compiler Backends
Creating an AI Study Buddy Assistant with Google AI Studio
dev.toΒ·6hΒ·
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Β·8h
βœ“Automated Theorem Proving
How Apex Fusion and Well-Typed Are Shaping the Future of Institutional DeFi on Cardano
hackernoon.comΒ·1d
🀝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Β·6hΒ·
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Β·3hΒ·
Discuss: DEV
πŸ“ΈPNG Optimization
Loading...Loading more...
AboutBlogChangelogRoadmap