frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Formalizing Fermat's Last Theorem

https://www.anthropic.com/research/formalizing-fermats-last-theorem
407•jlebar•4h ago•263 comments

Actively exploited sandbox RCE in all Chromium versions

https://nvd.nist.gov/vuln/detail/cve-2026-85046
63•negura•1h ago•15 comments

Statichost.eu – European static site hosting

https://www.statichost.eu/
124•p4bl0•2h ago•40 comments

Discovery of a new OpenAI agent message board

https://collusion.wiki/
1407•moultano•11h ago•1128 comments

GPT-6 Astra on OpenRouter

https://openrouter.ai/openai/gpt-6-astra
50•Topfi•1h ago•19 comments

Can AI design circuit boards yet?

https://eebench.org/blog/can-ai-design-circuit-boards-yet/
118•iopapa•3h ago•70 comments

Shutting down our public encrypted DNS

https://mullvad.net/en/blog/shutting-down-our-public-encrypted-dns-servers-and-sponsoring-quad9-i...
202•mywacaday•4h ago•75 comments

An open DNS recursive service for free security and high privacy

https://quad9.net/
43•mooreds•3h ago•9 comments

Show HN: Open-Source eInk Bike Computer

https://opentrailpaper.com
206•stingrae•5h ago•68 comments

Digital Sovereignty Is Written in PHP

https://thephp.foundation/blog/2026/09/02/digital-sovereignty-is-written-in-php/
24•taubek•2d ago•1 comments

RSA-260 Factorized

https://twitter.com/penlume/status/2095372672356212876
34•samyok•1d ago•11 comments

Government Rails Site Hit Hours After CVE Patch

https://rietta.com/blog/ruby-on-rails-cve-exploited-hours-after-patch/
61•rietta•4h ago•14 comments

The Rust React Compiler is now native in Vite

https://blog.master.dev/react-now-rusted-all-the-way-out/
96•acusti•5h ago•19 comments

Fermat's Last Theorem in Lean 4

https://github.com/anthropics/fermats-last-theorem
43•aaraujo002•4h ago•10 comments

Record-High 89% in U.S. Say Government Corruption Widespread

https://news.gallup.com/poll/713933/record-high-say-government-corruption-widespread.aspx
45•karakoram•1h ago•16 comments

How to Create a Tor Exit Node

https://madpsy.uk/how-to-create-a-tor-exit-node/
27•Eridanus2•2h ago•18 comments

Updates on HEIR, the Homomorphic Encryption Compiler Project

https://www.jeremykun.com/2026/09/04/updates-on-heir-homomorphic-encryption/
11•turtleyacht•1h ago•0 comments

IBM Bob

https://bob.ibm.com/
207•artpar•10h ago•244 comments

deSEC – Free Secure DNS

https://desec.io/
95•gurjeet•7h ago•39 comments

Solving the Jane Street reverse engineering challenge

https://jestoph.com/2026/09/04/jane-street-challenge.html
376•anitil•12h ago•83 comments

Icons as a Service

https://nravic.com/blog/images/
5•nravic•1h ago•0 comments

The Wormhole Hall of Shame

https://rznicolet.com/2026/07/05/wormhole-hall-of-shame/
20•rznicolet•4d ago•9 comments

Fomu An FPGA board that fits inside your USB port

https://www.crowdsupply.com/sutajio-kosagi/fomu
23•Bluestein•2d ago•4 comments

Project HydraFusion: Frontier quality via multi-model orchestration

https://github.blog/ai-and-ml/github-copilot/project-hydrafusion-frontier-quality-via-multi-model...
57•qainsights•6h ago•29 comments

Adult Film Producer Unmasks Prolific 'John DOE' Torrent Pirate as Meta Executive

https://torrentfreak.com/adult-film-producer-unmasks-prolific-john-doe-torrent-pirate-as-meta-exe...
294•speckx•6h ago•184 comments

Deadpan Photography: Enjoying the Pretence

https://photoni.st/index.php/2026/07/12/deadpan-photography-enjoying-the-pretence/
25•NaOH•3d ago•13 comments

Without new landers or rovers, it's helicopters or bust for NASA's Mars program

https://arstechnica.com/space/2026/09/without-new-landers-or-rovers-its-helicopters-or-bust-for-n...
6•gumby•2h ago•0 comments

