frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

The Case Against Formal Verification, 50 Years Later

https://ivan-gavran.github.io/0-social-processes-paper
43•ghuntley•1h ago•29 comments

A 3rd World Embedded Engineer Responds to "RISC-V They Should Have Known Better"

https://rvembedded.com/blog_post/12/
251•Narishma•5h ago•137 comments

Claude: System Prompts

https://platform.claude.com/docs/en/release-notes/system-prompts
453•tosh•9h ago•196 comments

Protobuf has LSP support. You're welcome

https://buf.build/blog/protobuf-lsp
72•theanonymousone•3h ago•42 comments

SIMD in the 90s: Programming Intel's Pentium MMX

https://pikuma.com/blog/programming-intel-pentium-mmx-simd
35•ibobev•3d ago•9 comments

Models Are Getting Dumber on Purpose

https://w4g1.dev/blog/models-are-getting-dumber-on-purpose
183•hruvhwe•2h ago•113 comments

Low-Tech Ceramic Water Filter

https://wiki.lowtechlab.org/wiki/Filtre_%C3%A0_eau_c%C3%A9ramique/en
34•Bluestein•5d ago•11 comments

The AI Credit Resale Economy

https://vectoral.com/blog/who-are-the-token-brokers
193•mlenhard•7h ago•71 comments

Stripe Clinches over $7B Deal to Buy AI Firm OpenRouter

https://www.bloomberg.com/news/articles/2026-08-16/stripe-nears-deal-to-buy-ai-firm-openrouter-fo...
59•zacharyozer•1h ago•41 comments

MathCode, Mathematical Coding Agent

https://math-ai-org.github.io/mathcode/
38•homarp•3h ago•13 comments

Anton Chekhov played at love most of his life

https://commonreader.wustl.edu/winning-and-losing-at-the-great-game-of-intimacy/
51•lermontov•1d ago•8 comments

Clamiga: Common Lisp for the Amiga

https://nnamgreb.de/blog/Clamiga+-+Common+Lisp+for+the+Amiga
67•emptybits•3d ago•6 comments

St Lucie Nuclear Reactor Unit 1 manually shutdown, 3 control rods drop into core

https://www.wptv.com/news/treasure-coast/region-st-lucie-county/saint-lucie-nuclear-power-plant-u...
134•toomuchtodo•6h ago•97 comments

Plastic mechanical computer from 1963: The Digi-Comp 1 [video]

https://www.youtube.com/watch?v=-y8bGBE71yw
32•tobr•1d ago•7 comments

Nvidia dramatically reduces amount of OpenAI infra financing it may guarantee

https://www.reuters.com/business/nvidia-scales-back-250-billion-openai-data-center-guarantee-wsj-...
19•root-parent•55m ago•1 comments

Firefox for iOS now has a native adblocker

https://support.mozilla.org/en-US/kb/block-ads-firefox-ios
463•pentagrama•9h ago•198 comments

Tell HN: Cloudflare silently injects its analytics when you switch nameservers

195•stagas•4h ago•53 comments

Claude Seems Down

10•zhan_eg•9m ago•2 comments

Anthropic IPO valuation hinges on $190-200B 2028 revenue forecast

https://www.reuters.com/business/anthropic-ipo-valuation-hinges-190-200-billion-2028-revenue-fore...
17•root-parent•1h ago•12 comments

Before Rightmove, there was the Cosmorama

https://www.ianvisits.co.uk/articles/before-rightmove-there-was-the-cosmorama-londons-forgotten-p...
21•brod_ie•5d ago•2 comments

Archie G. Norcross' Maine Forest Fire Maps (1918–22)

https://publicdomainreview.org/collection/maine-forest-fire-maps/
21•samclemens•3d ago•3 comments

Tasklet (YC P26) Is Hiring a Head of Design Engineering

https://tasklet.ai/careers/head-of-design-engineering
1•mayop100•8h ago

A True Telnet BBS on a Casio Calculator

https://ei3lh.eu/2026/08/16/a-true-telnet-bbs-on-a-casio-calculator/
75•austinallegro•9h ago•9 comments

The weekend is 100 years old

https://www.theguardian.com/money/2026/aug/16/the-weekend-is-100-years-old-skiveday-fridays-and-h...
158•lentil_soup•6h ago•90 comments

NIH is ending a key grant for budding clinical researchers

https://www.science.org/content/article/nih-ending-key-grant-budding-clinical-researchers
117•brandonb•5h ago•61 comments

Asus Bike Booster

https://www.asus.com/accessories/bike-booster/asus-oxiis/oxiis-intelligent-bike-booster/
596•wiradikusuma•4d ago•418 comments

Chestnut – eGPU dock with open-source firmware

https://hwbusters.com/news/comma-ai-egpu-dock-runs-open-source-firmware-249-bare-799-with-an-rx-9...
123•txrx0000•3d ago•35 comments

The deep history behind the Road to Nowhere inside the Great Smoky Mountains

https://www.wunc.org/environment/2026-08-10/road-to-nowhere-great-smoky-mountains
18•yareally•3d ago•5 comments

In the Shadow of the (Berlin) Wall

https://www.slowtravelberlin.com/in-the-shadow-of-the-berlin-wall/
11•yitchelle•3d ago•1 comments

A SAT Attack on Tarski's High School Algebra Problem

https://arxiv.org/abs/2608.08421
73•matt_d•4d ago•32 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?