Luke Plant: Breaking “provably correct” Leftpad
Link: https://lukeplant.me.uk/blog/posts/breaking-provably-correct-leftpad/
I don’t know much about about formal methods, so a while back I read Hillel Wayne’s post Let’s prove Leftpad with interest. However:
I know Donald Knuth’s famous quote: “Beware of bugs in the above c
Link: https://lukeplant.me.uk/blog/posts/breaking-provably-correct-leftpad/
I don’t know much about about formal methods, so a while back I read Hillel Wayne’s post Let’s prove Leftpad with interest. However:
I know Donald Knuth’s famous quote: “Beware of bugs in the above c
Luke Plant's home page
Breaking “provably correct” Leftpad
Why? Because it’s fun.
Mariatta: Disabling Signup in Django allauth
Link: https://mariatta.ca/posts/disabling-signup-django-allauth/
Django allauth
Django allauth is a popular third party package that provides a lot of functionality for handling user authentication,
with support for social authentication, email verification, multi-
Link: https://mariatta.ca/posts/disabling-signup-django-allauth/
Django allauth
Django allauth is a popular third party package that provides a lot of functionality for handling user authentication,
with support for social authentication, email verification, multi-
Mariatta
Disabling Signup in Django allauth
Django allauth Django allauth is a popular third party package that provides a lot of functionality for handling user authentication, with support for social authentication, email verification, multi-factor authentication, and more.
It is a powerful library…
It is a powerful library…
Graham Dumpleton: Lazy imports using wrapt
Link: https://grahamdumpleton.me/posts/2025/10/lazy-imports-using-wrapt/
PEP 810 (explicit lazy imports) was recently released for Python. The idea with this PEP is to add explicit syntax for implementing lazy imports for modules in Python.
lazy import json
Lazily importi
Link: https://grahamdumpleton.me/posts/2025/10/lazy-imports-using-wrapt/
PEP 810 (explicit lazy imports) was recently released for Python. The idea with this PEP is to add explicit syntax for implementing lazy imports for modules in Python.
lazy import json
Lazily importi
grahamdumpleton.me
Lazy imports using wrapt - Graham Dumpleton
How to implement Python lazy import mechanism using wrapt.
Rodrigo Girão Serrão: TIL #134 – = alignment in string formatting
Link: https://mathspp.com/blog/til/-alignment-in-string-formatting
Today I learned how to use the equals sign to align numbers when doing string formatting in Python.
There are three main alignment options in Python's string formatting:
Character
Meaning
<
al
Link: https://mathspp.com/blog/til/-alignment-in-string-formatting
Today I learned how to use the equals sign to align numbers when doing string formatting in Python.
There are three main alignment options in Python's string formatting:
Character
Meaning
<
al
Mathspp
TIL 134 – = alignment in string formatting
Today I learned how to use the equals sign to align numbers when doing string formatting in Python.