🐿️ 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

Researchers explore machine learning to automate early modern text transcription ethically
phys.orgΒ·35m
πŸ“œDigital Philology
Simply Plural Web App
app.apparyllis.comΒ·20h
πŸŒ€Brotli Dictionary
How to run an LLM on your laptop
technologyreview.comΒ·1d
πŸ’»Local LLMs
Using Typst to Typeset Novels
splinterton.comΒ·18hΒ·
Discuss: Hacker News
πŸ–‹Typography
Situated Software (2004)
web.archive.orgΒ·1dΒ·
Discuss: Hacker News
πŸš€Indie Hacking
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
QuestA: Expanding Reasoning Capacity in LLMs via Question Augmentation
arxiv.orgΒ·13h
βœ“Automated Theorem Proving
A Rust shaped hole
ente.ioΒ·4d
πŸ¦€Rust Macros
MediaMind AI - Intelligent Content Discovery Platform with Algolia MCP Server
dev.toΒ·2dΒ·
Discuss: DEV
🧭Content Discovery
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
Machine Learning Fundamentals: dropout project
dev.toΒ·1hΒ·
Discuss: DEV
🌊Stream Processing
On The Role of Intentionality in Knowledge Representation: Analyzing Scene Context for Cognitive Agents with a Tiny Language Model
arxiv.orgΒ·3d
πŸ”’Denotational Semantics
Getting past LLM "day one" problem with MIRIX
fujimon.comΒ·12hΒ·
Discuss: Hacker News
πŸ’ΎPersistence Strategies
πŸ€– Building an AI-Powered GitHub README Generator with MCP Protocol
dev.toΒ·3dΒ·
Discuss: DEV
πŸ”ŒInterface Evolution
Inverse Reinforcement Learning Meets Large Language Model Post-Training: Basics, Advances, and Opportunities
arxiv.orgΒ·13h
🧠Neural Compression
πŸ›‘οΈ Paladin-mini: Open-Source Grounding Model That Actually Works in Production
dev.toΒ·1dΒ·
Discuss: DEV
⚑Proof Automation
Can the Law Compile? Legal Speech as Machine Code
hackernoon.comΒ·4d
πŸ’»Programming languages
Information-Theoretic Aggregation of Ethical Attributes in Simulated-Command
arxiv.orgΒ·13h
πŸ”²Cellular Automata
Loading...Loading more...
AboutBlogChangelogRoadmap