frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Hyper-Typing

https://pscanf.com/s/341/
19•agos•7mo ago

Comments

dang•7mo ago
Comments moved to https://news.ycombinator.com/item?id=44024173, which is currently on the frontpage.

AI will make formal verification go mainstream

https://martin.kleppmann.com/2025/12/08/ai-formal-verification.html
258•evankhoury•3h ago•136 comments

No Graphics API

https://www.sebastianaaltonen.com/blog/no-graphics-api
380•ryandrake•5h ago•65 comments

alpr.watch

https://alpr.watch/
598•theamk•7h ago•294 comments

Announcing the Beta release of ty

https://astral.sh/blog/ty
255•gavide•3h ago•51 comments

GPT Image 1.5

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

Pricing Changes for GitHub Actions

https://resources.github.com/actions/2026-pricing-changes-for-github-actions/
460•kevin-david•7h ago•492 comments

Midjourney is alemwjsl

https://www.aadillpickle.com/blog/midjourney-is-alemwjsl
38•aadillpickle•6d ago•13 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/
33•pbowyer•1h ago•2 comments

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

https://www.waterfox.com/blog/no-ai-here-response-to-mozilla/
55•MrAlex94•2h ago•38 comments

Americans overestimate how many social media users post harmful content

https://academic.oup.com/pnasnexus/article/4/12/pgaf310/8377954?login=false
16•bikenaga•1h ago•27 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...
386•geox•10h ago•165 comments

Mozilla appoints new CEO Anthony Enzor-Demeo

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

Dafny: Verification-Aware Programming Language

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

Chat-tails: Throwback terminal chat, built on Tailscale

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

Thin desires are eating life

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

MIT professor shot at his Massachusetts home dies

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

The World Happiness Report is beset with methodological problems

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

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

https://kemble.net/blog/provoke/
75•tempodox•9h 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/
101•rgovostes•15h ago•79 comments

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

https://gamehistory.org/segachannel/
214•wicket•11h ago•33 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
50•ascorbic•3h ago•23 comments

FVWM-95 (2001)

https://fvwm95.sourceforge.net/
107•mghackerlady•7h ago•80 comments

Nvidia Nemotron 3 Family of Models

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

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

https://github.com/Maxteabag/sqlit
112•MaxTeabag•1d ago•14 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
49•furcyd•6d ago•60 comments

Rust GCC backend: Why and how

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

Creating custom yellow handshake emojis with zero-width joiners

https://blog.alexbeals.com/posts/custom-yellow-handshake-emojis-with-zero-width-joiners
57•dado3212•1d 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/
20•rcarmo•3h ago•4 comments

30 years of <br> tags

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