frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

AI will make formal verification go mainstream

https://martin.kleppmann.com/2025/12/08/ai-formal-verification.html
456•evankhoury•8h ago•220 comments

alpr.watch

https://alpr.watch/
696•theamk•12h ago•340 comments

No Graphics API

https://www.sebastianaaltonen.com/blog/no-graphics-api
503•ryandrake•10h ago•91 comments

Announcing the Beta release of ty

https://astral.sh/blog/ty
426•gavide•8h ago•81 comments

GPT Image 1.5

https://openai.com/index/new-chatgpt-images-is-here/
371•charlierguo•11h ago•184 comments

Pricing Changes for GitHub Actions

https://resources.github.com/actions/2026-pricing-changes-for-github-actions/
565•kevin-david•12h ago•638 comments

VA Linux: The biggest dotcom IPO

https://dfarq.homeip.net/va-linux-the-biggest-dotcom-ipo/
15•giuliomagnifico•5d ago•0 comments

Various locale mismatch scenarios in Windows clipboard text format synthesis

https://devblogs.microsoft.com/oldnewthing/20251211-37/?p=111858
5•ibobev•4d ago•0 comments

Introduction to Software Development Tooling (2024)

https://bernsteinbear.com/isdt/
46•vismit2000•4h ago•4 comments

I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours

https://simonwillison.net/2025/Dec/15/porting-justhtml/
107•pbowyer•6h ago•64 comments

Show HN: Titan – JavaScript-first framework that compiles into a Rust server

https://www.npmjs.com/package/@ezetgalaxy/titan
18•soham_byte•5d ago•7 comments

No AI* Here – A Response to Mozilla's Next Chapter

https://www.waterfox.com/blog/no-ai-here-response-to-mozilla/
198•MrAlex94•7h ago•118 comments

40 percent of fMRI signals do not correspond to actual brain activity

https://www.tum.de/en/news-and-events/all-news/press-releases/details/40-percent-of-mri-signals-d...
419•geox•15h ago•179 comments

Mozilla appoints new CEO Anthony Enzor-Demeo

https://blog.mozilla.org/en/mozilla/leadership/mozillas-next-chapter-anthony-enzor-demeo-new-ceo/
463•recvonline•15h ago•718 comments

Sei AI (YC W22) Is Hiring

https://www.ycombinator.com/companies/sei/jobs/TYbKqi0-llm-engineer-mid-senior
1•ramkumarvenkat•4h ago

Thin desires are eating life

https://www.joanwestenberg.com/thin-desires-are-eating-your-life/
392•mitchbob•1d ago•157 comments

Testing a cheaper laminar flow hood

https://chillphysicsenjoyer.substack.com/p/testing-a-cheaper-laminar-flow-hood
30•surprisetalk•4d ago•6 comments

Dafny: Verification-Aware Programming Language

https://dafny.org/
47•handfuloflight•6h ago•23 comments

Japan to revise romanization rules for first time in 70 years

https://www.japantimes.co.jp/news/2025/08/21/japan/panel-hepburn-style-romanization/
155•rgovostes•20h ago•133 comments

Show HN: Learn Japanese contextually while browsing

https://lingoku.ai/learn-japanese
40•englishcat•4h ago•20 comments

Sega Channel: VGHF Recovers over 100 Sega Channel ROMs (and More)

https://gamehistory.org/segachannel/
238•wicket•16h ago•38 comments

The World Happiness Report is beset with methodological problems

https://yaschamounk.substack.com/p/the-world-happiness-report-is-a-sham
103•thatoneengineer•1d ago•123 comments

Nvidia Nemotron 3 Family of Models

https://research.nvidia.com/labs/nemotron/Nemotron-3/
170•ewt-nv•1d ago•31 comments

Chat-tails: Throwback terminal chat, built on Tailscale

https://tailscale.com/blog/chat-tails-terminal-chat
71•nulbyte•8h ago•12 comments

Writing a blatant Telegram clone using Qt, QML and Rust. And C++

https://kemble.net/blog/provoke/
98•tempodox•14h ago•58 comments

Twin suction turbines and 3-Gs in slow corners? Meet the DRG-Lola

https://arstechnica.com/cars/2025/11/an-electric-car-thats-faster-than-f1-around-monaco-thats-the...
10•PaulHoule•5d ago•3 comments

A Guide to Magnetizing N48 Magnets in Ansys Maxwell

