Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
b2ccb2
63 days ago
|
parent
|
context
|
favorite
| on:
Full Unicode Search at 50× ICU Speed with AVX‑512
The confusion likely stems from the relatively new introduction of the capitalized ẞ
https://de.wikipedia.org/wiki/Gro%C3%9Fes_%C3%9F
Maß capitalized (used to be) MASS.
Funnily enough, Mass means one liter beer (think Oktoberfest).
looperhacks
63 days ago
|
next
[–]
Both Maß and Mass are valid spellings for a liter of beer ;) Not to confuse it with Maß, which just means any measurement, of course.
andersa
63 days ago
|
prev
[–]
It's strange, because I would expect "maß" as the case insensitive search to match "MASS" in the search text, but "mass" should not match "Maß".
janc_
63 days ago
|
parent
[–]
I think all of those should be "tentative matches" for each other.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
Maß capitalized (used to be) MASS.
Funnily enough, Mass means one liter beer (think Oktoberfest).