🐿️ 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·6h
📜Digital Philology
Simply Plural Web App
app.apparyllis.com·1d
🌀Brotli Dictionary
Using Typst to Typeset Novels
splinterton.com·1d·
Discuss: Hacker News
🖋Typography
Situated Software (2004)
web.archive.org·2d·
Discuss: Hacker News
🚀Indie Hacking
Advanced PDF Optimization Techniques - 1752828
dev.to·14h·
Discuss: DEV
📸PNG Optimization
Getting past LLM "day one" problem with MIRIX
fujimon.com·18h·
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·19h
🧠Neural Compression
Creating an AI Study Buddy Assistant with Google AI Studio
dev.to·17h·
Discuss: DEV
⚡Proof Automation
🛡️ 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·19h
🔲Cellular Automata
GoLang 101: Getting Started with Go
dev.to·2d·
Discuss: DEV
🧠Lisp Dialects
COLIBRI Fuzzy Model: Color Linguistic-Based Representation and Interpretation
arxiv.org·2d
🌈Color Science
Regex Is a 70-Year-Old Dinosaur—Here’s the Modern Alternative
hackernoon.com·1d
🔍RegEx Engines
Document_DB_Command_Describer: Simplifying Document Database Commands
dev.to·1d·
Discuss: DEV
🤖Archive Automation
[D] What are the knowledge background and skills needed to develop and contribute to projects like Unsloth?
reddit.com·9h·
Discuss: r/MachineLearning
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Wrote my own DB engine in Go... open source it or not?
reddit.com·1d·
Discuss: r/golang
🔓Open Source Software
I built CodeMocker: AI-powered mock coding interviews
dev.to·13h·
Discuss: DEV
🎙️Whisper
Unpythonic: Supercharge your Python with parts of Lisp and Haskell
github.com·6d·
Discuss: Hacker News
🧠Lisp Dialects
Loading...Loading more...
AboutBlogChangelogRoadmap