🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
👁️ Constructive OCR

Proof-carrying Recognition, Verified Text Processing, Type-safe Parsing

🔎 What is OCR? and How Can You Use It Without Any ML Experience?!
dev.to·2d·
Discuss: DEV
📄OCR
A Regular Expression Matcher Code: Rob Pike, exegesis by Brian Kernighan
cs.princeton.edu·1d
🔍RegEx Engines
Choosing the rijght .NET container image for your workload
medium.com·2h·
Discuss: Hacker News
📦Container Security
The Recursive Coherence Principle: A Formal Constraint on Scalable Intelligence, Alignment, and Reasoning Architecture
arxiv.org·8h
🧠Intelligence Compression
A Practical (and Incomplete) History of Language Models
obrhubr.org·12h
🧮Kolmogorov Complexity
Show HN: An OCR PDF large batch renaming tool
github.com·8h·
Discuss: Hacker News
🤖Archive Automation
I Found a New Open Source Grammar Checker Tool And I Like it... Well... Kind of
itsfoss.com·1d
📝Concrete Syntax
Google’s Gemini 2.5 now supports "conversational image segmentation"
the-decoder.com·21h
🤖Advanced OCR
Screenshot and AI-Resistant Data Protection Using Temporal Integration
igorkomolov.com·1h·
Discuss: Hacker News
🎬WebCodecs
LL and LR Parsing Demystified (2013)
blog.reverberate.org·1d·
Discuss: Lobsters, Hacker News
🔗Monadic Parsing
Adding OCR support to the local translator
blog.davidv.dev·3d
⟷Bidirectional Programming
Small world: The revitalization of small AI models for cybersecurity
news.sophos.com·2h
💻Local LLMs
AtrousMamaba: An Atrous-Window Scanning Visual State Space Model for Remote Sensing Change Detection
arxiv.org·8h
📐Projective Geometry
Building a Plain Seq2Seq Model for Language Translation
machinelearningmastery.com·1d
📝Text Compression
A reckless introduction to Hindley-Milner type inference
reasonableapproximation.net·2d·
Discuss: Lobsters, r/programming
🔤Type Theory
Open-Source LLM Helps Safeguard Text Generation Prompts and Responses
corp.roblox.com·8h·
Discuss: Hacker News
⚡Proof Automation
Build an AI-powered automated summarization system with Amazon Bedrock and Amazon Transcribe using Terraform
aws.amazon.com·1d
🌊Streaming Systems
We Built a Language Model 14,000,000x Smaller Than GPT3 and Formally Verified It
github.com·1d·
Discuss: Hacker News
🌳Context free grammars
Automating Kotlin Data Class Testing with KSP
hackernoon.com·6h
🦀Rust Macros
Keep Pydantic out of your Domain Layer
coderik.nl·5h·
Discuss: Hacker News
🔬Refinement Types
Loading...Loading more...
AboutBlogChangelogRoadmap