✅ Document Verification - matmat · Scour

Dolphin-v2: Universal Document Parsing via Scalable Anchor Prompting

arxiv.org·1d

📃Manuscript Tokenization

**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically Raft, using Lean 4 and dependen...

freederia.com·20h

🤝Consensus Protocols

OPTical ARchiver

ronja.twibright.com·23h·

Discuss: Hacker News

💿Optical Media

Is Markdown enough?

goodinternetmagazine.com·1d

🏷️Metadata Standards

Structured outputs on Amazon Bedrock: Schema-compliant AI responses

aws.amazon.com·15h

📋Document Grammar

DCP-o-matic • Re: CPL as compositions and multiple CPLs

dcpomatic.com·1h

🔗Concatenative Programming

Private Data Space Model

privatedata.space·2d

✅Format Verification

Building "zero-gap" secrets for a UGC platform

news.ycombinator.com·11h·

Discuss: Hacker News

🧪Binary Fuzzing

Kubernetes Operator for automated Jupyter Notebook validation in MLOps pipelines

reddit.com·12h·

Discuss: r/kubernetes

✅Archive Validation

RAPID: Roman Alerts Promptly from Image Differencing

science.nasa.gov·1d

📄Document Streaming

Synthesizing scientific literature with retrieval-augmented language models

nature.com·1d

🔍Information Retrieval

Build a Compiler in Five Projects

kmicinski.com·1h

pg_lake comes to Snowflake Postgres: What it means for open standards

thenewstack.io·1d

🗄️PostgreSQL WAL

Three Investigative Bottlenecks – Three New Baseline Capabilities

forensicfocus.com·22h

🎯Performance Forensics

Differential Logic • 1

inquiryintoinquiry.com·1d

📏Linear Logic

Fibonacci number certificates

johndcook.com·1d·

Discuss: Hacker News

🔐Certificate Analysis

CAP-SRP: Building a Cryptographic Flight Recorder for AI Content Refusals — A Complete Implementation Guide

dev.to·10h·

Discuss: DEV

🌳Archive Merkle Trees

Codex-Crusader/Image-Protector: A small Python tool to obfuscate images against automated scraping and basic ML analysis.

github.com·1d·

Discuss: Hacker News

📸PNG Optimization

SEAL: Symbolic Execution with Separation Logic (Competition Contribution)

arxiv.org·1d

🧠Separation Logic

🎲 Piecemeal Formal Verification: Cloudflare, Java Exceptions, and Rust Mutexes

gavinhoward.com·2d

🦀Rust Verification

Loading more...