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
230•evankhoury•2h ago•118 comments

alpr.watch

https://alpr.watch/
578•theamk•7h ago•291 comments

No Graphics API

https://www.sebastianaaltonen.com/blog/no-graphics-api
349•ryandrake•4h ago•60 comments

Announcing the Beta release of ty

https://astral.sh/blog/ty
215•gavide•3h ago•42 comments

GPT Image 1.5

https://openai.com/index/new-chatgpt-images-is-here/
281•charlierguo•6h ago•140 comments

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

https://www.waterfox.com/blog/no-ai-here-response-to-mozilla/
37•MrAlex94•2h ago•26 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...
382•geox•10h ago•161 comments

Mozilla appoints new CEO Anthony Enzor-Demeo

https://blog.mozilla.org/en/mozilla/leadership/mozillas-next-chapter-anthony-enzor-demeo-new-ceo/
401•recvonline•10h ago•604 comments

Americans overestimate how many social media users post harmful content

https://academic.oup.com/pnasnexus/article/4/12/pgaf310/8377954?login=false
9•bikenaga•39m ago•6 comments

MIT professor shot at his Massachusetts home dies

https://www.bbc.com/news/articles/cly08y25688o
133•mosura•2h ago•60 comments

Midjourney is alemwjsl

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

Thin desires are eating life

https://www.joanwestenberg.com/thin-desires-are-eating-your-life/
286•mitchbob•23h ago•115 comments

Dafny: Verification-Aware Programming Language

https://dafny.org/
8•handfuloflight•1h ago•1 comments

Chat-tails: Throwback terminal chat, built on Tailscale

https://tailscale.com/blog/chat-tails-terminal-chat
37•nulbyte•2h ago•9 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/
11•pbowyer•1h ago•0 comments

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

https://kemble.net/blog/provoke/
74•tempodox•8h ago•42 comments

The World Happiness Report is beset with methodological problems

https://yaschamounk.substack.com/p/the-world-happiness-report-is-a-sham
82•thatoneengineer•1d ago•96 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/
96•rgovostes•15h ago•73 comments

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

https://gamehistory.org/segachannel/
210•wicket•11h ago•32 comments

Artie (YC S23) Is Hiring Senior Enterprise AES

https://www.ycombinator.com/companies/artie/jobs/HyaHWUs-senior-enterprise-ae
1•j-cheong•7h ago

Letta Code

https://www.letta.com/blog/letta-code
43•ascorbic•3h ago•20 comments

Coming soon: Simpler pricing and a better experience for GitHub Actions

https://github.blog/changelog/2025-12-16-coming-soon-simpler-pricing-and-a-better-experience-for-...
443•nklow•6h ago•211 comments

Nvidia Nemotron 3 Family of Models

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

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

https://github.com/Maxteabag/sqlit
109•MaxTeabag•1d ago•13 comments

Meta's new A.I. superstars are chafing against the rest of the company

https://www.nytimes.com/2025/12/10/technology/meta-ai-tbd-lab-friction.html
46•furcyd•6d ago•59 comments

Rust GCC backend: Why and how

https://blog.guillaume-gomez.fr/articles/2025-12-15+Rust+GCC+backend%3A+Why+and+how
162•ahlCVA•10h ago•85 comments

Creating custom yellow handshake emojis with zero-width joiners

https://blog.alexbeals.com/posts/custom-yellow-handshake-emojis-with-zero-width-joiners
55•dado3212•23h ago•3 comments

Reverse-Engineering the RK3588 NPU: Hacking Limits to Run Vision Transformers

https://amohan.dev/blog/2025/shard-optimizing-vision-transformers-edge-npu/
18•rcarmo•2h ago•3 comments

30 years of <br> tags

https://www.artmann.co/articles/30-years-of-br-tags
142•FragrantRiver•3d ago•43 comments

How geometry is fundamental for chess

https://lichess.org/@/RuyLopez1000/blog/how-geometry-is-fundamental-for-chess/h31wwhUX
52•fzliu•5d ago•20 comments
Open in hackernews

CEOs to Keep Spending on AI, Despite Spotty Returns

https://www.wsj.com/tech/ai/ceos-to-keep-spending-on-ai-despite-spotty-returns-2eaeb6b
64•1vuio0pswjnm7•9h ago

Comments