https://blog.ozeninc.com/resources/from-datasheet-to-demagnetization-a-guide-to-magnetizing-n48-m...
4•peter_d_sherman•1h ago•0 comments

Show HN: Sqlit – A lazygit-style TUI for SQL databases

https://github.com/Maxteabag/sqlit
129•MaxTeabag•1d ago•19 comments

Show HN: TheAuditor v2.0 – A “Flight Computer” for AI Coding Agents

https://github.com/TheAuditorTool/Auditor
17•ThailandJohn•15h ago•7 comments

Rust GCC backend: Why and how

https://blog.guillaume-gomez.fr/articles/2025-12-15+Rust+GCC+backend%3A+Why+and+how
173•ahlCVA•16h ago•98 comments
Open in hackernews

Midjourney is alemwjsl

https://www.aadillpickle.com/blog/midjourney-is-alemwjsl
143•aadillpickle•6d ago

Comments

yorwba•5d ago
> It's actually insane the levels of understanding the algorithms that are responsible for serving us information have and how little we, the creators of said algorithms, understand what's going on in said algorithms.

Keyboard layout mismatches are common enough that I assume Google has a layout detection stage hardcoded just like they have typo correction hardcoded. And the creators of said algorithms probably understand very well how they work. (The naïve way would be to convert from every possible layout to every other layout, but I think you could build something more lightweight using Hidden Markov Models.)

alisonkisk•4h ago
Typos could be automatically discovered and indexed one word at a time by watching users search the wrong word (wrong input method) and then search again with the correct input method.
nelsondev•1h ago
This would be my guess, query reformulations (user rewriting their query after first doesn’t work for them) is very common technique that search engines look through search logs to learn (mis)spellings.
rhet0rica•39m ago
Although the author appears to be of Indian descent, I think this is just a case of "Silicon Valley Tech Bro Discovers Localization," particularly since he noted he didn't know the word "transliteration." YouTube downloader sites have recognized "d,jd,f" (the wrong-keyboard moonspeak for يوتيوب) as meaning "YouTube" since forever and include this term intentionally in hand-written SEO keyword lists, indicating pretty clearly that it's not just the Google algorithm familiar with this sort of mistake. It's a problem we don't really face in the monolingual English world, but in any region with digraphia, it's just a fact of everyday life. See also the related phenomenon of mojibake, when a computer screws up the text encoding rather than a human.
floren•5h ago
> I scroll up a bit to reread ChatGPT's analysis, and I realize it mentions "transliteration". I have no idea what that word means, so I look it up.

How?

Avicebron•5h ago
In this case the "writing system" is the set of typos that would occur when someone with an English and Korean keyboard layout forgets to switch off English and keystrokes what they expect would be the Korean. "Midjourney" is "alemwjsl" in that typo writing system
floren•5h ago
No I mean how do you never come across "transliteration", is that really such an unusual word?
Avicebron•5h ago
I don't think so, but I grew up before cell phones and AI so I had to learn how to read. I'll leave the explanation for the rest who skip over the guillemet at the beginning like I did.
jamilton•4h ago
Yeah, I think it's an uncommon word. It's not a concept that would come up for most American English speakers, unless you're in a community that uses a language with another writing system (I think I first encountered it in a synagogue with Hebrew) or you're learning such a language.

I think I've maybe occasionally seen "translit." in text used to mark that the following is transliterated, but I could see that being easily glossed over.

andoando•3h ago
I only know it because Im bilingual
bigstrat2003•2h ago
Not imo. It's a word that I would expect any adult who finished college to have seen before.
_nivlac_•4h ago
Everyone has gaps in their knowledge which can be things that "should be obvious" to others. If someone doesn't know something, they either forgot or haven't learned it yet! I appreciated the author's honesty here.
N_Lens•2h ago
But he's paid much less than what he makes companies, and his work is important and mysterious, don't you know?
GenerocUsername•5h ago
Going into article I guessed it s the Dvorak -> Qwerty mismatch.

Korean -> English makes more sense.

0x1ch•5h ago
Language changing layouts was my first guess. For some reason I don't think there's a large venn diagram of dvorak / colemak typists and A.I. enthusiasts.
msephton•5h ago
Very cool! Please add an RSS feed to your blog.
sergiotapia•5h ago
Google also knows what you're searching for if you touch type the wrong thing like one key shifted to the right.
nadermx•5h ago
This is a great example in tenacity. Pleasent to read too.
anyfoo•5h ago
This is actually pretty common. It's less obvious with Chinese or Japanese, as the input method there usually matches the transliteration based on how the word is spoken (romaji in Japanese, pinyin in Chinese), which of course does not look unusual.

