Knowledge Insulating Vision-Language-Action Models: Train, Run Fast, Generalize [pdf]

Typesetting the "Begriffsschrift" by Gottlob Frege in Plain TeX [pdf]

Computational Complexity of Air Travel Planning (2003) [pdf]

What's a good go library for working with PDF?

Coq: The World's Best Macro Assembler? (2013) [pdf]

PDF crate to render invoices?

Does AI-Assisted Coding Deliver? A Difference-in-Differences Study of Cursor's Impact on Software Projects

An Algebraic Language for the Manipulation of Symbolic Expressions (1958) [pdf]

I made a fast, structured PDF extractor for RAG

Rank-balanced trees (2014)

Towards Pen-and-Paper-Style Equational Reasoning in Interactive Theorem Provers by Equality Saturation

WhatsApp Census

Viruses of the Mind (1991) Richard Dawkins [pdf]

Subscripts and sizes should be signed (2018)

PDF Will Support JPEG XL Format As 'Preferred Solution'

Typst-Unlit: Write literate Haskell programs in Typst

Quest for Permissively Licensed PDF Library in C#

Program-ing Finger Trees in Coq (2007)

Typechecking is undecideable when 'type' is a type (1989) [pdf]

Random Font – a typographic experiment exploring randomness [pdf]

Natural Language, Semantic Analysis, and Interactive Fiction (2006)

High-performance 2D graphics rendering on the CPU using sparse strips (PDF)

Peter Drucker: What [American execs] can learn from Japanese management (1970) [pdf]

slidef: Transform PDF presentations into embeddable web slides

Simple Resume: Generate PDF, HTML, and LaTeX resumes from a simple YAML config file

Programming a Program-Oriented-Language

made a high level structured pdf extractor for rust

Can I create PDF infographics/reports using Python?

PDFMaker - HTML to PDF Conversion

I made a fast, structured PDF extractor for Rust

More →