frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

alpr.watch

https://alpr.watch/
533•theamk•5h ago•263 comments

No Graphics API

https://www.sebastianaaltonen.com/blog/no-graphics-api
253•ryandrake•2h ago•40 comments

Prediction: AI will make formal verification go mainstream

https://martin.kleppmann.com/2025/12/08/ai-formal-verification.html
58•evankhoury•1h ago•25 comments

GPT Image 1.5

https://openai.com/index/new-chatgpt-images-is-here/
213•charlierguo•4h ago•113 comments

Ty: A fast Python type checker and LSP

https://astral.sh/blog/ty
65•gavide•1h ago•7 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...
356•geox•8h ago•156 comments

MIT professor shot at his Massachusetts home dies

https://www.bbc.com/news/articles/cly08y25688o
7•mosura•26m ago•0 comments

Mozilla appoints new CEO Anthony Enzor-Demeo

https://blog.mozilla.org/en/mozilla/leadership/mozillas-next-chapter-anthony-enzor-demeo-new-ceo/
358•recvonline•8h ago•522 comments

Thin desires are eating life

https://www.joanwestenberg.com/thin-desires-are-eating-your-life/
222•mitchbob•21h ago•84 comments

The World Happiness Report is beset with methodological problems

https://yaschamounk.substack.com/p/the-world-happiness-report-is-a-sham
66•thatoneengineer•22h ago•83 comments

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

https://kemble.net/blog/provoke/
52•tempodox•6h ago•30 comments

Letta Code

https://www.letta.com/blog/letta-code
13•ascorbic•1h ago•1 comments

GitHub will begin charging for self-hosted action runners on March 2026

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

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

https://gamehistory.org/segachannel/
193•wicket•9h ago•27 comments

Chat-tails: Throwback terminal chat, built on Tailscale

https://tailscale.com/blog/chat-tails-terminal-chat
11•nulbyte•1h ago•1 comments

Nvidia Nemotron 3 Family of Models

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

Artie (YC S23) Is Hiring Senior Enterprise AES

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

Context: Odin’s Most Misunderstood Feature

https://www.gingerbill.org/article/2025/12/15/odins-most-misunderstood-feature-context/
24•davikr•1d ago•0 comments

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

https://github.com/Maxteabag/sqlit
84•MaxTeabag•1d ago•9 comments

Creating custom yellow handshake emojis with zero-width joiners

https://blog.alexbeals.com/posts/custom-yellow-handshake-emojis-with-zero-width-joiners
43•dado3212•21h ago•1 comments

Show HN: Deterministic PCIe Diagnostics for GPUs on Linux

https://github.com/parallelArchitect/gpu-pcie-diagnostic
6•gpu_systems•1h ago•1 comments

Rust GCC back end: Why and how

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

How geometry is fundamental for chess

https://lichess.org/@/RuyLopez1000/blog/how-geometry-is-fundamental-for-chess/h31wwhUX
43•fzliu•4d ago•14 comments

Purrtran – ᓚᘏᗢ – A Programming Language for Cat People

https://github.com/cmontella/purrtran
212•simonpure•3d ago•31 comments

30 Years of <Br> Tags

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

Vibe coding creates fatigue?

https://www.tabulamag.com/p/too-fast-to-think-the-hidden-fatigue
117•rom16384•3h ago•116 comments

Pizlix: Memory Safe Linux from Scratch

https://fil-c.org/pizlix
53•nullbyte808•2d ago•16 comments

Full Unicode Search at 50× ICU Speed with AVX‑512

https://ashvardanian.com/posts/search-utf8/
176•ashvardanian•1d ago•69 comments

The Beauty of Dissonance

https://www.plough.com/en/topics/culture/music/the-beauty-of-dissonance
7•tintinnabula•3d ago•0 comments

Confuse some SSH bots and make botters block you

https://mirror.newsdump.org/confuse-some-ssh-bots.html
37•Bender•5d ago•14 comments
Open in hackernews

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
42•furcyd•6d ago

Comments

pinewurst•6d ago
https://archive.is/jWJw0
andy99•4d ago

  That team, called TBD Lab (for “to be determined”), was placed in a siloed space next to Mr. Zuckerberg’s office at the center of Meta’s Silicon Valley headquarters, surrounded by glass panels and sequoia trees. 
