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
451•evankhoury•8h ago•219 comments

alpr.watch

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

No Graphics API

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

Announcing the Beta release of ty

https://astral.sh/blog/ty
424•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/
563•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

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/
106•pbowyer•6h ago•64 comments

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

https://www.npmjs.com/package/@ezetgalaxy/titan
17•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/
196•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...
418•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/
462•recvonline•15h ago•718 comments

Various locale mismatch scenarios in Windows clipboard text format synthesis

https://devblogs.microsoft.com/oldnewthing/20251211-37/?p=111858
4•ibobev•4d ago•0 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/
45•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
39•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
102•thatoneengineer•1d ago•123 comments

Nvidia Nemotron 3 Family of Models

https://research.nvidia.com/labs/nemotron/Nemotron-3/
170•ewt-nv•1d ago•30 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•13h 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

Why many Asian megacities are miserable places

https://www.economist.com/asia/2025/12/11/why-many-asian-megacities-are-miserable-places
25•andsoitis•2h ago

Comments

andsoitis•2h ago
"And why Shanghai and Tokyo are not"
alephnerd•2h ago
> One model is Shanghai, which is run by the central government as a province rather than a city

> The Tokyo Metropolitan Government (tmg) is responsible for big-ticket public services such as water, sewage and public hospitals. Beneath it sit 23 wards and a host of peripheral cities and towns. Each municipality has its own elected mayor and assembly, responsible for services such as schools, waste management and community planning. The tmg co-ordinates between them. It is a sensible split that clearly delineates authority while also making sure that decision-making is joined up.

jhancock•1h ago
The high level description for Tokyo's management could apply to Shanghai. Replace Tokyo's "elected mayor/assembly" with "party member administrators". Each Shanghai district has its own management structure.

The vague description "run by the central government as a province rather than a city" is uninformative.

Lived in Shanghai 10 years. The city is well run for something of its magnitude. Mostly competent leadership and cultural alignment.

alephnerd•1h ago
It's a broad statement but the fact that Shanghai is a 直辖市 (and imo Tokyo is in a similar position) is a major difference from other megacities in Asia.

It gives Shanghai (and Tokyo) a munucipal budget and fiscal autonomy that most other megacities in Asia tend to lack.

seanmcdirmid•24m ago
Shanghai usually gets the CPC members running it who will lead the country in the future. So...the future president of China is likely to be a party secretary of Shanghai at some point (like Xi in 2007). Any cadre who is favored and wants to be seen making modern impacts will be sent to SH.

Southern Chinese cities are better run than Northern Chinese cities. Not just Shanghai, but Hangzhou, Suzhou, Nanjing, Wenzhou...heck, even Kunming has better drivers and traffic than you'll see in Beijing.

alephnerd•20m ago
> heck, even Kunming has better drivers and traffic than you'll see in Beijing.

But, conversely, a poor farmer in Yunnan was less likely to choose to become a migrant worker in Kunming instead of a Tier 1 metro.

IMO, Beijing's craziness can be attributed to the fact that it is the economic center for much of Northern China - and a number of migrants from large neighboring laggard states like Hebei, Shanxi, Henan, and others ended up gravitating to Beijing.

> Shanghai usually gets the CPC members running it who will lead the country in the future

Not anymore. That was more of a Jiang- and Hu-era bias.

> a party secretary of Shanghai at some point (like Xi in 2007)

Xi's tenure in Shanghai was transitory (less than a year from what I remember) and imo was due to his previous role in Zhejiang.

> Hangzhou, Suzhou, Nanjing, Wenzhou...

Those are all closely connected with Shanghai economically speaking, and all part of Zhejiang or Jiangsu.

noeltock•2h ago
https://archive.is/23Z0H
mc32•2h ago
The article argues they are miserable because their governance is subpar with many factions controlling different aspects as well as lacking coordination with neighboring peripheral governing bodies and all this ends up in poor services for residents. People more there for opportunity and the opportunity appears better in those miserable places than in the hinterlands... and so they move.
esafak•1h ago
Former prime minister of Singapore, Lee Kuan Yew, on a related note: https://www.youtube.com/shorts/25DCT8w7JHI
itake•1h ago
I wish they left space to discuss the Japan’s Furusato Nōzei and China's Hukou system and how they impact non-residents.

For example, if your hukou is registered to a rural community, you do not have access to the same level of public healthcare that people with Shanghai hukous have.

edit: replaced 'Jūminhyō' with Japan’s Furusato Nōzei

tdeck•1h ago
I don't think the Jūminhyō system is similar to the Chinese one. You basically just need to have a utility bill or something with your name and address on it, and register it with your local ward office or city hall. There is no concept of being refused it unless you aren't a legal Japanese resident as far as I can tell?
itake•55m ago
I misunderstood the name. I think I mean: Japan’s Furusato Nōzei.

This system creates weird incentive schemes where rural areas offer 'benefits' to city folk.

thoweirweer•1h ago
住民票 (Jūminhyō) is just a certificate of residence - there's no population management aspect to it unlike China's Hukou.
mjyut•1h ago
Regarding the Japanese system, there are no restrictions on moving residence. Resident registration (Jūminhyō) can be done anywhere. Therefore, if you move to a new place of residence, it is common and recommended to register accordingly. I don't know the details, but I think the system in China is probably completely different.
N_Lens•1h ago
India's capital Delhi's recent air quality woes spring to mind.

https://www.youtube.com/watch?v=aAoJYJR8o3g

alephnerd•37m ago
Delhi's issues are severe due to the coordination problem - you have 6 state governments, 1 municipal government, the central government, and SOEs all with overlapping or competing responsibilities.

Hanoi has the exact same coordination problem as Delhi for the exact same reasons as well - 8 tinhs and 2 TPTTTWs all with overlapping and competing governments.

Beijing had a similar problem both Delhi and Hanoi, but because it was just surrounded by Hebei and Tianjin (a fellow 直辖市) it made coordination easier.

vatsachak•1h ago
Why do we group East Asia with South Asia? We don't group the Middle east with Europe
SanjayMehta•1h ago
The Middle East is being called West Asia these day.

South Asia is another new invention.

No one goes around saying "I'm a South Asian."

As for terminology, especially when it comes to geography and geopolitics, it depends on who's using the term and what their agenda of the day is.

Gulf of Mexico comes to mind.

amrocha•1h ago
This is such a terrible article.

Comparing India and Indonesia to China and Japan is like comparing Mexico and Brazil to Canada the US.

Just because they’re in the same continent doesn’t mean they’re comparable.

SanjayMehta•1h ago
What makes the article even worse is The Economist's policy of hiding the author(s) name(s).

The name is always a giveaway of their agenda.