For example, you wouldn't think twice about it if for the Japanese word for washing machine, you not only saw "洗濯機" (which is how it's written in Kanji), but also "sentakuki" or "sentakki" in the search results, because even to non-Japanese speakers it's pretty clear that that's probably the Japanese word for washing machine written with latin character transliteration, and pretty much exactly what you'd say.

With Korean, it looks more jarring, as the input method is apparently very different, and seems to map the keys for unrelated latin letters to Hangul letters? (I have no idea, I don't know anything about Hangul other than it's based on syllables, kind of like Hiragana/Katakana, and apparently very logical.)

duskwuff•5h ago
> With Korean, it looks more jarring, as the input method is apparently very different, and seems to map the keys for unrelated latin letters to Hangul letters?

More or less, yes. Each Hangul character represents a syllable, and is composed of two or more components (jamo) representing individual phonemes (like vowels or consonants) which make up the syllable. The keys on a Korean keyboard are mapped to those jamo.

Further details: https://en.wikipedia.org/wiki/Korean_language_and_computers

lifthrasiir•4h ago
More specifically, since Korean syllables are of the form CV(C) where C is a consonant and V is a vowel, almost all Hangul keyboard layouts divide the entire keyboard into two or three sections (consonant-vowel or initial-medial-final). The standard KS X 5002 layout is the former, a "bipartite" method (두벌식), while I'm using one of the latter, "tripartite" methods (세벌식).
karmasimida•3h ago
Hangul is its own alphabet and has its own keyboard, so the letters typed don't have correlation with typical romanization scheme at all.

It is probably more like bopomofo keyboard for Chinese

sshine•3h ago
With Chinese you have 简拼 (jiǎnpīn) for your pinyin input, which lets you type only the initial Latin letters of a common phrase to complete the phrase.

For example, instead of typing “buzhidao” to get 不知道, you just type “bzd” and pick the top suggestion. Since all the phonetic endings are gone, it does look a little cryptic, but it means if you don’t have a pinyin keyboard, you can still type something fast that is highly correlated with your actual phrase.

For example when you’re searching a movie title on your SmartTV; teenage mutant ninja turtles (similarly abbreviated tmnt) becomes rzsg; some Chinese search tools will pick up on this; whether through statistics, fuzzy matching or specific 简拼 (jiǎnpīn) support, I don’t know.

bmandale•1h ago
Kana input exists in japanese and reuses each letter of the keyboard to mean a different kana. So you could have a similar confusion in japanese. I believe many older people use it.
yongjik•5h ago
> Turns out that somehow Midjourney is so commonly searched for, that Google has started serving them in search results for a meaningless English phrase that just means a Korean forgot to switch off of their English keyboard when searching for.

BTW, this happens all the time in Korea, because it's extremely common for someone to type something while forgetting to switch to the correct input method. Try these, for example:

    추ㅜ
    gozjsbtm
    elwmsl
    vkdlTjs
lifthrasiir•4h ago
It gets even better! EBS (한국교육방송 Educational Broadcasting System) is using "듄 dyun" as one of its brands, which is one of such mis-transliterated words. Cyworld [EDIT: got confused], a once-popular SNS in Korea, once went by "쵸재깅 chyojaeging" in the similar way. (Both words have absolutely no meaning in Korean, suggesting that it was transliterated from QWERTY to a Hangul keyboard layout.)
ta8884844•4h ago
I think you meant Cyworld instead of Tistory.
lifthrasiir•3h ago
Oops, you are right (edited, thanks!). Tistory was 샨새교 instead.
r_lee•3h ago
and for the people that don't know, its not just because they forgot to switch, sometimes it's just faster, e.g. YouTube search also recognizes Hangul sequences in Latin if you type them out

you can also swear in a comedic way by just typing the Hangul sequence in Latin e.g. tlqkf

ryukoposting•54m ago
> gozjsbtm

Hah, this comment is the top result when I searched with StartPage. There are a bunch of Korean results though.

lifthrasiir•4h ago
Fun fact: intentional input method mismatch is commonly used for censoring profanities among internet streamers. For example, 시발 sibal (approximately corresponds to fuck in its ubiquity) transliterates to "tlqkf", so many Koreans can understand that without a written Korean text. Not that Koreans can generally read transliterated Hangul texts though.
LeoPanthera•4h ago
This is very similar to the Google Trends results for "frqnce":

