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
431•evankhoury•7h ago•210 comments

alpr.watch

https://alpr.watch/
686•theamk•12h ago•338 comments

No Graphics API

https://www.sebastianaaltonen.com/blog/no-graphics-api
489•ryandrake•9h ago•90 comments

Announcing the Beta release of ty

https://astral.sh/blog/ty
409•gavide•8h ago•80 comments

Midjourney is alemwjsl

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

GPT Image 1.5

https://openai.com/index/new-chatgpt-images-is-here/
364•charlierguo•10h ago•183 comments

Pricing Changes for GitHub Actions

https://resources.github.com/actions/2026-pricing-changes-for-github-actions/
550•kevin-david•11h ago•627 comments

CS 4973: Introduction to Software Development Tooling – Northeastern Univ (2024)

https://bernsteinbear.com/isdt/
40•vismit2000•3h 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/
100•pbowyer•6h ago•57 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...
416•geox•15h ago•179 comments

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

https://www.waterfox.com/blog/no-ai-here-response-to-mozilla/
177•MrAlex94•6h ago•113 comments

Mozilla appoints new CEO Anthony Enzor-Demeo

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

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

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

Sei AI (YC W22) Is Hiring

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

VA Linux: The biggest dotcom IPO

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

Thin desires are eating life

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

Dafny: Verification-Aware Programming Language

https://dafny.org/
40•handfuloflight•6h ago•21 comments

Tesla Robotaxis in Austin Crash 12.5x More Frequently Than Humans

https://electrek.co/2025/12/15/tesla-reports-another-robotaxi-crash-even-with-supervisor/
92•hjouneau•2h ago•46 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/
146•rgovostes•20h ago•128 comments

Testing a cheaper laminar flow hood

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

Show HN: Learn Japanese contextually while browsing

https://lingoku.ai/learn-japanese
37•englishcat•4h ago•17 comments

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

https://gamehistory.org/segachannel/
233•wicket•15h ago•38 comments

The World Happiness Report is beset with methodological problems

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

Nvidia Nemotron 3 Family of Models

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

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

https://kemble.net/blog/provoke/
96•tempodox•13h ago•54 comments

Chat-tails: Throwback terminal chat, built on Tailscale

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

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...
62•nonfamous•3h ago•28 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...
8•PaulHoule•5d ago•3 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
83•furcyd•6d ago•115 comments

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

https://github.com/Maxteabag/sqlit
126•MaxTeabag•1d ago•18 comments
Open in hackernews

MIT professor shot at his Massachusetts home dies

https://www.bbc.com/news/articles/cly08y25688o
212•mosura•7h ago

Comments

simple10•6h ago
Here's the local Boston news reporting on it:

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

javiramos•6h ago
Could this be related to the Brown shooting?
ortusdux•6h ago
From ABC -

"Authorities have investigated whether his death could be connected to this weekend's Brown University shooting and, at this point, a senior law enforcement official briefed on both cases told ABC News there is nothing to suggest they’re connected."

https://abcnews.go.com/US/mit-professor-shot-killed-home-bos...

willis936•5h ago
Absolutely useless without a name and reputation on the line. It's an absurd to publish that multiple academics killed within an hour drive within one week have "nothing to suggest they're connected".
refulgentis•5h ago
Are you from Boston / have you lived there? I do, and thank you for your concern. But this is confusing to say the least.

1. No one should be stupid enough to put their name and rep on the line, in a fluid situation, where there’s 0 idea who did the first anyways, for days now.

2. Dunno what you mean by academics, students and professors? Usually academics refers to professors / grad students / has a job at university related to teaching, but Brown victims weren’t professors. Hard to see how that indicates a connection.

3. It’s a real stretch to put Providence to Brookline at a 1 hour drive. In general, it’s two different worlds, so it’s strange to use it as a clear indicator they must be related.

4. If it’s obvious they’re connected, and making any claim of probability re: their connection should require putting your name and reputation on the line, what’s your name?

willis936•4h ago
You are demonstrating a fundamental misunderstanding of trust. Aaron Katersky and Josh Margolin put their name on the line because without that you wouldn't know the provenance of the information and wouldn't know if you should trust it. Citing an unnamed officer making claims that they have insufficient evidence for is not good journalism, so their reputation takes a hit. The officer also deserves this reputational hit since they are making the unsubstantiated claim.

