frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Is Mozilla trying hard to kill itself?

https://infosec.press/brunomiguel/is-mozilla-trying-hard-to-kill-itself
137•pabs3•1h ago•89 comments

AI will make formal verification go mainstream

https://martin.kleppmann.com/2025/12/08/ai-formal-verification.html
638•evankhoury•13h ago•331 comments

TLA+ Modeling Tips

http://muratbuffalo.blogspot.com/2025/12/tla-modeling-tips.html
29•birdculture•2h ago•1 comments

alpr.watch

https://alpr.watch/
788•theamk•17h ago•373 comments

No Graphics API

https://www.sebastianaaltonen.com/blog/no-graphics-api
648•ryandrake•15h ago•115 comments

Announcing the Beta release of ty

https://astral.sh/blog/ty
603•gavide•13h ago•113 comments

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

https://www.waterfox.com/blog/no-ai-here-response-to-mozilla/
343•MrAlex94•12h ago•199 comments

GPT Image 1.5

https://openai.com/index/new-chatgpt-images-is-here/
440•charlierguo•16h ago•205 comments

Pricing Changes for GitHub Actions

https://resources.github.com/actions/2026-pricing-changes-for-github-actions/
659•kevin-david•17h ago•723 comments

Annual Production of 1/72 (22mm) scale plastic soldiers, 1958-2025

https://plasticsoldierreview.com/ShowFeature.aspx?id=27
38•YeGoblynQueenne•3d ago•21 comments

Show HN: I built a WebMIDI sequencer to control my hardware synths

https://www.simplychris.ai/droplets
20•simplychris•5d ago•6 comments

VA Linux: The biggest dotcom IPO

https://dfarq.homeip.net/va-linux-the-biggest-dotcom-ipo/
63•giuliomagnifico•5d ago•20 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/
167•pbowyer•11h ago•98 comments

Subsets (YC S23) is hiring engineers in Copenhagen, Denmark

https://www.workatastartup.com/companies/subsets
1•Oliverbrandt•3h ago

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...
449•geox•20h ago•179 comments

P: Formal Modeling and Analysis of Distributed (Event-Driven) Systems

https://github.com/p-org/P
8•Davidbrcz•3h ago•1 comments

Thin desires are eating life

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

Mozilla appoints new CEO Anthony Enzor-Demeo

https://blog.mozilla.org/en/mozilla/leadership/mozillas-next-chapter-anthony-enzor-demeo-new-ceo/
512•recvonline•20h ago•768 comments

Playing Santa Does Things to a Man. What It Did to Bob Rutan Was Even Stranger

https://www.esquire.com/lifestyle/a69597294/santaland-bob-rutan/
3•Lightbody•3d ago•0 comments

Introduction to Software Development Tooling (2024)

https://bernsteinbear.com/isdt/
77•vismit2000•9h ago•10 comments

AI's real superpower: consuming, not creating

https://msanroman.io/blog/ai-consumption-paradigm
4•firefoxd•2h ago•0 comments

Living Particle System

https://creative-art-points.vercel.app/
7•lovegrenoble•4d ago•0 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/
199•rgovostes•1d ago•178 comments

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

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

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

https://gamehistory.org/segachannel/
257•wicket•21h ago•40 comments

The World Happiness Report is beset with methodological problems

https://yaschamounk.substack.com/p/the-world-happiness-report-is-a-sham
132•thatoneengineer•1d ago•165 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...
24•peter_d_sherman•6h ago•1 comments

Dafny: Verification-Aware Programming Language

https://dafny.org/
78•handfuloflight•11h ago•25 comments

Various locale mismatch scenarios in Windows clipboard text format synthesis

https://devblogs.microsoft.com/oldnewthing/20251211-37/?p=111858
17•ibobev•4d ago•7 comments

Nvidia Nemotron 3 Family of Models

https://research.nvidia.com/labs/nemotron/Nemotron-3/
210•ewt-nv•1d ago•39 comments
Open in hackernews

Venezuela explained in 10 maps and charts

https://www.aljazeera.com/news/2025/11/28/venezuela-explained-in-10-maps-and-charts
50•Anon84•3d ago

Comments