mghackerlady•8h ago
Breaking: Fork found in kitchen
nathanaldensr•7h ago
If only we could stick that fork in the AI bubble and call it "done."
ChrisArchitect•8h ago
url update: https://www.wsj.com/tech/ai/ceos-to-keep-spending-on-ai-desp...
bArray•7h ago
Archive link: https://archive.is/l6jpQ
steve1977•8h ago
Most CEOs do what most other CEOs do, we haven't reached the turning point yet.
alecco•7h ago
Most CEOs do what the board wants. And the board usually reflects shareholder primacy.
steve1977•7h ago
I'm pretty sure shareholders are not too keen on spotty returns...
stocksinsmocks•7h ago
You might be surprised. Disney is a pretty good example of activist shareholders undermining the value of their brand for purely ideological reasons. This is a little easier to wrap your head around when you recognize Black Rock-type situation where the custodians of the funds are able to take extraordinary personal liberty with other people’s money.
turnsout•7h ago
Only institutional shareholders matter, and they're on the same page as the CEOs.
thijson•7h ago
Jim Chanos legendary short seller talks about AI bubble.

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

jordanb•7h ago
Ironically I think Chanos got murdered by the data center boom. Back before his fund folded he was talking constantly about how data center REITs were an awful business by the numbers and they were an artifact of ZIRP because they were making small amounts of revenue on large amounts of capital. Longer term they were slowly losing to market consolidation by the "hyperscalers" (AWS, Azure etc).

His thesis was sound in a rational world but our world isn't rational anymore and his data center REIT short got obliterated by the AI bubble.

htrp•7h ago
>His thesis was sound in a rational world but our world isn't rational anymore and his data center REIT short got obliterated by the AI bubble.

I suspect he might be a bit bitter about that one. He has also shorted tesla (rightly or wrongly) as well as Carvana

jordanb•6h ago
His Tesla short was off many years before his fund closed and he pretty much said he wasn't going to bet in meme stocks since their value is so detached from any kind of objective analysis.

The problem for him (and muddy waters and other shorts) was the memification of the entire economy. If you listen to his data center REIT short thesis it was very sound. Data center REITs were not meme stocks and there was every reason for them to respond to economic gravity. There was a lot of inflow of capital during ZIRP leading to a lot of buildout, but with the end of ZIRP the low return on capital in their business was going to kill them. But then the AI bubble came along and everything within three degrees of bacon went to the moon.

ruralfam•7h ago
M$FT increased 365 student monthly charges from $7 to nearly $20 per month automatically to cover CoPilot for 2026. Evidently did not inform the college about this. Just sent yearly charges for nearly $200 to gob-smacked parents. We canceled the next day. WTF M$FT.

They say you will get refunded in you cancel within 30 days of the yearly charge. We did so, but I am wondering if M$FT simply and reliably does the refund. Or will I need to spend hours on the phone talking to a M$FT AI Customer Rep trying to get what is promised. Sincerely... I would appreciate others experience. I could do a charge-back in the next few days if the "promised, easy route" is not available. TIA, RF

benterix•6h ago
My kid needed Windows and Office for school. I went through the pain of installing the system for her while avoiding creating a Microsoft account. As for Office, I bought a perpetual license. I believe these are the last months while these two options are still available.
giancarlostoro•4h ago
> while avoiding creating a Microsoft account

They're going to eventually make it so the entire OS squawks if you aren't on a Microsoft account.

Der_Einzige•7h ago
The “AI is in a bubble crowd” still has no answer to “why didn’t the tech bubble pop in 2022?”

Snowflake bought streanlit (a bad python UI/UX) for 800 million in 2022. I still have not seen a single deal even close to that bad post 2023, and especially post interest rate hikes.

https://datafortune.com/snowflake-acquires-streamlit-for-usd...

Actually investing in AI is smart and will deliver unfathomable ROI. AI bears deserve to reap what they (don’t) sow.

0x3f•7h ago
> The “AI is in a bubble crowd” still has no answer to “why didn’t the tech bubble pop in 2022?”

Are these things related? Why is the tech bubble popping in 2022 a necessary condition for current AI hype being a bubble?

JohnMakin•6h ago
unfathomable. The imagination has no limits. It could be billions, trillions even! The fact we do not know only means we don't know how high the ceiling can be. It could even be gazillions!
layer8•6h ago
Many people are saying this!
NikolaNovak•3h ago
"It could even be a boat!" :-)

https://www.youtube.com/watch?v=yZpIog7e-R4

ceejayoz•6h ago
> The “AI is in a bubble crowd” still has no answer to “why didn’t the tech bubble pop in 2022?”

I mean, the Fed funds rate was at 0.25%. Free money helps, for a while.