To be very clear here, the claim is that "there is nothing to suggest the two sets of predmeditated murders within a week within an hour are related". The fact that they're the same demographic, high profile, using the same weapon, close in proximity, and close in time are all concrete things that relate them. It is embarrassing to state otherwise, so the officer was not named. However the reporters are not immune to this, so they take the hit.

I am not stating the positive "they are related", I am refuting the negative "they are unrelated".

And as for my identity: I am not a reporter or public official. You don't need to and shouldn't use me as a source of truth. I am a member of the public applying logic to facts. I am closer to this event than you but I won't say more. As a member of HN who respects privacy I'm sure that should be enough for you.

SauntSolaire•4h ago
> using the same weapon

The same weapon being.. a gun? Hardly a notable connection.

jabbywocker•4h ago
You aren’t refuting a negative because the statement isn’t “they are unrelated” the statement is “(with current information) there is nothing suggesting they are related”

If you’re close to the situation, and have a substantiated reason to believe the claim that there’s no current information suggesting they’re related is inaccurate, you should be able to back that up. Except we both know you can’t, because you’re attempting to refute something that wasn’t actually said.

refulgentis•2m ago
Other comments cover the “logic” being applied here. Dunno who those two names are. I’m genuinely worried about your grip on reality based on your writing, I don’t say that lightly. I hope you’re very very close to one of these events and are extremely distraught.
mothballed•4h ago
Authorities and the university have also been asking for tips but then flipping the script as soon as they get them: "Accusations, speculation and conspiracies we're seeing on social media and in some news reports are irresponsible, harmful, and in some cases dangerous."[]

Also worth noting... at one point the arrested the wrong guy.

They have no clue. And become hostile when people try to come up with one. While scrubbing student profiles and simultaneously claiming they have no knowledge of doing so. The whole thing is a total clown show and nothing said by the authorities is to be believed without independent verification.

[] Brown University spokesperson Brian Clark

perihelions•5h ago
They're only 40 miles apart. Moreover, they're both (apparently) premeditated gun murders targeting academics at famous universities.

