Top all-time · #1097
Dennis Yurichev
Personal blog · yurichev.com/blogprogrammingsecurity
Dennis Yurichev is a personal blog at yurichev.com about programming and security. Since 2013, 61 different Hacker News readers have linked it 145 times, most often “The Errors of TeX [pdf] (1989)”. It is still writing: the last post was on 2026-10-25, and you can follow it by feed.
Sometimes recommended · 14 of 40 sampled comments recommend it?
Why HN links it
HN readers link Dennis Yurichev's site mainly for SAT/SMT by Example and Z3 material, and for mirrored PDFs of Knuth's TeX error papers and JPL C coding standards.
- Recommended for · 14 comments
- SAT/SMT by Example called good and the best resource; Knuth's TeX errors paper worth reading
Summarised by Claude from a sample of 40 HN comments that link here. Each comment is marked recommending, critical or neutral (citing without judging); how this works.
Most-linked posts?
- The Errors of TeX [pdf] (1989)9 people · 13 mentions · first linked 2018-12-03
- SAT/SMT by Example [pdf]7 people · 12 mentions · first linked 2018-06-11
- /mirrors/C/JPL_Coding_Standard_C.pdf5 people · 5 mentions · first linked 2020-01-06
- IEEE 754 round-off errors3 people · 4 mentions · first linked 2021-01-31
- Bayes Classifier for Your Books3 people · 3 mentions · first linked 2021-04-26
- An Introduction To Reverse Engineering for Beginners [pdf]3 people · 3 mentions · first linked 2013-08-15
- Quick introduction into SAT/SMT solvers and symbolic execution [pdf]3 people · 3 mentions · first linked 2017-05-11
- /blog/UAL/2 people · 3 mentions · first linked 2018-07-25
- Assembly Language for Beginners [pdf]2 people · 2 mentions · first linked 2018-07-17
- /SAT_SMT.html2 people · 2 mentions · first linked 2019-02-06
What Hacker News says?
Yes. Explanation: https://yurichev.com/blog/UAL/
Comment linking /blog/UAL/
on “Assembly Language for Beginners [pdf]”Submitted Assembly Language for Beginners [pdf] as a story · 672 points
HN discussionYes. Explanation: https://yurichev.com/blog/UAL/
Comment linking /blog/UAL/
on “Assembly Language for Beginners [pdf]”Submitted Mathematics for Programmers [pdf] as a story · 589 points
HN discussionDiffPDF 2.1.3 finds only two tiny (if weird) differences in the appearance of the two versions of the books ( https://yurichev.com/writings/AL4B-EN.pdf and https://beginners.re/RE4B-EN.pdf ) besides the title, author and build date: two page references at pages 1075 and 1078. Since both sites appear to be owned by the book's author this is most likely just a change that has not yet been pushed to github (or mentione…
Comment linking /writings/AL4B-EN.pdf
on “Assembly Language for Beginners [pdf]”Submitted Some Git internals as a story · 183 points
HN discussionFor TeX he has written a single large test called the TRIP test: described in "A torture test for TeX" ( http://texdoc.net/pkg/tripman ). This is a conformance test (to weed out bad reimplementations), written after TeX was written and debugged. (See https://texfaq.org/FAQ-triptrap for details.) Apart from this report there isn't a separate book about testing TeX specifically, though there is a TeX manual ( The TeXb…
Comment linking /mirrors/knuth1989.pdf
on “Donald Knuth was framed”Submitted Cracking Minesweeper with Z3 SMT Solver as a story · 177 points
HN discussionhttps://yurichev.com/news/20191207_github/
Comment linking /news/20191207_github/
on “Mathematics for Programmers [pdf]”Submitted Autocomplete Using Markov Chains as a story · 166 points
HN discussionI found this blog post quite interesting[1]. The author is optimising rack positionning to minimise cabling. However, trying to use his method to optimise a linear typewriter[2] proved unsuccessful, as projected solving time was around 13 million years. [1] https://yurichev.com/blog/cabling_Z3/ [2] https://www.benjaminpoilve.com/projects/typewriter-optimisat...
Comment linking /blog/cabling_Z3/
on “Modern SAT solvers: fast, neat and underused”Submitted SAT/SMT by Example [pdf] as a story · 145 points
HN discussionMinesweeper: https://yurichev.com/blog/minesweeper_SAT_SN Hexiom: https://github.com/hugomg/hexiom
Comment linking /blog/minesweeper_SAT_SN
on “Modern SAT solvers: fast, neat and underused”Submitted Encrypted database case #1 as a story · 143 points
HN discussionIf you enjoy this format, the same author also wrote "SAT/SMT By Example" which I learned a lot from: https://yurichev.com/SAT_SMT.html
Comment linking /SAT_SMT.html
on “Reverse Engineering for Beginners [pdf]”Submitted Toy decompiler for x86-64 written in Python [pdf] as a story · 135 points
HN discussionAlthough I sympathize with this line of thought, remember that we’re all uninitiated by the standards of a few decades ago. The time was when you were uninitiated if you couldn’t hand assemble your programs to a series of hex digits. Indeed, I own a copy of a book aimed at children that teaches you how to do just that for the BBC Micro and ZX Spectrum. (The publisher released it as a free PDF if anyone is curious: h…
Comment linking /mirrors/machine-code-for-beginners.pdf
on “Can we trust Microsoft with open source?”Submitted Rolling hash; Rabin-Karp string search as a story · 131 points
HN discussionThe problem with Ada, was the price of the compilers, and that the few UNIX vendors that bothered with Ada, like Sun, it was an additional license on top of the already expensive SunOS/Solaris Developer SDK. Thus the push for C and C++, alongside security certifications, where those languages feel like using Ada with a C like syntax. https://www.perforce.com/blog/kw/NASA-rules-for-developing-s... https://yurichev.co…
Comment linking /mirrors/C/JPL_Coding_Standard_C.pdf
on “Translating All C to Rust (TRACTOR)”Submitted Knuth-Morris-Pratt string-searching algorithm: DFA-less version as a story · 109 points
HN discussionAbout your footnote: see Knuth's paper "The Errors of TeX", a detailed analysis of 860+ "errors" made during TeX's development. ( https://yurichev.com/mirrors/knuth1989.pdf or DOI: 10.1002/spe.4380190702) (The current number stands at 947: http://texdoc.net/texmf-dist/doc/generic/knuth/errata/errorl... )
Comment linking /mirrors/knuth1989.pdf
on “38% of bugs at Airbnb could have been prevented by using types”Submitted C, C++, x86/x64 assembly: The case of forgotten return as a story · 97 points
HN discussionShameless plug about IEEE 754 round-off errors: https://yurichev.com/news/20210131_IEEE_754/
Comment linking /news/20210131_IEEE_754/
on “Hacker's Guide to Numerical Analysis”Submitted Sat solver on top of regex matcher as a story · 91 points
HN discussionFocusing on x86-64 (don't waste your time starting with the 32-bit variant when learning, let alone x87 FPU instructions, there's plenty of up-to-date materials for contemporary architectures nowadays): - Chapter 10, Assembly Language ( https://www3.nd.edu/~dthain/compilerbook/compilerbook.pdf#ch... ) of http://compilerbook.org/ - intro_x86-64: Introduction to x86_64 assembly - https://gitlab.com/mcmfb/intro_x86-64…
Comment linking /blog/UAL/
on “Clang Format Tanks Performance”Submitted Drawing a circle, point-by-point, without floating point support as a story · 79 points
HN discussionRelevant: Knuth's paper "The Errors of TeX" https://yurichev.com/mirrors/knuth1989.pdf
Comment linking /mirrors/knuth1989.pdf
on “Chibicc: A Small C Compiler”Submitted IEEE 754 round-off errors as a story · 78 points
HN discussionThis is good too: https://yurichev.com/writings/SAT_SMT_by_example.pdf
Comment linking /writings/SAT_SMT_by_example.pdf
on “A dumb introduction to z3”Submitted Solving pocket Rubik’s cube (2*2*2) using Z3 and SAT solver as a story · 75 points
HN discussion
