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
458•evankhoury•8h ago•221 comments

alpr.watch

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

No Graphics API

https://www.sebastianaaltonen.com/blog/no-graphics-api
504•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/
16•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
19•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/
199•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

Dafny: Verification-Aware Programming Language

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

Testing a cheaper laminar flow hood

https://chillphysicsenjoyer.substack.com/p/testing-a-cheaper-laminar-flow-hood
30•surprisetalk•4d ago•6 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

Locked out: How a gift card purchase destroyed an Apple account

https://appleinsider.com/articles/25/12/13/locked-out-how-a-gift-card-purchase-destroyed-an-apple-account
66•nonfamous•3h ago

Comments

gnabgib•3h ago
Discussion on original source (1708 points, 3 days ago, 1062 comments) https://news.ycombinator.com/item?id=46252114
PaulHoule•3h ago
Never have anything to do with gift cards, ever. If you get one as a gift give it back to the giver.
steve_adams_86•1h ago
They're essentially a scheme to collect cash in advance and reap unspent cards, right? I don't know why anyone ever thought they made more sense than cash.
koolba•1h ago
Because people are generally weak minded and have been brainwashed into thinking that it’s tacky to give cash.
rk06•1h ago
because you can gift them to others and ensure that they use it.

same for amazon gift cards

alexdw_mgzi•53m ago
The "ensure they use it" is the part that is uncertain, and thus the 'scam' aspect. Amazon (and other vendors) are betting that a significant percentage of end users will not actually use it, and the seller will get to keep the entire balance as profit.
steve_adams_86•38m ago
According to some not-very-thorough queries, somewhere from 10–19% of gift cards are never redeemed in the USA, which equates to tens of billions of dollars. Unreal. If even half of that is true, that's a tremendous amount of charity to corporations.
ryanjshaw•1h ago
I had a relative ask me to buy them an Amazon voucher as a birthday gift, because they lived on the other side of the world, didn’t want to eat the SWIFT charges, and didn’t know how to offramp cryptocurrency.

For some reason every card I put in wasn’t accepted, and then my 10 year old Amazon account was banned. I was even using a Fire TV at the time with the same account. Had to create a new account. Very annoying.

akkartik•3h ago
Funny story: I can't get an Apple ID.

I tried around 10 years ago, repeatedly would provide a password, get a notification, click on it, get asked to type my new password.. and get told the password was invalid.

Anyways, I moved on with my life. I was only reminded of it this year when I got referred for a job at Apple.. and guess what, I still can't make an Apple ID. So now I can't ever get a job at Apple :) Oh well, first world problems.

3eb7988a1663•2h ago
This Kafka nightmare is somewhat funny when it does not impact your life, but with increasing centralization, I worry for the future. What happens when an AppleID/Google account in good standing is required to open a bank account? Go grocery shopping? Hold your drivers license? Apply for a job anywhere?

Big tech has repeatedly shown that they are willing to ignore life destroying account workflows so long as they only impact a minority.

akkartik•2h ago
The best answer I have is: for those of us who start life with some level of privilege, it's important to make good decisions and manage your risk exposure. Life is geopolitics.

But yeah, I'm not looking forward to the day I need to show a Google or Facebook account to receive government services. US Visa applications are already going in that direction.

anonymousiam•2h ago
This sort of thing is already becoming a reality. Not necessarily with Apple/Google IDs, but with email addresses. As the owner of a few dozen Internet domain names, I use some of them with catchalls so I can create new and unique email addresses for various entities I correspond with.

Sometimes this has failed, because the entity uses some third-party validation service that can find no record anywhere of the existence of the new email address. So it's sometimes impossible to register a new account somewhere unless you use an email address that is "known" to the validation system.

I'm not sure what "problem" they were trying to solve by doing it this way, but they've created a new problem by doing it.

Also, sometimes I've tried to use very short email addresses such as: x@xxx.com, and they're flagged as invalid even though they're not.

I've also had valid accounts disabled without notification because the email address I used had the name of the entity within. E.g. google@xxx.com Some companies assume you're trying to impersonate them if you do this, and silently disable existing accounts. Usually the tech support staff aren't even aware of these restrictions, which makes it even more difficult to recover.

don-code•1h ago
Sadly, you don't even need to engage directly with these companies to be affected. Case in point: e-mail.

I host my own e-mail. Valid SPF, not on any spam blacklists, good reputation score on my static IP.

At the beginning of November, I lost the ability to send e-mail to Gmail - it was all rejected as, quote, "possibly spammy". Double checked SPF and DMARC... Double checked documentation... Spent time setting up DKIM on my mail server, even though I sent nowhere near enough mail to merit it. Nothing got through for two weeks.

Google Postmaster Tools were totally unhelpful, telling me _that_ I was being blocked, but not _why_ I was being blocked. There is a community support forum where I posted - it hasn't seen a response since I posted in November. There was also a support portal where I could, in theory, contact a human. I sent something in there, and am still awaiting a reply.

Now remember, Gmail isn't just for @gmail.com addresses. Gmail hosts my accountant's domain. Gmail hosts the domain for a club that I'm part of. Gmail hosts friends who also have their own domains. Gmail hosts... well, probably a solid half of the Internet's e-mail.

My only way out of this nightmare was to reach out to a contact at Google, who - having an @google.com e-mail - was also unable to receive e-mail from me, and made the case to the right folks internally that I couldn't send important messages to him. A few days later, I could magically send e-mail to Google again.

Do I have any idea what I did? No. Do I have any idea what they resolved? Also no. Can I prevent it in the future? Who knows!

ssl-3•57m ago
Towards the end of using self-hosted email at $dayjob, a couple of years ago now, Google started bouncing [some of] our email.

In the header for the bounce messages was included a description of the problem (as they perceived it), and a link for background reading.

