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
553•evankhoury•10h ago•277 comments

alpr.watch

https://alpr.watch/
736•theamk•15h ago•353 comments

No Graphics API

https://www.sebastianaaltonen.com/blog/no-graphics-api
573•ryandrake•12h ago•104 comments

Announcing the Beta release of ty

https://astral.sh/blog/ty
517•gavide•11h ago•91 comments

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

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

VA Linux: The biggest dotcom IPO

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

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

https://www.simplychris.ai/droplets
7•simplychris•5d ago•0 comments

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

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

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

https://www.waterfox.com/blog/no-ai-here-response-to-mozilla/
274•MrAlex94•9h ago•155 comments

GPT Image 1.5

https://openai.com/index/new-chatgpt-images-is-here/
410•charlierguo•13h ago•191 comments

Pricing Changes for GitHub Actions

https://resources.github.com/actions/2026-pricing-changes-for-github-actions/
605•kevin-david•14h ago•672 comments

Introduction to Software Development Tooling (2024)

https://bernsteinbear.com/isdt/
68•vismit2000•6h 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...
431•geox•18h 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/
484•recvonline•18h ago•741 comments

Thin desires are eating life

https://www.joanwestenberg.com/thin-desires-are-eating-your-life/
446•mitchbob•1d ago•172 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/
142•pbowyer•9h ago•86 comments

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

https://www.npmjs.com/package/@ezetgalaxy/titan
27•soham_byte•5d ago•12 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...
20•peter_d_sherman•4h ago•1 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/
178•rgovostes•23h ago•148 comments

Dafny: Verification-Aware Programming Language

https://dafny.org/
67•handfuloflight•9h ago•25 comments

Various locale mismatch scenarios in Windows clipboard text format synthesis

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

Show HN: Learn Japanese contextually while browsing

https://lingoku.ai/learn-japanese
63•englishcat•7h ago•33 comments

Nvidia Nemotron 3 Family of Models

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

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

https://gamehistory.org/segachannel/
247•wicket•18h ago•39 comments

Testing a cheaper laminar flow hood

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

The World Happiness Report is beset with methodological problems

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

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

https://kemble.net/blog/provoke/
110•tempodox•16h ago•65 comments

Chat-tails: Throwback terminal chat, built on Tailscale

https://tailscale.com/blog/chat-tails-terminal-chat
80•nulbyte•10h ago•13 comments

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

https://github.com/Maxteabag/sqlit
137•MaxTeabag•1d ago•21 comments

FTX insider Caroline Ellison has been moved out of prison

https://www.businessinsider.com/caroline-ellison-prison-release-ftx-sam-bankman-fried-2025-12
41•harambae•3h ago•15 comments
Open in hackernews

FTX insider Caroline Ellison has been moved out of prison

https://www.businessinsider.com/caroline-ellison-prison-release-ftx-sam-bankman-fried-2025-12
41•harambae•3h ago

Comments

dhruv3006•3h ago
So you can always get away with fraud?
btilly•1h ago
She's still serving her sentence. Just not in prison.

As for why it is so short, that's her reward for helping them get SBF.

latchkey•1h ago
What's amazing is that they needed her help.
eightman•1h ago
There's a reason SBF was arrested and tried within a year while other complex financial fraud cases take years to get a conviction.
latchkey•1h ago
Dec 11, 2008: Madoff arrested; scheme revealed.

March 12, 2009: Madoff pleads guilty to 11 federal felonies.

June 29, 2009: Sentenced to 150 years in prison and ordered to forfeit $17.179 billion.

bdcravens•57m ago
In Madoff's case, he confessed to his sons. So again, this was a case of an insider having the goods, not the result of a speedy investigation.
eightman•53m ago
I mean yeah Madoff confessed and made the case open and shut.

SBF entered a Not Guilty plea but Ellison for all intents and purposes entered a Guilty plea on his behalf with her co-operation.

latchkey•42m ago
She also had no choice, as SBF was blaming her. The point being that they still didn't really need her help. It was obvious that he committed fraud, and there was plenty of proof of it.
bfg_9k•1h ago
I mean, the guy was constantly high on nootropics and they had no idea what actual investments FTX made. I'd imagine most of the time was just spent untangling that web, his case was more or less a slam dunk.
andrewinardeer•1h ago
Is it deliberate that I've never seen a media outlet publish a flattering photo of her?

That said, when the movie is inevitably released they'll probably cast Scarlett Johansson or Cailee Spaeny as her.

pppppiiiiiuuuuu•28m ago
Nearly all of the photos of her I can find are of her walking to and from a car. The others (which were very few and only one of which I thought was a good photo) seem like social media pics that news agencies probably couldn't publish. That does make more challenging to get a good picture of her, but I have a hard time believing they couldn't have done better that the one at the top of the article. It's particularly bad.
bloqs•26m ago
just looks like a normal person who is not posing for a photo, not some influencer
pppppiiiiiuuuuu•24m ago
To me it looks like when you take a bunch of pictures while someone is talking and some of them look extremely awkward because their mouth in a weird shape.
admissionsguy•5m ago
there are some but they required this amount of processing https://www.bostonglobe.com/2022/12/06/business/caroline-ell...
alexey-salmin•26m ago
> Ellison, 31

Remarkable how she did all this, landed in prison and will still have half of her life ahead when this chapter ends.

In Europe at this age many people are hesitant if it's the time to get their first job or not yet.