edit to add: (For those who weren't aware, the Brown University terrorist is still on the loose).

defrost•5h ago
One was a home invasion that may or may not be related to the victims work on fusion plasma. It is very likely unrelated to that work.

The other was a mass shooting style event that targetted an exam preperation review hall populated by econ students and led by a 21-year-old teaching assistant.

It's a stretch to connect an isolated murder of a field advancing physics researcher and a hall full of students just because all the victims are involved in book learning.

Possible connection, sure. At an improbable stretch.

ChatGPT can certainly knock up a Clancy like novel here, no doubt.

varenc•2h ago
Is there any evidence this murder was related to the professor's work?
sh34r•1m ago
If it is, do you think it’s the Iranians taking revenge on American civilian scientists, or a Ted Kaczynski type?
mxkopy•6h ago
This is his ORCID profile, which lists his grants and published works:

https://orcid.org/0000-0001-9755-6563

ChrisArchitect•6h ago
Earlier: https://news.ycombinator.com/item?id=46292708
david_shaw•5h ago
>"The theoretical physicist and fusion scientist was known for his award-winning research in magnetised plasma dynamics.

Magnetised plasma dynamics is the study of the state of matter in which the motion of charged particles is influenced by the presence of an external magnetic field, according to Nature.

Loureiro joined MIT's faculty in 2016 and was named director of MIT's Plasma Science and Fusion Center in 2024."

Although it may be a total red herring, it may be worth noting that there are (debatably pseudoscientific) theories -- primarily Plasma cosmology[1] and the Electric Universe theory[2] -- that are related to (and potentially in conflict with) this field of research.

1: https://en.wikipedia.org/wiki/Plasma_cosmology

2: https://rationalwiki.org/wiki/Electric_Universe

JuniperMesos•4h ago
My prediction is that it was a random home invasion robbery committed by someone with multiple previous felonies who had no idea that the person living in the house they were trying to rob was a MIT professor.

But I have no more information than anyone else does, I'm making a low-confidence educated guess, and at some point in the near future it's very likely that the professionals whose job it is to investigate serious crimes will have a better idea of what actually happened than anyone posting in this thread.

mothballed•4h ago
It's a reasonable guess, but 8:30p seems like a dumb time for a home robbery. Usually they're committed during the day when people are at work, and if not that then deep in the night for maximum cover. 8:30 is almost like the ideal time if you actually want someone to be there and answer the door at an hour where it wouldn't cause enough alarm for them to answer the door with a weapon.
wat10000•4h ago
When it comes to small-scale crime like this, the smartest thing is typically not to do it at all. So the people who do it will generally not be very smart.
Supermancho•4h ago
Indeed, 8:30p is no different from 2p or 10a for the act.

It's most likely a matter of happenstance. It happened to be the warmest time of the day (even though it was evening). Maybe the thinking was someone was home to help them find the valuables, maybe not.

> 8:30p seems like a dumb time for a home robbery.

The assertion that there is some optimization for some specific imagined motivation, is literal fantasy.

foobarian•2h ago
In this day and age who robs homes any more? You'd be liable to get paid to take a bunch of junk away instead
randycupertino•2h ago
When BART (Bay Area Rapid Transit) came to Pleasanton CA my fox-news brainwashed racist aunt and uncle and their neighbors where legitimately convinced black people from Oakland were going to come take BART out from Oakland and steal their TVs. And this was back in the day of the giant bulky heavy-backed rear-projection TVs. I was like... first of all they drive cars now and second of all who is going to take BART to come rob you and third of all who would want to carry this stupid heavy thing!! And if they were going to take your 150lb TV they would need a truck and a dolly, not take public transit to do so.

Pleasanton remained safe and bland despite allowing evil public transit.

stevenwoo•2h ago
The little but wealthy town of Los Altos Hills next to Palo Alto had Flock come in and install their camera surveillance after a string of burglaries and one or two home invasion style robberies, it's a mostly rural/suburban area. Believe it or not there are also still folks who come from cultures where they do not believe in banks in the USA, so there is a lot of cash and gold in those people's homes.
Eisenstein•2h ago
> small-scale crime like this

You mean murder?

wat10000•1h ago
Yes. Smart criminals become CEOs where they can kill people wholesale and totally legally.
screye•3h ago
Unlikely. He was killed in the foyer [1] of his building in an exceedingly safe city (Brookline, MA).

In a neighborhood with mixed SFHs and condos, it makes little sense to target a condo. Makes even less sense for someone to break in, but to shoot the victim outside, in the foyer.

[1] https://www.youtube.com/watch?v=CmbmBNre5SQ

SoftTalker•2h ago
Agree. Most killings are not random, but committed by someone the victim knows.
socketcluster•2h ago
Other possibility; a disgruntled investor who poured millions into dead-end fusion research and now wishes they had invested in AI research instead? Blames the professor for persuading them to invest in fusion.

It's a tough one to find a motive for...

screye•1h ago
Can you quote 1 other example of a disgruntled investor that has killed an American academic over the last 50 years ?
olalonde•16m ago
I noticed a "Stand with Israel" sign at 0:47, but without corroborating evidence it seems premature to infer an ideological motive. Statistically, financial gain, personal disputes, or jealousy are the most common motives.
cmckn•2h ago
This basically never happens, about 100 people die a year in the US during a “burglary gone wrong”. People think it’s common, though; it’s the go-to cover story in almost any Dateline episode.
TiredOfLife•2h ago
That's 100 times more than I thought.
karlgkk•2h ago
The us has a population of about 340,000,100. Notice where the 1 is.
roncesvalles•2h ago
Tangential but I think that's a terrible way of making your point because intuitively we don't look at digits of a numbers and think log scale. That looks more like 1/3 instead of 0.000029%.
BobbyJo•2h ago
You thought only one person a year died during break ins gone wrong? Vending machines kill more than that.
TiredOfLife•1h ago
I am horrified about the huge amount of break-ins.

And even more horrified about the thread on homepage about surveilance cameras. I knew that shoplifting and car theft is essentially decriminalized in US. And now I learn that home invasions are also.

wewtyflakes•1h ago
This logic does not follow from or to "That's 100 times more than I thought." You can be both horrified at something and also understand that it is thing that happens.
seanmcdirmid•2h ago
It could be a disgruntled grad student? That is shockingly not unheard of in academia.
Hobadee•1h ago
If we are doing random predictions based on scant evidence, mine is a professional hit. Neighbor said he heard 3 shots. If it was a "pop pop...pop", that's 2 in the body, 1 in the head. Professional assassin.
mocha_nate•1h ago
My prediction: time traveler. Guy goes back in time to prevent an unspeakable tragedy that happened in the future. The simplest solution to alter the course of human history was this attack. We'll never find the killer because as soon as his work was completed, he vaporized into the ether as his timeline was culled.
DougN7•13m ago
Wish that guy had … well, never mind. Better not to say it.
pclmulqdq•1h ago
I would assume that the most likely options for for "rich person shot in home" are:

* Drug dealer

* Cheating on spouse and someone got jealous

* Suicide

kazinator•3h ago
> Correction 16 December: An earlier version of this story incorrectly defined the kind of plasma that Professor Loureiro researched.

If I get shot and someone writes some libelous bullshit about how I worked with hygienic macro systems, someone kindly jump on that shit ASAP. Thanks in advance!

cryptonector•1h ago
lmaooo
RagnarD•3h ago
American MSM has carefully avoided mentioning a critically important fact pointing towards the motives of the killer: the professor was Jewish and openly pro-Israel.

https://www.theyeshivaworld.com/news/general/2487170/jewish-...

acdha•3h ago
You’re trying too hard to make that conspiratorial take: most responsible outlets don’t speculate on motives until there’s some evidence of a connection. For example, the stories I’ve read quoted his neighbors wondering whether there’s a connection to what happened at Brown, which is just an hour away and still has the killer at large. If there’s any evidence of an anti-Jewish motive, I will be shocked if it’s not an NYT headline within minutes.
jimbo808•3h ago
The title of this article leads with "Jewish, Pro-Israel MIT Professor..." so I think they've already decided to go with the "victim of antisemitism" default until proven otherwise.
alphazard•2h ago
Certainly it's more conspiratorial to assume that his death had something to do with his research, or that he was secretly a some kind of Walter White character?

Being politically outspoken on an issue which is contentious in that area, and which has caused violence before seems like the most plausible explanation that I have heard so far.

uselesswords•2h ago
> most responsible outlets don’t speculate on motives until there’s some evidence of a connection

That is simply not true, every single news outlet without fail speculates, uncritically quotes a speculator, or leaves out warranted critical speculation at their own discretion. Pick a news site that you think doesn’t do this and I will happily find an example from their front page.

crazygringo•3h ago
How on earth are you making conclusions about the motive of the killer?

People also get burgled and shot. Lovers take revenge. A grad student loses their mind.

It's entirely irresponsible to suggest that something is being hidden if there's zero evidence so far that someone's religion or political views are even remotely relevant.

qball•3h ago
And media lies by omission.
unmole•3h ago
Right, because American media is famously anti-Jewish and anti-Israel. /s
jimbo808•3h ago
Your only data point is the ethnicity of the victim, and that's all it takes for you to suggest it was a hate crime?
richardfeynman•2h ago
Another data point is that Jews are getting killed and assaulted around the world. With that said, I agree that for now there's no actual evidence supporting this allegation. But I wouldn't be totally shocked to learn that his ethnicity or zionist beliefs had something to do with this, if indeed he was Jewish (which hasn't been confirmed).
woodruffw•2h ago
There are a lot of Jewish, pro-Israel professors in the US. I don't see any evidence that it was a factor in this man's death. I think it would be irresponsible for a news organization to speculate until more information is actually available.

(You'll note that even Yeshiva World News isn't speculating about motives here.)

root_axis•1h ago
What evidence do you have that the "MSM" are "carefully avoid mentioning" it?
shrubble•3h ago
Is it true that Brookline had very few murders in the past 5 years? Increases the chance of it being targeted instead of random.
stmw•2h ago
It is a very very safe town.
neilv•1h ago
Flagged. The post is about someone just murdered, yet most of the HN comments on this post are strangely insensitive and dumb. HN ranks highly in Google, so friends and family members may see these comments.
FilosofumRex•1h ago
Pros always use silencers - but amateurs instigated/inspired by security services/spies, are meant to be caught and will confess
HardwareLust•1h ago
Why is this flagged?