I never followed up on it personally (that wasn't my job anymore because reasons), but the bounces seemed descriptive-enough for someone who was paid to care about it to make it work.

Was that not the case for you?

AnthonyMouse•1m ago
I'm increasingly of the opinion that the modern practice of not telling people why they've been blocked -- or even that they've been blocked -- was devised by sadists to satisfy their proclivity.

The core of the flaw is that actual fraudsters and spammers are repeat players and ordinary people aren't. The bad guys expect to be blocked, so they test for it. They check if their messages are getting through and then notice immediately when they stop. Whereas real people expect their messages to go through, because why wouldn't they when they've done nothing wrong? And then become isolated and depressed because it seems like everyone they know is suddenly ignoring them.

The bad guys create thousands of accounts and play multi-armed bandit, so when some of them get blocked they can identify why by comparing them to the ones that didn't, or create new ones and try new things until something works, and thereby learn what not to do. Whereas real people have no idea what sort of thing is going to arouse the Dalek either before or after their primary account is exterminated.

So it's a practice that creates a large increase in the false positive rate (normal people have no way to know how to avoid it) in exchange for a small decrease in the false negative rate (bad guys figure it out quickly). In a context where false positives cost a zillion times more than false negatives because the bad guys treat accounts as a fungible commodity they acquire in bulk whereas innocent people often have their whole lives tied to one account.

And all of that is only disguising the real problem, which is that people get blocked having done nothing wrong. If you were expected to point them to the spam they sent or the fraud they attempted then you wouldn't be able to do it when they'd done no such thing, and then "we can't tell anyone because it would help the bad guys" is used to paper over the fact that you couldn't tell them regardless. When the decision was made by an opaque AI and then reviewed by no one, there isn't actually a reason.

userbinator•1h ago
What happens when an AppleID/Google account in good standing is required

At this point Big Tech is only scared of the government, so keep that in mind --- the Amish may be on your side.

somenameforme•1h ago
Amish 2.0?

I realize this sounds out there, but I'm not entirely joking. I feel there is a significant subset of all people that are not particularly happy with the direction of society at large. And the great thing about places like the US is that you're free to develop your own little sub-societies. There's no reason a group of like-minded people could not work to develop a technologically embracing society, but one that aims to focus more on decentralization, and utilizing digitization as a convenience rather than a necessity.

Think about something like a 'Google Smart City' except from an entirely different ideological foundation, such that the entire project doesn't sound like something out of Black Mirror. The reason this would be beneficial as a social project, instead of the vastly more viable independent one, is that a lot of tech is generally seen as undesirable, certainly in certain contexts (like smartphones at school), yet it spreads virally making its adoption a defacto necessity. Get rid of the virality and you could create a better life, and a better situation, for many people.

stevenwoo•2h ago
This happened to me when the local credit union, TechCU, overhauled their web interface and app. I called their help line and stumped them for a while. I finally figured out their interface allowed me to use a period in my password and confirmation field and accepted them but somehow their login process did not. To their credit the characters they listed as allowable did not list period which I did not read carefully and just skimmed the first time I saw it.
akkartik•1h ago
This year I don't even get to the point of making a password. It's possible something about my attempt 10 years ago has polluted my phone number. So it goes.

Notice, too, that my story is about the utter lack of support like in OP.

davidw•41m ago
Sadly, companies like Apple don't have quite the resources that local credit unions do, so they can't do that kind of tech support. Apparently...
kevin_thibedeau•1h ago
> I still can't make an Apple ID

Sounds like an egregious EEO violation then.

lcnPylGDnU4H9OF•1h ago
> I still can't make an Apple ID. So now I can't ever get a job at Apple

Is this actually a requirement to work at Apple? What is the legality of employers demanding their employees agree with unrelated-to-their-job terms and conditions? I mean, one of these conditions is that you settle all disputes with them through arbitrators of their choosing, that would be crazy if true.

kryptn•1h ago
this happened to someone i was helping. we went to support. they now have an apple id.
akkartik•1h ago
Ah cool. Did you go into a store?
iJohnDoe•2h ago
What’s the latest on this from the OP? Did Tim Cook’s team respond?

We live a dystopian world where a trillion dollar company can’t fix the account. Worse than that, out of their several hundred thousand employees, not a single one is capable or willing to fix it.

Speaks volumes about our species in general and where we are headed.

When the executives go on their spiritual retreats or their boondoggle get togethers to talk about company values to the employees; it would all seem so pointless and hypocritical when they can’t fix situations like this.

add-sub-mul-div•2h ago
Not having to provide customer service is part of the magic that allows these tech companies to get to this size in the first place. Customer service doesn't scale.
Ferret7446•1h ago
The irony is that Apple's selling point (as far as I know) is good customer support. e.g. with Google at least you know you aren't getting any support
steve_adams_86•1h ago
My experience with Apple's support is abysmal. They left me without a working product for something like 6 months despite the product being faulty (bricked Studio Display). Years prior to that I had issues with a MacBook Pro. That also took way too long to repair (6 weeks), and I was treated as though I broke it rather than the hardware failed due to manufacturing defects. Very much a 'guilty until proven innocent' customer support experience.

I hope that's not the typical experience, but it's certainly mine.

ssl-3•51m ago
Oh, nonsense.

I filed a bug report about an issue in Google Maps once; this had to have been around 2006.

A little over a decade after that, they emailed me and let me know that they'd fixed it.

That's support -- right? (Right?)

:)

paranoidrobot•12m ago
> What’s the latest on this from the OP? Did Tim Cook’s team respond?

From their bsky account, maybe.

[1] https://bsky.app/profile/hey.paris/post/3ma3of537kk2d

ChrisArchitect•1h ago
[dupe] https://news.ycombinator.com/item?id=46252114