- Wikipedia of Algebraic Geometry Will Forever Be Incomplete. (2022)
- I do (and don't) prepare a talk for a tech conference. (2022)
- Commonhaus Foundation: open-source innovation, collaboration, and sustainability
- Formal Methods and Machine Learning
- Modern LATEX, Second edition [pdf]
- Formal Methods Meet Machine Learning [pdf]
- Modern Latex: A short guide to LaTeX that avoids legacy cruft
- Transpilation – A summary of ideas about transpilation (AI, LLM, Code, etc.)
- Show HN: Practical typography résumé template recreated in LaTeX
- Brainfuck interpreter in TeX
- Sunlight, a Certificate Transparency log implementation
- Show HN: Answers to Chip Huyen's ML Interview Questions
- DARC: Next C-Corp or LLC registered on Ethereum, not with government [pdf]
- Why LaTeX Trumps Google Docs and Microsoft Word
- What if AGI is not coming?
- Connect arithmetic expressions into a smooth geometry space [pdf]
- Show HN: Experimenting with LLM's, Poetry, and Math [pdf]
- ActionScript 4 Language Spec (2012)
- Show HN: Notebook – A PGF/TikZ LaTeX Package for Custom Note-Taking Templates
- Notes on Paper (2023)
- Effective keyboard shortcuts cheat-sheet
- Show HN: Convviz – A small visualization of neural network convolution
- A pandoc LaTeX template to convert Markdown files to PDF or LaTeX
- Performance Analysis and Tuning on Modern CPU
- What Happened with the Web Monetization API?
- Show HN: Cumulus – Threat Modeling the Clouds
- Typst is a new typesetter aiming to be a modern alternative to LaTeX. I wrote a template for Penn State theses / dissertations. Take a look!
- A Lisp interpreter in Malbolge, dubbed the hardest Turing complete language
- Datafun: A Purely, Total Functional Datalog
- How linear algebra clicked for me
- Downloading a lot of files
- Archive.org Bulk Downloader
- Archive.org Bulk Downloader
- Archive.org Bulk Downloader
- reflect-cpp - Now with compile time extraction of field names from structs and enums using C++-20.
- I’m a beginner in programming, can you recommend me some helpful books?
- What site/app do you use to build your resume?
- What are some good tactical FPS’ in the market right now?
- How to find a tex package containing the 'OpenSans-LightItalic' font, or replace it?
- About to fail CMSC 216
- Рамки окружений.
- Best digital mahjong platform for a beginner of these 3?
- Page count of HPMOR in your version?
- Hungrybot
- Why do we have to put the const keyword in Flutter?
- Why was Barty Crouch Jr. nice at times when pretending to be Mad Eye Moody?
- Stanford LaTeX poster template - if anyone needs it :)
- Set column width across sections
- Ελληνικά LLM
- Ask HN: After Charles Petzold's Code and Nand2Tetris, What Next?