mohsen1•1h ago
Al Jazeera has been super loud and vocal about how US aggressions towards Venezuela is all about oil. It makes sense since Venezuela’s future oil exports in case the current regime falls will hugely impact the price of oil which funds Qatar which funds Al Jazeera.
faidit•1h ago
It could also reduce US dependence on Qatar, reducing the value of all the bribes they paid to Trump so far and requiring them to bribe him more.
e40•1h ago
The similarities with Iraq are insane

https://youtu.be/C5QGzYFjVaU?si=09nRUo_ddUd5H3D7

The Daily Show segment on comparing them.

cm2187•56m ago
When US supports dictators, US bad. When US topples dictators, US bad…

To me the similarity with Iraq is that it is run by a ruthless dictator that destroys the country. I don’t care that much which pretext is used to topple him. The reason why the Iraq war was a bad idea isn’t that the pretext used turned out to be bullshit, it is that Saddam’s brutal regime was keeping a lead on ethnic tensions, that ended up killing over a 100k people. Though it isn’t clear it wouldn’t have happened ultimately when Saddam would have died of natural death.

Oil is unconvincing since it took years before production recovered, so that clearly wasn’t the priority.

But I see no such risk in Venezuela. Not that it is likely to become a wealthy Switzerland, the voters elected Chavez after all. But a poor democracy is better than a poor dictatorship.

Not sure how Trump will still claim he deserves a Nobel Peace Prize if he starts an unprovoked war (and also rewards the dictator having started an unprovoked war in Ukraine) though.

gpderetta•50m ago
> When US supports dictators, US bad. When US topples dictators, US bad…

there is a third option.

rglullis•47m ago
"Don't do anything, let China handle it" ?
kakacik•25m ago
No just the first part, China ain't doing no ground invasion for oil, minerals and power half around the world. Iraq and whole surrounding region became a hellhole due and only due to US failed invasion, gave the world ISIS and screwed entire region badly for decades to come. Afghanistan became (again) a hellhole due to failed US invasion too, 0 positive long term things achieved, just death all around.

US military-industrial complex (aka the republicans in power but not only) will try and force any way US will spend trillions on military equipment again and again, thats glaringly obvious to literally whole world and not something new or secretly done behind many curtains.

If US would actually want to have an image (and not just self-image) of somebody standing up to tyranny and genocide and protecting the weak and just, they would support Ukraine and not backstab it frequently as they do. Thats a fine litmus paper for this in current times, don't need anything else. The fact that enemy there is a mortal enemy of US itself and all principles US holds (held?) dear like freedom, democracy, capitalism or right to self-determination is just the proverbial cherry on the top of the cake. No amount of words can bullshit around this simple fact.

Also in the process US is losing its by far biggest and strongest ally in whole world on all existential, moral and societal levels - Europe. An army of expert spies and hackers wouldn't be able to achieve in decades what current potus achieved in less than a year.

wiseowise•36m ago
Let dictators do whatever the fuck they want?
fakedang•23m ago
Well as long as they're just fucking around within their borders, yeah?

Or maybe the US should start with instituting regime change in its allies in the Persian Gulf?

drysine•16m ago
>Let dictators do whatever the fuck they want?

Like grabbing conscription age men on the streets, put them in a van while they are screeming "I want to live" and send them to the front line after two weeks of "training"?

Apparently, yes, that's what the US does if you look at the Ukraine.

vkou•3m ago
Strange how this humanitarian concern only comes up when they have oil, or are somehow geopolitically relevant.

(You may also want to look into the US' track record for installing dictators throughout the Americas. It's not great.)

DrScientist•2m ago
Sounds like you are pleading for an international intervention in the US as Trump tramples all over the constitution, indulges in blatant corruption and sends troops onto the streets :-)

Fortunately most countries think it's a US internal matter for the US people to sort out.

sirfz•41m ago
I think the problem with your take is your assumption that the US topples regimes because of dictatorship or to support "democracy".
oersted•34m ago
When US initiates aggressive unilateral military action on other sovereign countries, US bad yes, of course.

Old-school UN-led "police action" as in Korea is one thing, at least there's a somewhat universal institution making judgements on which countries need to be "saved" under a consistent legal framework, but that's such a slippery slope too.

The US does not have the authority to make such decisions and definitely does not have a good track record of them. It's just vigilantism at a large scale, at best. Even when being charitable about intent, US has done some things in legitimate good faith, at least partially, the results are always catastrophic. There's been no instance of actually positive outcomes for the local population, it has always destroyed the country for decades to come and set the stage for significantly worse regimes.

