🐿️ 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Β·12h
πŸ“œ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
Getting past LLM "day one" problem with MIRIX
fujimon.comΒ·1dΒ·
Discuss: Hacker News
πŸ’ΎPersistence Strategies
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Β·1d
πŸ”²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Β·3d
🌈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Β·15hΒ·
Discuss: r/MachineLearning
🏴󠁧󠁒󠁳󠁣󠁴󠁿Scottish Computing
How Kiro Transformed My Vibe Coding into Structured, Production-Ready Development
dev.toΒ·5hΒ·
Discuss: DEV
🧱Immutable Infrastructure
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Β·19hΒ·
Discuss: DEV
πŸŽ™οΈWhisper
CarCare Pro Generated AI App
dev.toΒ·1hΒ·
Discuss: DEV
πŸŒ€Brotli Internals
Unpythonic: Supercharge your Python with parts of Lisp and Haskell
github.comΒ·6dΒ·
Discuss: Hacker News
🧠Lisp Dialects
Machine Learning Fundamentals: dimensionality reduction with python
dev.toΒ·1dΒ·
Discuss: DEV
🧠Machine Learning
IoT AI with Ioto
dev.toΒ·2dΒ·
Discuss: DEV
πŸŽ™οΈWhisper
sync.Once β€” Go's simple pattern for safe one-time execution.
dev.toΒ·1dΒ·
Discuss: DEV
πŸ”„Lens Laws
Loading...Loading more...
AboutBlogChangelogRoadmap