Witiko's Avatar

Witiko

@witik0.bsky.social

Computer scientist, free software enthusiast, typographer, video gamer, and occasional music producer.

25 Followers  |  6 Following  |  10 Posts  |  Joined: 18.04.2025  |  1.3476

Latest posts by witik0.bsky.social on Bluesky

Preview
Add `\bool_assert:n` for checking invariants · Issue #1840 · latex3/latex3 After almost five years of writing expl3 code (starting with version 2.11.0 of the Markdown package, released 2021-10-01), two years spent designing and developing a static analyzer expltools for e...

I’ve proposed adding built-in assertion statements to expl3. Curious what others think, would this be useful in your LaTeX code? github.com/latex3/latex... #LaTeX #expl3 #TeX #programming

26.01.2026 09:37 — 👍 0    🔁 0    💬 0    📌 0
Video thumbnail

Built a palette extractor that thinks like a curator, not a pixel counter.

– Physics-based color repulsion
– Auto-detects muted vs vibrant bias
– Adaptive spacing to hit target count
– OKLCh color space (perceptually uniform)

Early Access: please break it!

chipper-otter-d6c600.netlify.app

08.01.2026 19:51 — 👍 481    🔁 76    💬 18    📌 8

I drafted a proposal for the recognition & formatting of acronyms, initialisms, and other all-caps sequences (github.com/witiko/markd...) in the Markdown package for TeX. Feedback from users is welcome: Is this useful, does the interface make sense, what problems do you see? #TeX #TeXLaTeX #Markdown

09.01.2026 11:11 — 👍 0    🔁 0    💬 0    📌 0
Static analysis of expl3 programs (11½): Chunks, edges, flow graphs, confidence, and reaching definitions Over the past two months, I released three new updates of expltools, the bundle that provides the explcheck static analyzer for the expl3 programming language. These updates include major improvement...

Just published a new explcheck devlog on flow graphs and how explcheck can use them to figure out which function definition each call refers to. More technical than usual, but hopefully it finds its audience. 🤞 witiko.github.io/Expl3-Linter... #LaTeX #expl3 #programming #TeXLaTeX

30.11.2025 13:06 — 👍 0    🔁 0    💬 0    📌 0

Version 3.12.1 of the Markdown package for TeX is the first release in several years without a corresponding CTAN upload. That's because all changes in this version concern continuous integration, so there's no need to overwhelm the CTAN staff with it. github.com/Witiko/markd...

22.11.2025 10:58 — 👍 0    🔁 0    💬 0    📌 0

Explcheck v0.13.0 introduces inter-file dependency analysis, segment representation, and code coverage reporting 🚀 Another milestone towards flow analysis!
witiko.github.io/Expl3-Linter... #LaTeX #expl3 #programming #TeXLaTeX

30.09.2025 00:27 — 👍 2    🔁 0    💬 1    📌 0

Thanks to Karl Berry, you can now preview the slides for my upcoming TUG 2025 talk—see you in Trivandrum, India! tug.org/tug2025/av/d...

10.07.2025 08:38 — 👍 0    🔁 0    💬 0    📌 0

Here are the full release notes: github.com/Witiko/explt...

26.06.2025 06:45 — 👍 0    🔁 0    💬 0    📌 0

Just wrapped up Legend of Zelda: Breath of the Wild after ~120 hours, and it still amazes me how different it feels from Tears of the Kingdom, which I shelved after ~20. To me, BotW was an almost meditative experience, whereas TotK just feels too busy, among other problems.

09.06.2025 07:02 — 👍 0    🔁 0    💬 0    📌 0

Great to have you back in Brno!

15.05.2025 07:02 — 👍 1    🔁 0    💬 1    📌 0

About 20 hours into a blind Zelda: BotW run. Loving it overall, but torn on the Lost Woods part. I hoped its linear, claustrophobic design would offer a fresh contrast but it just felt like a lesser game. At least it's short.

04.05.2025 10:09 — 👍 1    🔁 0    💬 0    📌 0

@witik0 is following 6 prominent accounts