corpus.blog
41554 blogs · 4,417,066 posts Claim your blog
Record · corpus.blog/posts/01a08217-a1c1-7397-be02-6bad00d2d79c

Breaking “provably correct” Leftpad

Luke Plant · published 3 October 2025

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at lukeplant.me.uk Wayback capture
2blogs citing
First cited
6 Oct 2025
Most recent
12 Jan 2026
Rank this month
not ranked
Links from this post
28
Words captured
3,217

Cited by

Blog
In the post
Date
ainoya.dev
Turning My Bookmark Service into a Personal AI Librarian with MCP Read at the source ↗
12 Jan 2026
Home - ewintr.nl
Links #2025-41 - Seven links and some contemplation Read at the source ↗
6 Oct 2025

Links from this post

Link
Host
https://www.hillelwayne.com/post/lpl/
hillelwayne.com
https://research.google/blog/extra-extra-read-all-about-it-nearly-all-binary-searches-and-mergesorts-are-broken/
research.google
https://github.com/hwayne/lets-prove-leftpad
github.com
https://github.com/hwayne/lets-prove-leftpad/tree/master
github.com
https://github.com/hwayne/lets-prove-leftpad/blob/ea9c0f09a2d3e981d82118497c307844fc7b1f49/java/LeftPad.java
github.com
https://live.lean-lang.org/
live.lean-lang.org
https://github.com/hwayne/lets-prove-leftpad/blob/ea9c0f09a2d3e981d82118497c307844fc7b1f49/creusot%20(rust
github.com
https://swiftfiddle.com/6x45qsd74jasbj4buruikqivne
swiftfiddle.com
https://en.wiktionary.org/wiki/nul_points
en.wiktionary.org
Why I’m not letting the juniors use GenAI for coding Read at the source ↗
lukeplant.me.uk
https://unicodeplus.com/U+0041
unicodeplus.com
https://en.wikipedia.org/wiki/Combining_character
en.wikipedia.org
https://unicode-explorer.com/articles/space-characters
unicode-explorer.com
https://en.wikipedia.org/wiki/Unicode_control_characters
en.wikipedia.org
https://hasufell.github.io/posts/2024-05-07-ultimate-string-guide.html
hasufell.github.io
https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/overloaded_strings.html
ghc.gitlab.haskell.org
https://en.wikipedia.org/wiki/UTF-8
en.wikipedia.org
https://en.wikipedia.org/wiki/UTF-16
en.wikipedia.org
https://en.wikipedia.org/wiki/Plane_(Unicode
en.wikipedia.org
https://peps.python.org/pep-0393/
peps.python.org
https://doc.rust-lang.org/std/string/struct.String.html
doc.rust-lang.org
https://doc.rust-lang.org/std/primitive.str.html
doc.rust-lang.org
https://developer.apple.com/documentation/swift/string
developer.apple.com
https://ucsd-progsys.github.io/liquidhaskell-blog/2018/05/17/hillel-verifier-rodeo-I-leftpad.lhs/
ucsd-progsys.github.io
https://unicodeplus.com/U+200B
unicodeplus.com
https://unicodeplus.com/U+2067
unicodeplus.com
https://docs.python.org/3/library/string.html
docs.python.org
https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/String/padStart
developer.mozilla.org