drysine•14m ago
>I don’t care that much which pretext is used to topple him.

The US also destroyed the country in the process and caused more deaths than Saddam.

matwood•5m ago
The problem with your argument is there are dictators all over the world the US ignores. If anti-dictator is enough, why the tepid response for Ukraine? What about the various African nations? What about Haiti and the violence there?

The difference is oil, and Trump's also very petty and Maduro has told him to pound sand.

> Oil is unconvincing since it took years before production recovered, so that clearly wasn’t the priority.

Haliburton, Exxon, Chevron, etc... made a ton of money rebuilding the infrastructure and continue to make money on the oil reserves.

kristopolous•27m ago
let's get a time stamp:

https://youtu.be/C5QGzYFjVaU?si=lr30ZcfhKQgGCe1t&t=597

sofixa•56m ago
It's not that easy/clear. Venezuelan oil is really poor quality, needs lots of refining, and is thus only profitable only when the price per barrel is on the higher end.

So Qatar (which mostly exports natural gas anyways), Saudi Arabia, etc. can just dump oil at a cheaper price to make it unprofitable to extract and refine Venezuelan oil.

US decision makers salivating over war/oil/whatever def don't take that into account, but it really doesn't matter either.

apples_oranges•53m ago
Good video on the oil: https://m.youtube.com/watch?v=Pgwny1BiCYk
4gotunameagain•12m ago
This doesn't mean that they are wrong. We should not have another was for the petrodollar. We have enough suffering in this planet. We should not only not create more, but actively try to reduce it.
crazybonkersai•1h ago
It is shocking how openly US planning a war of aggression against Venezuela and the whole civilized world is just fine with it. EU could grow a pair and show the US that this type of behaviour is not accepted. Sanction the fuck out of the US regime, boot off Swift, kick American companies out of the EU market, barren American citizens from travelling to EU. EU can prevent this war, while it is not too late.
mongol•1h ago
EU can't prevent this war.
crazybonkersai•58m ago
Not with this kind of attitude for sure. EU can at least send a strong signal by doing concrete actions. Sanctions against American corporations and individuals, travel restrictions, SWIFT ban. These will make Trump think twice before waging acts of unprovoked aggression.
farseer•53m ago
Sanctions against someone they need to contain Russia?
mongol•52m ago
EU has to focus on its hostile neighbour to the east. I can see you are no fan of the EU but be realistic
nusl•52m ago
Trump and the US has never shown to care about this. The current US gov seems fixated on attacking the EU and trying to break it up. If they want to go to war, EU won't be able to stop them. Perhaps if they gift Trump a plane, though.
vkou•58m ago
No, but it can freeze the assets of its perpetrators.
farseer•54m ago
The EU is fine with it, because there are no principles in geo-politics. All their hue and cry about Ukraine is also because of their own security, not any virtue. Laughably it was the EU that went along with US plans to deorbit Ukraine from Russia's influence.

The only way for Venezuela to survive is to play dirty and be cunning/resourceful just like their Ukrainian counterparts fighting for their life.

Attrecomet•28m ago
I also wonder why the EU should invest a significant amount of political, economical and hard military power to protect a failing dictatorship?

Make no mistake, the EU is not "fine" with the war in the sense that they will express diplomatic criticism of the US when Trump finally starts his idiotic (and narcissistic, and corrupt, but I already said "Trump") war. They are "fine" with it in the sense that they won't self-implode their collective political careers and perhaps the EU itself by sanctioning the US and destroying the economy of the entire EU for fucking Maduro. Doing that would be idiocy.

bojan•21m ago
> The only way for Venezuela to survive is to play dirty and be cunning/resourceful just like their Ukrainian counterparts fighting for their life.

You are trying very hard to make the situations sound similar, but they are not.

Ukraine is a democracy, Venezuela is not.

The scope of the attacks are entirely different. Still doesn't justify what Trump is doing, of course.

realusername•10m ago
You make it sound like it's a bad thing, being the subject of weekly nuclear threats and invasion threats like the EU is is a valid reason on its own to support Ukraine.
apples_oranges•54m ago
War is bad .. yes very, of course, but look closer at life in Venezuela, it’s really gotten bad for people there.. millions left, just saying: regime change if it works might .. be good?
xkcd1963•49m ago
EU is a puppet state of the US empire.
oersted•49m ago
While I like the sentiment, we have to be somewhat pragmatic. The sanctions on Russia have had a deep impact on the EU economy, mainly the energy crisis and other connected systemic consequences. Germany and much of central and eastern EU became highly dependent on Russian natural gas over the last 20 years, and higher energy prices in general have been quite harmful to the already precarious industrial and agricultural sectors (high-tech farming as in NL, while quite profitable, is very energy intensive and sensitive to tightening margins).