https://trends.google.com/trends/explore?date=all&q=frqnce&h...

You'll notice it peaks every northern hemisphere summer. On French keyboards, Q and A are reversed compared to US keyboards, and every summer, millions of French people go on vacation, and start Google searching for things back home on unfamiliar keyboards.

It declines with the rise of the smartphone, as they're bringing their keyboards with them.

Why it suddenly spikes in the last few years, I don't know.

andrewmcwatters•2h ago
I do this qll the time ! C’est parce que AZERTY, oui.
xp84•3h ago
> branded keywords aren't that great to run ads on anyway, you pretty much get all the traffic from them anyway since that's what the user wanted anyway, you don't really have to pay for it.

Haven’t finished the article yet but this jumped out at me. This doesn’t ring true to me. Google runs an extortion scheme - since you can buy ads on your competitors’ trademarks, and since no users can tell ads from results (and since the organic results are now buried so far, they rarely get clicks anyway) if you don’t buy your brand keywords your competitors will get all your traffic.

janalsncm•3h ago
> It's actually insane the levels of understanding the algorithms that are responsible for serving us information have and how little we, the creators of said algorithms, understand what's going on in said algorithms.

As others have said, keyboard mismatches are common enough that Google might have built out logic for it specifically. But thats not necessary and even “old school” search engines could learn these things.

The first time “alemwjsl” is searched you might not have any data, but the user will probably fix their keyboard and retype in Korean. That gives you a query correction mapping. And you can assume if query1 yields no clicks and they update to query2, q1 is a synonym for q2 and serve results for q2 instead.

Then, if a session contains a query “alemwjsl” and a click on midjourney.com and another session “midj” also contains a click on midjourney.com, those are co-clicked queries.

You can also even start to represent queries by the words in their associated clicked documents or vice versa. This helps to get around the fact that people might search “how much superbowl tickets” and “superbowl tickets price” but the official page might not contain either of those strings.

Of course there’s more advanced methods now (neural nets) but it’s cool to see how it worked in the past.

https://www.kdd.org/kdd2016/papers/files/adf0361-yinA.pdf

FeteCommuniste•3h ago
The Greek string υοθτθβε (meaningless and nearly unpronounceable, would sound roughly like "eeohtht-thveh") will get you YouTube as the top search result because those letters are what you get from typing "YouTube" with your keyboard set to Greek mode, at least on Windows.
aadhavans•3h ago
Fascinating. Not only that, it even fetches https://www.youtube.com/feed/gr as the first result, at least on duckduckgo.
lifthrasiir•3h ago
Similarly, Japanese ようつべ translates to yo-u-tu-be (as if the word "Youtube" were read before the Great Vowel Shift) and is often used in place of the proper word.
yieldcrv•3h ago
ah, could have been worse. like something made up in a synthetic data set being training data for the world we experience
bee_rider•3h ago
Adding to the confusion, alemwjsl just almost looks like a plausible name for something. Looking at it, you start parsing, right? “Clearly this is Alex… uh, something… JavaScript Library…”
jihadjihad•3h ago
But no one ever figured out what the deal was with “covfefe”?
N_Lens•2h ago
Somehow something common has wrapped around to being 'insane'.
magic_hamster•2h ago
Utter disappointment. The post was building up to this great reveal only to end up with the most mundane explanation. Anyone who uses a bilingual (or more) keyboard has had something similar happen to them a few times.
ggrantrowberry•2h ago
Most mysterious are pretty mundane when you solve them.

Also, for people that don’t use bilingual keyboards this is a pretty interesting finding.

shinhyeok•1h ago
As a Korean, this is hilarious
phyzome•1h ago
I think I could have done without the pages of LLM output.
echelon•43m ago
aadillpickle, fantastic blog!

I've got nothing to add there that people haven't already been saying - this was a fascinating quirk of humanity and technology. Really good full-circle adventure uncovering the source.

I'm commenting because I have to know what you're doing with your website and blog. It looks like a markdown/obsidian/static site generator. It's gorgeous and amazing. Did you write it yourself? Is it open source software?

mjk3026•15m ago
Reading this, it’s pretty clear the author doesn’t have any Korean friends. Koreans spend a non-trivial amount of time pressing the 한/영 (Korean/English) key.