🐿️ 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·4h
📜Digital Philology
Simply Plural Web App
app.apparyllis.com·1d
🌀Brotli Dictionary
Brute-forcing Langley’s geometry problem with field extensions
chiark.greenend.org.uk·21h·
Discuss: Lobsters, Hacker News
📊Computational Geometry
Using Typst to Typeset Novels
splinterton.com·21h·
Discuss: Hacker News
🖋Typography
7 Python Web Development Frameworks for Data Scientists
kdnuggets.com·7h
🌐Web Standards
Situated Software (2004)
web.archive.org·2d·
Discuss: Hacker News
🚀Indie Hacking
Everyone knows what a horse is: What we got wrong about universal translators
nimishg.substack.com·1d·
Discuss: Substack
💻Programming languages
How to run an LLM on your laptop
technologyreview.com·1d·
Discuss: Hacker News
💻Local LLMs
Agent Memory with Spring AI & Redis
dev.to·2d·
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·2d·
Discuss: DEV
🧭Content Discovery
QuestA: Expanding Reasoning Capacity in LLMs via Question Augmentation
arxiv.org·17h
✓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
Machine Learning Fundamentals: dropout project
dev.to·4h·
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
🤖 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·17h
🧠Neural Compression
🛡️ Paladin-mini: Open-Source Grounding Model That Actually Works in Production
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Loading...Loading more...
AboutBlogChangelogRoadmap