Most of EU (and UK) is on (or near) recession right now, except for some southern EU countries which are doing surprisingly well, although relative to a long period of hardship after the 2008 crisis. It's not an acute recession, but there's no clear way out of this stagnation on the horizon, and the people are really starting to feel the squeeze.

Of course, the root cause of this is much deeper, the Russia situation was just the spark. EU industry has been complacent for decades, believing that while less competitive on costs and scale we still had the technological edge, which ironically led to severe underinvestment in R&D. And giving up on nuclear is backfiring badly too.

I do think the (shrinking) majority still believes that the (limited) actions against Russia were worthwhile, since they are not threatening sovereignty in general, they are threatening EU's territorial integrity at our doorstep. It is unacceptable, and while it is a heavy price, not retaliating would have much more catastrophic consequences.

But cutting off trade with US over Venezuela? Forget about it, EU's dependency on US is orders of magnitude higher than it was with Russia, it would be absolutely deadly to the EU economy.

wiseowise•33m ago
Last time I've checked it was Pax Americana, not Pax Europeana.

> Checks registration date and comments

Ah, right, another Russian bot.

elktown•33m ago
It will be interesting to see how quickly people & media will suddenly go "Well, actually Venezuela is a problem" or similarly spineless turnaround.
grunder_advice•21m ago
The EU has consistently been anti-Chavez and anti-Maduro, probably because the corrupt Venezuelan elites who escaped with their stolen millions after Chavez was elected, have been whispering in their ears ever since.
globular-toast•1h ago
The export charts appear to have been taken from OEC[0]. They appear to be CC0 from the source but they've applied CC BY-NC-SA and put their own logo on it. A bit odd.

[0] https://oec.world/en/profile/country/ven

globalnode•1h ago
all these world power grabs are manufactured stories with the back end being -- gimme your stuff. something something playbook something something.
nusl•56m ago
Trump has been begging for a peace prize, got his FIFA pretend-prize, and immediately threatens war on a country over pretense after illegally killing their citizens over dubious claims. They've been pressuring Ukraine into handing over valuable resources, and now they're going for a country over Oil. Okay, enjoy your peace prize Mr. Global FIFA Peace Man.
febed•55m ago
Interesting how Venezuela has more oil than Saudi Arabia but is not able to capitalize on it due to systemic issues
HPsquared•49m ago
Venezuelan crude is heavier and has more sulfur than Saudi oil which makes it harder to process. (Still easier than Canadian oil sand though)
decimalenough•13m ago
Venezuela was processing it just fine before Chavez showed up, nationalized the industry, put his cronies in charge and let it all fall to pieces.

https://www.ceicdata.com/en/indicator/venezuela/crude-oil-ex...

ksynwa•24m ago
> systemic issues

Like sanctions?

grunder_advice•24m ago
From what I understand the root cause is racism and classism.

Venezuela was in a deep economic crisis for a very long time before Chavez was elected. The then ruling elite were pretty happy living in a bubble, extracting oil, selling to the west, embezzling the proceeds and ignoring most of the population.

The reason I say, the root cause is racism and classism, is because they totally underestimated the power of the people to overthrow their corrupt regime.

hsiudh•1m ago
You clearly don't know anything about the history of the country. It was never about classism or racism, venezuelans are racially diverse with lots of mix between the original indigenous inhabitants, colonial europeans, african slaves and then the second wave of european immigrants after the WWII.

> The reason I say, the root cause is racism and classism, is because they totally underestimated the power of the people to overthrow their corrupt regime.

There was no 'regime', there was a democracy with corruption problems but that was still functional. Nor it was 'overthrown', a populist was elected due to disenchantment and the populist dismantle the state institutions and turn it into an oligarchy ran by his circle.

hexbin010•14m ago
Systemic issues is a nice euphemism
armchairhacker•15m ago
What do Venezuelans think about the US aggression? Both in numbers and what are some common opinions?
FullMetalBitch•10m ago
I only know expats and they can't wait to see Maduro gone.