SubImage (YC W25) Is Hiring a Founding Engineer in SF

https://www.ycombinator.com/companies/subimage/jobs/NCTFgKK-founding-engineer
1•alexchantavy•11h ago

"Next-token predictor" is the wrong mental model for LLMs

https://gmcgoldr.github.io/2026/09/04/llm-next-token-predictors.html
55•garrinm•6h ago•139 comments

Show HN: TERMy – A fast terminal assistant that does not use LLMs

https://github.com/gioblu/NPC-Forge/blob/main/docs/development.md
83•gioscarab•14h ago•27 comments
Open in hackernews

Faster sorting with SIMD CUDA intrinsics (2024)

https://winwang.blog/posts/bitonic-sort/
92•winwang•1y ago
Code at https://github.com/wiwa/blog-code/

Comments

ashvardanian•1y ago
The article covers extremely important CUDA warp-level synchronization/exchange primitives, but it's not what is generally called SIMD in the CUDA land .

Most "CUDA SIMD" intrinsics are designed to process a 32-bit data pack containing 2x 16-bit or 4x 8-bit values (<https://docs.nvidia.com/cuda/cuda-math-api/cuda_math_api/gro...>). That significantly shrinks their applicability in most domains outside of video and string processing. I've had pretty high hopes for DPX on Hopper (<https://developer.nvidia.com/blog/boosting-dynamic-programmi...>) instructions and started integrating them in StringZilla last year, but the gains aren't huge.

winwang•1y ago
Oh wow, TIL, thanks. I usually call stuff like that SWAR, and every now-and-then I try to think of a way to (fruitfully) use it. The "SIMD" in this case was just an allusion to warp-wide functions looking like how one might use SIMD in CPU code, as opposed to typical SIMT CUDA.

Also, StringZilla looks amazing -- I just became your 1000th Github follower :)

ashvardanian•1y ago
Thanks, appreciate the gesture :)

Traditional SWAR on GPUs is a fascinating topic. I've begun assembling a set of synthetic benchmarks to compare DP4A vs. DPX (<https://github.com/ashvardanian/less_slow.cpp/pull/35>), but it feels incomplete without SWAR. My working hypothesis is that 64-bit SWAR on properly aligned data could be very useful in GPGPU, though FMA/MIN/MAX operations in that PR might not be the clearest showcase of its strengths. Do you have a better example or use case in mind?

winwang•1y ago
I don't -- unfortunately not too well-versed in this field! But I was a bit fascinated with SWAR after I randomly thought of how to prefix-sum with int multiplication, later finding out that it is indeed an old trick as I suspected (I'm definitely not on this thread btw): https://mastodon.social/@dougall/109913251096277108

As for 64-bit... well, I mostly avoid using high-end GPUs, but I was of the impression that i64 is just simulated. In fact, I was thinking of using the full warp as a "pipeline" to implement u32 division (mostly as a joke), almost like anti-SWAR. There was some old-ish paper detailing arithmetic latencies in GPUs and division was approximately more than 32x multiplication (...or I could be misremembering).

bobmcnamara•1y ago
Parallel compares: https://graphics.stanford.edu/~seander/bithacks.html#ZeroInW...
DennisL123•1y ago
Interesting stuff. Not sure if I read this right that it‘s 16 und 32 bit values of integers that get sorted. If yes, I‘d love to see if the GPU implementation can beat a competitive Radix sort implementation on a CPU.
winwang•1y ago
It's 32 32-bit values which get sorted. I don't think a GPU sort would beat a CPU sort at this scale, even if you don't take kernel launch time into account. CPUs are simply too fast for (super-)small data, especially with AVX-512. But if we're talking about a larger amount of data, that would be a different story, i.e. as part of a normal gpu mergesort.
maeln•1y ago
It is also useful if your data already lives on the GPU memory. For example, when you need to z-sort a bunch of particles in a 3d renderer particle system.
exDM69•1y ago
A 32 way GPU sorting algorithm might be just what I need for sorting and deduplicating triangle id's in a visibility buffer renderer I am working on.

Thanks for sharing.

winwang•1y ago
As someone who doesn't know very much about graphics (ironically), you're welcome and hope it helps!
fourseventy•1y ago
What are the biggest use cases of GPU accelerated sorting?