SpicyLemonZest•5h ago
The answer seems very straightforward? The bubble did pop, as you can clearly see in a number of stocks like Comcast. But OpenAI also released a genuinely impressive innovation in ChatGPT, which reinflated it for AI and AI-adjacent companies. Whenever the next recession comes, investors will start to ask more serious questions about whether another ChatGPT-level innovation is on the way, and even from my relatively AI-sympathetic stance the answer seems to be no.
paulglx•7h ago
https://archive.ph/l6jpQ
bArray•7h ago
> After a year in which trillions of dollars worth of AI investments buoyed global markets and the economy, 68% of CEOs plan to spend even more on AI in 2026

They are too far in to turn back. They got into AI via fear of missing out (FOMO) and now they are too heavily invested to write it off on their balance sheet. To revert now would cause nothing but trouble.

> Less than half of current AI projects had generated more in returns than they had cost, respondents said. They reported the most success using AI in marketing and customer service and challenges using it in higher-risk areas such as security, legal and human resources.

I.e., the best success has been in cutting jobs, not in aiding the productivity of individuals.

ryandrake•7h ago
The promise of being able to run a business without having to employ people is just too alluring to these guys. They feel like they're nearly on the cusp of it: Like any day now, the technology will be there, and it can just be AI + robots, and the C-suite and shareholders can just pocket all the returns. No more pesky bags of meat to feed and clothe. You can feel it--they are absolutely salivating over the idea. "If we can just get rid of the need for human labor, Line Will Go Up forever!"
nathanaldensr•7h ago
Then they can stand alone on a pile of ashes at The End of the World and then see how much happiness their "money" bought them.
palmotea•4h ago
> Then they can stand alone on a pile of ashes at The End of the World and then see how much happiness their "money" bought them.

Like the book "Don't Create the Torment Nexus," the wisdom of this cartoon is an inspiration to business leaders everywhere who know that shareholder value is paramount:

https://condenaststore.com/featured/the-planet-got-destroyed...

spwa4•4h ago
The whole history of AI from at least the 1930s happened in waves, and each wave could be accurately summarized by what you just said. Oh, and add Bitcoin with the same logic.

But it never happened. None of the AI waves, not perceptrons, not "deep neural networks", not RNNs, not support vector machines, not ... made zero-human companies possible, or even less-human companies, in contrast to buying from China I might add, and other nations before China.

Borborygymus•1h ago
I concur.
turnsout•7h ago
Having seen a lot of AI-generated ads, I'm so skeptical that AI is actually improving marketing metrics. Every time I see one of these abominations on YouTube I think "is this working for you?"

With that said, I'm long-term bullish on AI. A lot of companies will over invest, just as they did during the dot-com bubble. But some of those investments will actually pay off, because this technology is not going anywhere.

empiko•6h ago
> Less than half of current AI projects had generated more in returns than they had cost, respondents said.

Compares to non-AI software, is this a bad number?

ahartmetz•4h ago
Zero is technically a number smaller than 0.5
bob1029•7h ago
I believe we will see breakthrough success in the B2B/SaaS market sometime in 2026. I am getting an uneasy feeling regarding the notion of a bubble. By most accounts it should have popped by now. I am still using the LLM tech on a daily basis. It definitely adds value. Concerns like whether or not a human needs to be in the loop seem practically irrelevant at this point. Applying this value through productized channels is only a matter of time.

That said, the B2C AI market is a joke compared to the B2B market. Consumer AI use is an undeterminable black hole of money. All the bubble talk does make sense in context of normal-ass people using ChatGPT on their phones all day. Advertising is the only possible application for this market and it's already incredibly saturated.

chasd00•7h ago
Don't forget, the bubble talk is more around "AGI is right around the corner, don't get left out!" and not so much the application of an LLM to business process flows. There's definitely value in some use cases to using an LLM but I don't see the massive bets on AGI paying off in timelines Wall St. is comfortable with. Further, my feeling is the AGI promise and investment is what is keeping some of the model providers in business. From what I understand, inference cost per user doesn't scale the way a webserver does. With an LLM, more users means significantly more infrastructure cost and Google, Meta, MSoft can afford to run/train models at a loss because they get revenue elsewhere but not everyone is in that boat.
tarsinge•4h ago
Yes the problem is not whether LLM have value, but whether they will add enough value in the next two three years to pay for the hundred of billions of trillions needed to match the expectations. OpenAI has to find more than a trillion by the end of the decade, project Stargate still has 500 billions to find, etc. Also add fast depreciation on everything invested. The ZIRP playbook of building a monopoly for years before turning a profit cannot work here, models are commoditizing fast so no moat there either, and capabilities as a function of compute have plateaued.
victor106•6h ago
https://x.com/i/status/1999124665801880032
spwa4•5h ago
404 page not found?