Hooli XYZ? Silicon Valley was over 10 years ago and it seems to have aged pretty well. I wonder if this is going to be like “Yes Minister” that is close to 50 and still completely on point.
paulbjensen•1h ago
HBO's Silicon Valley was on point - they did their homework on nailing some of the absurdities of the industry.
atonse•3d ago
When I read that the dude was asked to take $2b from reality labs and spend it on AI, I was shocked… that they were still spending $2b on virtual reality nonsense in 2025.

That said, from what I understand, X is working on using grok to improve the algorithm.

Why can’t fb do the same and coexist?

loeg•2h ago
Bro they spend $4B on RL every quarter.
leptons•2h ago
Well it's probably nowhere near the size of the money-pit that "AI" currently is in.
apercu•1h ago
Meta prints money as an ad company but clearly resents being one.

VR was a ~$100B+ attempt to buy pivot, and it’s generated ~single-digit billions in revenue. The tech worked maybe, but the vibe sucked, and the problem was that people don’t want to live or work there. Also, Meta leadership personalities are toxic to a lot of people.

Now they’re doing the same thing with AI e.g., throw money at it, overpay new talent, and force an identity shift from the top. Longterm employees are still well paid, just not AI gold rush paid which is gunna create fractures.

The irony is Meta already had what most AI companies don’t in distribution, data, and monetization. AI could have been integrated into revenue products instead of treated as a second escape from ads.

You can’t typically buy your way out of your business model. Especially with a clear lack of vision. Yes, dood got lucky in a couple acquisitions, but so would you if you were throwing billions around.

ribosometronome•1h ago
>clearly resents being one.

Do they? It seems to me that they're just aware that social media and the internet is trendy and they need to be out there ready to control the next big thing if they want to put ads on it. Facebook has been dying for years. Instagram makes them more ad revenue per user than FB but it's not the most popular app of its class.

lotsofpulp•1h ago
I imagine Whatsapp contains a lot of potential revenue.
matthewdgreen•1h ago
A lot of potential revenue to be exploited by agentic AI, if you do things exactly right.
apercu•7m ago
I may attribute this to a single individual in charge. I think he is very mad that he is an advertiser.
lawlessone•1h ago
>from what I understand, X is working on using grok to improve the algorithm.

>Why can’t fb do the same and coexist?

I'm sorry ,but what does this mean? Like are they prompting grok for suggestions on improvements? or having it write code? or something else?

Sol-•1h ago
> TBD Lab’s researchers have come to view many Meta executives as interested only in improving the social media business

That cannot have been a surprise to anyone joining.

mullingitover•1h ago
Meta doesn’t really have a social media business, they have an ad business that’s driven by a massive dumping operation in social media.
MangoToupe•1h ago
What is the difference between the two? What kind of social media business is there other than selling ads?
mullingitover•1h ago
I know we're so defeated as consumers that we can hardly imagine it, but you could just...charge for the customers' access to social media network. Kinda like every other service that charges money.

It would have the side effect of making the whole business less ghoulish and manipulative, since the operators wouldn't be incentivized to maximize eyeball hours.

It's impossible to imagine this because government regulation is so completely corrupted that a decades-long anticompetitive dumping scheme is allowed to occur without the slightest pushback.

jeromegv•1h ago
It's basically Mastodon. The infrastructure is paid by its owner and often relies on donations from their users.
zeroonetwothree•1h ago
Is Mastodon a business?
dylan604•1h ago
Seems like Mastadon is just the Kitchen Aid of socials. Anyone can have their product(s), but not everyone can use them the same way. Those that use them better stand out from the rest to the point others might just stop using and the product just takes up space
zeroonetwothree•1h ago
Unlike most business, social media relies on having a high market saturation to provide value. So having a subscription model doesn’t work very well.

Of course perhaps it’s a bit different now since most people consume content from a small set of sources, making social media largely the same as traditional media. But then traditional media also has trouble with being supported by subscriptions.

AndrewDucker•38m ago
Mastodon is not ad funded. Dreamwidth has been about for fifteen years now and is entirely user funded.

Scaling is harder. But you can have a niche which works fine.

zeroonetwothree•1h ago
That framing is silly. “NBC doesn’t have a television business, they have an ad business”. “Google doesn’t have a search business, they have an ad business.” “Amazon doesn’t have a retail business, they have an ad business.”

