Sign in

Stéfan van der Walt

@mentat.za.net
519 followers 44 following 15 posts

Researcher at UC Berkeley, mainly focused on Scientific Python. South African raising kids in the Californian mountains. Otherwise lives in Emacs & org-mode. Enjoys running, philosophy, history, and building things with others.

PostsRepliesMedia
Stéfan van der Walt @mentat.za.net · 22/07/2025
mystmd 1.6 is out! Static exports should now work with hosting services like GitHub Pages, RTD, etc. Give it a try and let us know if you run into difficulties. github.com/jupyter-book... You can also now preview doc builds in PRs via CircleCI, following this template: github.com/stefanv/myst...
github.com
Release v1.6.0 · jupyter-book/mystmd
What's Changed 📖 A few miscellaneous documentation updates by @rowanc1 in #2154 📖 Remove out of date readme note by @rowanc1 in #2155 🔗 Fix URLs in table of contents directive by @brianhawthorne i...
093
Stéfan van der Walt @mentat.za.net · 24/06/2025
@mystmd.org 1.5 is out, along with an updated web theme! github.com/jupyter-book... github.com/jupyter-book... Improved site footers, hidden entries and external URLs in table of contents, better UI for in-browser execution plus improved docs and bug-fixes.
github.com
Release mystmd@1.5.0 · jupyter-book/mystmd
(full changelog) Enhancements made 🗾 HTML Image Width #2111 (@rowanc1, @changeset-bot) 👽 Handle external URL specified in TOC #2102 (@stefanv, @fwkoch, @choldgraf, @mfisher87, @rowanc1, @changeset...
1112
Reposted by Stéfan van der Walt
Berkeley Institute for Data Science (BIDS) @ucbids.bsky.social · 21/05/2025
New seminar just announced! BIDS welcomes Peter Fackeldey (@pfackeldey.bsky.social) to campus on June 6. Don't miss his talk "Awkward Array: manipulating nested, variable-sized data with NumPy-like idioms" events.berkeley.edu/BIDS/event/2... #DataAnalysis #NumPy
Headshot of Peter Fackeldey with the text "Awkward Array: manipulating nested, variable-sized data with NumPy-like idiom"
1104
Reposted by Stéfan van der Walt
scientific-python.org @scientific-python.org · 19/05/2025
🚀Last week, the #ScientificPython Developer Summit brought together 32 package maintainers from across the ecosystem at eScience UW in Seattle! ✨It was a great opportunity to collaborate on improving the tools that power scientific Python research.🧑🏽‍💻 Thanks to everyone that joined! 🧡
0186
Reposted by Stéfan van der Walt
Paul “π” Ivanov - @ivanov@mastodon.sdf.org @paulivanov.bsky.social · 28/03/2025
Wouldn't it be nice if someone went through to highlight the newly un-redacted parts of previous JFK reports? I got you! Let me introduce you to `diff-jfk`
121
Stéfan van der Walt @mentat.za.net · 13/03/2025
Libro is a fantastic audiobook service: it's like Kindle, except that your *local bookstore* gets a portion of the profit each time you buy an audiobook.
020
Reposted by Stéfan van der Walt
Berkeley Institute for Data Science (BIDS) @ucbids.bsky.social · 12/03/2025
Take a peek at the NetworkX developers' retreat with Jarrod Millman, a key member of the leadership team! bids.berkeley.edu/news/fast-an... #NetworkX #OpenSource #PythonPackage
three people at the top of hill with the San Francisco Bay in the background and the NetworkX logo overlayed
075
Reposted by Stéfan van der Walt
Existential Comics @existentialcomics.com · 09/01/2025
Why major in philosophy? - can be smug after only 2-3 classes - only major where you finish knowing less than when you started - generally better beards than psychology - can't find a job, but then again what even is a job?
1848366
Reposted by Stéfan van der Walt
Existential Comics @existentialcomics.com · 08/01/2025
Recently found out that some people are actually READING all the books that they buy to put on their shelf?? Seems unbelievable but apparently it's true.
5886855
Stéfan van der Walt @mentat.za.net · 09/01/2025
Not to be outdone on the procrastination *ahem* I mean productivity front, I adapted @charlbotha.com's org-timer pomodoro solution for waybar: mentat.za.net/blog/2025/01... bsky.app/profile/char...
Waybar displaying org-timer countdown
110
Reposted by Stéfan van der Walt
Peter W🤓 @wang.social · 14/11/2024
twitter.com/levelsio/sta...
twitter.com
@levelsio on X: "MEGA update: 🥳 IT WORKS: we now have a working dial up internet connection on a virtual Windows 3.11 computer running inside a browser over a virtual modem that talks via Websockets to a PPP daemon! So you can open https://t.co/RRYOCWrpFY, open the computer, browse the web https://t.co/pXEC81krM4" / X
MEGA update: 🥳 IT WORKS: we now have a working dial up internet connection on a virtual Windows 3.11 computer running inside a browser over a virtual modem that talks via Websockets to a PPP daemon! So you can open https://t.co/RRYOCWrpFY, open the computer, browse the web https://t.co/pXEC81krM4
011
Stéfan van der Walt @mentat.za.net · 14/11/2024
To escape tab hell (once again), I wrote an extension to back up my list of Chrome / Chromium tabs into an org / markdown text file. Once that's done, I can close them all! And, of course, I'll get back to them "when the time is right". mentat.za.net/blog/2024/11...
mentat.za.net
Exporting List of Chromium Tabs · Stéfan's blog
How to export a list of all Chrome / Chromium tabs, per window, per tab group.
392
Reposted by Stéfan van der Walt
Julia Evans @b0rk.jvns.ca · 07/11/2024
just discovered litecli (github.com/dbcli/litecli), it feels like a big improvement over the default SQLite REPL (autocompletion! support for multiline queries! syntax highlighting!)
612014
Reposted by Stéfan van der Walt
Charl P. Botha @charlbotha.com · 03/11/2024
During #PGP key-signing session with @mentat.za.net we just learned that keys.openpgp.org must strip third party signatures from public keys which complicates #WebOfTrust keys.openpgp.org/about/faq#th... This is such a pity, because #openpgp keyserver's WKD as a service is great!
openpgp.org
OpenPGP
Email encryption. For all operating systems. Standing the test of time.
021
Reposted by Stéfan van der Walt
Charl P. Botha @charlbotha.com · 07/11/2024
PGP key discovery via Web Key Directory (WKD) aka setting it up so your #email clients can automatically find your #PGP public key by friend @mentat.za.net mentat.za.net/blog/2024/11...
mentat.za.net
PGP key discovery via Web Key Directory (WKD) · Stéfan's blog
How Web Key Directory works for discovering PGP keys associated with a given email address, and how to set up your own.
031