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

alpr.watch

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

No Graphics API

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

Announcing the Beta release of ty

https://astral.sh/blog/ty
411•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/
365•charlierguo•10h ago•183 comments

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

https://bernsteinbear.com/isdt/
41•vismit2000•3h ago•4 comments

Pricing Changes for GitHub Actions

https://resources.github.com/actions/2026-pricing-changes-for-github-actions/
550•kevin-david•11h ago•627 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

Mozilla appoints new CEO Anthony Enzor-Demeo

https://blog.mozilla.org/en/mozilla/leadership/mozillas-next-chapter-anthony-enzor-demeo-new-ceo/
456•recvonline•15h ago•714 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

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

https://www.npmjs.com/package/@ezetgalaxy/titan
13•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/
5•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/
93•hjouneau•2h ago•46 comments

Testing a cheaper laminar flow hood

https://chillphysicsenjoyer.substack.com/p/testing-a-cheaper-laminar-flow-hood
25•surprisetalk•4d ago•6 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

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•29 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•116 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

Show HN: Deterministic PCIe Diagnostics for GPUs on Linux

https://github.com/parallelArchitect/gpu-pcie-diagnostic
14•gpu_systems•8h ago
I built a small Linux tool to deterministically verify GPU PCIe link health and bandwidth.

It reports: - Negotiated PCIe generation and width - Peak Host→Device and Device→Host memcpy bandwidth - Sustained PCIe TX/RX utilization via NVML - A rule-based verdict derived from observable hardware data only

This exists because PCIe issues (Gen downgrades, reduced lane width, risers, bifurcation) are often invisible at the application layer and can’t be fixed by kernel tuning or async overlap.

Linux-only: it relies on sysfs and PCIe AER exposure that Windows does not provide.

Comments

wtallis•6h ago
Is this entirely NVIDIA-specific, or can it do any diagnostics for other GPUs?
kimixa•4h ago
It's very much nvidia specific, not just using CUDA but the backing nvidia-specific management libraries.

Though I don't think there's anything particularly device-specific they're measuring, they're using the private nvidia interfaces to do so.

cr125rider•1h ago
OP you should call that out a little more clearly that this is Nvidia only.
AuthAuth•5h ago
This is great. Are there any features you are looking to add? Would checking for bad memory blocks be useful? I've never seen it happen on a GPU but surely it must.