It doesn’t provide any value to reframe it this way, unless you think it’s some big secret that ads are the main source of revenue for these businesses.

TZubiri•1h ago
Restaurants don't have a food business, they have a charging people money through bills business.
rchaud•28m ago
NBC produces their own content, Facebook and Instagram meanwhile are the equivalent of public access TV with ads. There is no unique "brand" that Facebook has, anything posted on there is also posted everywhere else.
mullingitover•10m ago
I'd contrast this with Flickr. Flickr was the original social network. They have a modest loss leader, a reasonable free tier, but nothing like the permanent money bonfire that the big tech firms operate.

They were kinda the first real Web 2.0 social media site, with a social graph, privacy controls, a developer API, tagging, RSS feeds.

I feel that they never really got to their full potential exactly because these big VC-backed dumping operations in social media (like Facebook) were able to kill them in the crib.

If we're going to accept that social media is a natural monopoly: great. Regulate them strictly, as you should with any monopoly.

nayroclade•1h ago
Perhaps not, but you can bet that they were told the opposite when Zuckerberg was recruiting them. Indeed, ring fencing the lab does suggest some real attempt to do it.
moralestapia•1h ago
Even if both "sides" really wanted to get along, working with someone making 100x (if not 1,000x) more than you is poised to be a weird interaction.

It must also be massively demoralizing, particularly if you're an engineer who has been there for 10+ years and has pushed features which directly bring in revenue, etc...

Btw,

>But Mr. Wang, who is developing the model, pushed back. He argued that the goal should be to catch up to rival A.I. models from OpenAI and Google before focusing on products, the people said.

That would be a massive mistake. Wang is either a one-trick pony or someone who cares more about his other venture than Meta's, sad.

haliskerbas•1h ago
same is true in many startups
hkt•1h ago
True enough, but do you think the usual level of disparity is so vast that it ends up on the front page of international press outlets? I'm thinking the $100m pay offers etc
zeroonetwothree•1h ago
There was a similar dynamic when FB bought WhatsApp. Although I think people kind of forgot about it after a year or two.
micromacrofoot•52m ago
He's not wrong, you can't compete against blue sky R&D if you're focused on making something profitable. It's the innovators dilemma.
ozgung•28m ago
I agree, classic innovator's dilemma. It's a new business enterprise, has nothing to do with Meta's existing business or products. They can't be under the same roof and mush have independent goals.
zkmon•1h ago
Meta should replace Mr Z with a bit sane person. At this point, he is like a mad emperor.
wslh•1h ago
Would it be a successful business? That is what matters in the market.
yieldcrv•1h ago
As someone that pivoted to agentic work and quit the job that tried to get the existing team to do agentic work:

All companies are structuring like this, and some are more equipped to do it than others

Basically the executive team realizes the corporate hierarchy is too rigid for the lowly engineers to surface any innovation or workflow adjustments above the AI anxiety riddled middle management and bandwagon chaser’s desperate plea for job security, and so the executive creates a team exempt from it operating in a new structure

Most agentic work impacts organizations that are outside of the tree of that software/product team, and there is no trust in getting the workflow altered unless a team from upon high overwrites the targeted organization

we are at that phase now, I expect this to accelerate as executives catch on through at least mid-summer 2026

bgwalter•1h ago
Sounds like DOGE, a resounding success!
yieldcrv•1h ago
yes, exactly like DOGE, even named a such within some orgs

Lots of siloed processes tied together in a simple way neglected for decades solely because the political capital and will didn’t exist

gowld•1h ago
Which orgs?
tracker1•1h ago
It's not even a new thing... re Skunkworks. It's completely natural for new/developing technology to be formed in new organizations separate from incumbered corporate bureaucracy. iirc, IBM did this with the PC, that later languaged under the bureaucrats, and there are many others over the past half century.

I think the biggest issue with Meta here, is how much visibility they have to adjacent orgs, which is not too surprising given the expenditures, but still surprising. It should be a separate unit and the expenses absolutely thought of as separate from the rest of the org(s).

