Solving Regex Crosswords with Z3
For a while now, I’ve been fascinated by Z3 and by SMT solving more broadly. While on pat leave recently, I was reminded of the existence of regular-expression crossword puzzles, and allowed myself to get nerdsniped by writing a Z3-backed solver.
I expected to spend perhaps an afternoon cranking out a quick solver; I ended up getting sucked into understanding and debugging Z3 performance, and learning far more about Z3 and about SMT than I expected....
Take me to this post.
October 21, 2025
Microspeak: The hockey stick on wheels
You're always a year away.
The post Microspeak: The hockey stick on wheels appeared first on The Old New Thing....
Take me to this post.
October 21, 2025
Your personal mentor for Python and Pandas
I’ve been teaching Python and Pandas for decades — in companies, at conferences, and on YouTube — and I keep hearing the same frustrations everywhere I go: That’s why I’ve spent the last few months completely rebuilding LernerPython.com. It’s a complete, structured learning experience, not just a set of courses. Instead of leaving you on […]
The post Your personal mentor for Python and Pandas appeared first on Reuven Lerner....
Take me to this post.
October 21, 2025
The Vision Behind Daria Nevezhyna’s Interactive Configurators
Designer Daria Nevezhyna shows how animation and AI can transform product design into an interactive storytelling experience....
Take me to this post.
October 21, 2025
CodeSOD: A Percentage of Refactoring
Joseph was doing a refactoring effort, merging some duplicated functions into one, cleaning up unused Java code that really should have been deleted ages ago, and so on. But buried in that pile of code that needed cleaning up, Joseph found this little bit of code, to validate that an input was a percentage.
@Override
public Integer validatePercent(final String perc, final int currentPerc){
char[] percProc= perc.toCharArray();
char[] newPerc = new char[perc.length()];
int percent=0;
...
Take me to this post.
October 21, 2025
Regulation Isn’t the European Trap — Resignation Is
Plenty has been written about how hard it is to build in Europe versus the US.
The list is always the same with little process: brittle politics, dense
bureaucracy, mandatory notaries, endless and rigid
KYC and
AML processes.
Fine. I know, you know.
I’m not here to add another complaint to the pile (but if we meet over a beer
or coffee, I’m happy to unload a lot of hilarious anecdotes on you). The
unfortunate reality is that most of these constraints won’t change in my
lifetime and maybe ever....
Take me to this post.
October 21, 2025
Make sure it works first
Explore the importance of functionality over elegance in Swizec's latest piece. Learn from his experience of tripling an engineering team's size within a year....
Take me to this post.
October 21, 2025