elzbardico•1h ago
Mr Z. pays engineers well, that's what counts in my book, I like Mr. Z.
Y-bar•1h ago
Doctors and chemists were paid handsomely by Marlboro Tobacco and Philip Morris. Didn’t make me like the C-suite at those companies any better.
dylan604•58m ago
You must not have been one of those doctors or chemists.
game_the0ry•1h ago
With the exception of instagram fb marketplace, meta just looks and feels like a chaotic, sloppy mess of a company. Between the incoherent and buggy garbage that is ads manager (something I have used for my own business) and zuck saying he laid off poor performers (effectively screwing those people for no reason), it all looks like poor business operations. So its no surprise they can't figure out AI even with all the ads profits and brain power.

An adult needs to show up, put zuck back in a corner and right the ship.

twodave•1h ago
> zuck saying he laid off poor performers (effectively screwing those people for no reason)

Were they not actually performing poorly, then? Maybe I'm missing some context, but laying off poor performers is a good thing last I checked. It's identifying them that's difficult the further removed you are from the action (or lack thereof).

BoorishBears•1h ago
You're replying to someone (rightfully) pointing out that you can layoff poor performers without proclaiming it with one of the farthest reaching voices in the industry.

Anyone who's worked in a large org knows there's absolutely zero chance that those layoffs don't touch a single bystander or special case.

chihuahua•57m ago
From what I heard, Eric Lippert was one of the layoff victims. I find it unlikely that he was actually a poor performer, since he's an industry legend.
lvl155•1h ago
I refuse to believe that companies are allocating major ad spend to Facebook in 2025. Instagram, yes.
darkwater•1h ago
Why do companies allocate ad spend on regular TV channels in 2025? There is still a big cohort of people (45-70) totally hooked on Facebook.
KaiserPro•1h ago
As someone who's startup got bought out by facebook, many years ago, its not surprising to read.

The politics surrounding zuck is wild. Cox left then came back, mainly because hes not actually that good, and has terrible judgement when it comes to features and how to shape effective teams (just throw people at it, features should be purely metric based, or a straight copy of competitors products. There is no cohesive vision of what a meta product should be. Just churn out microchanges until something sticks)

Zuck also has pretty bad people instincts. He is surrounded by egomangics, and Boz is probably the sanest out of all of them. Its a shame he doesn't lead engineering that well (ie getting into fights with plebs in the comments about food and shuttle timings)

He also is very keen on flashy new toys, and features, but has no instinct for making a product. He still thinks that incremental slightly broken features, but rapidly released is better than a product that works well, is integrated and has a simple well tested UI pathway for everything. Common UI language? Pah, thats for android/apple. I want that new shiny feature, I want it now. What do you mean its buggy? just pull people off that other project to fix it. No, the other one.

Schrep also was an in insightful and good leader.

Sheryl is a brilliant actor that helped shape the culture of the place. However there was always a tinge of poison, which was mostly kept in check until about 2021. She went full politician and started building her own brand, and generally left a massive mess.

Zuck went full bro and decided that empathy made shit products and decided that he like the taste of engineer's tears.

but back to TBD.

The problem for them is that they have to work collaboratively with other teams in facebook to get the stuff the need. The problem is, the teams/orgs they are fighting against have survived by competing against others ruthlessly. TBD doesn't have the experience to fight the old timers, they also don't really have experience in making frontier models.

They are also being swamped by non-ML engineers looking to ride the wave of empire building. this generates lots of alignment meetings and no progress.

dazamarquez•57m ago
Is Wang even able to achieve superintelligence? Is anyone? I'm unable to make sense of Wang's compensation package. What actual, practical skills does he bring to the table? Is this all a stunt to drive Meta's stock value?
setgree•55m ago
I'm as ready to hate on Meta as anyone but this article is a bit of a nothingburger.

So there are disagreements about resource allocation among staff. That's normal and healthy. The CEO's job is to resolve those disagreements and it sounds like Zuck is doing it. The suggestion to train Meta's products on Instagram and Facebook data was perfectly reasonable from the POV of the needs of Cox's teams. You'd want your skip-level to advocate for you the same way. It was also fine for AW to push back.

>. On Thursday, Mr. Wang plans to host his annual A.I. holiday party in San Francisco with Elad Gil, a start-up investor...It’s unclear if any top Meta executives were invited.

Egads, they _might_ not get invited to a 28-year-old's holiday party? However will they recover??