frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Terrence Tao's ChatGPT Conversation about the Jacobian Conjecture Counterexample

https://chatgpt.com/share/6a5fdc7a-d6f8-83e8-bbea-8deb42cfed56
314•gmays•2h ago•149 comments

GigaToken: ~1000x faster Language model tokenization

https://github.com/marcelroed/gigatoken/
185•syrusakbary•2h ago•34 comments

Show HN: Bento - An entire PowerPoint in one HTML file (edit+view+data+collab)

https://bento.page/slides/
479•starfallg•4h ago•102 comments

Are AI Labs Pelicanmaxxing?

https://dylancastillo.co/posts/pelicanmaxxing.html
150•dcastm•2h ago•58 comments

Making

https://beej.us/blog/data/ai-making/
198•erikschoster•4h ago•78 comments

Everyone Should Know SIMD

https://mitchellh.com/writing/everyone-should-know-simd
63•WadeGrimridge•2h ago•21 comments

Nobody knows what a used GPU cluster is worth

https://ciphertalk.substack.com/p/nobody-knows-what-a-used-gpu-cluster
78•rbanffy•1w ago•68 comments

The startup's Postgres survival guide

https://hatchet.run/blog/postgres-survival-guide
237•abelanger•7h ago•128 comments

Can a MUD evaluate LLMs? A $99 proof of concept

https://cruciblebench.ai/
64•Davisb135•4h ago•37 comments

Ghost Cut – or why Cut and Paste is broken everywhere

https://ishmael.textualize.io/blog/ghost-cut/
84•willm•5h ago•56 comments

Mechanical light bulb from 1675 [video]

https://www.youtube.com/watch?v=0Y-9GbsS9Fg
51•kadohg•1w ago•21 comments

Nvidia DGX Spark as a daily driver

https://daniel.lawrence.lu/blog/2026-07-15-dgx-spark-as-daily-driver/
11•plun9•3d ago•1 comments

Launch HN: Unlayer (YC W22) – Add email and document builders to your app

https://unlayer.com
29•adeelraza•4h ago•22 comments

Does creatine make you smarter?

https://dynomight.net/creatine/
157•surprisetalk•4h ago•146 comments

“We have information that Moonshot distilled Fable for the development of K3”

https://twitter.com/mkratsios47/status/2079933645888880708
149•softwaredoug•5h ago•338 comments

10 REM"_(C2SLFF4

https://beej.us/blog/data/mystery-comment/
135•ingve•8h ago•38 comments

Perlin's Noise Algorithm (2023)

https://blog.jaysmito.dev/blog/02-perlins-noise-algorithm/
50•ibobev•5h ago•10 comments

Show HN: Web swing through midtown NYC

https://www.swingnyc.com/
47•shahahmed•3h ago•22 comments

Show HN: HN Hall of Fame – browse 3,100 legendary Hacker News links

https://www.orangecrumbs.com/hall/
151•oyster143•4h ago•36 comments

Introduction to Formal Verification with Lean Part 1

https://hashcloak.com/blog/tutorial-introduction-to-formal-verification-with-lean-(part-1)
211•badcryptobitch•3d ago•41 comments

Show HN: DeepSQL – A self-hostable DBA agent for Postgres and MySQL

https://deepsql.ai/
27•venkat971•2d ago•16 comments

Passkeys were invented by engineers with zero understanding of consumer brain

https://twitter.com/nikitabier/status/2079787406300266743
335•ksec•5h ago•426 comments

OpenNode – Bitcoin Payment Processor

https://opennode.com/
96•gurjeet•5h ago•80 comments

Neo Radar: A browser-based orbital mechanics engine with 41k real asteroids

https://neoradar.space
48•daviazpen•4h ago•13 comments

Hologram works. Elixir runs in the browser

https://hologram.page/blog/backing-hologram
75•lawik•5h ago•13 comments

Intel Starts Shipping High-NA EUV Silicon

https://morethanmoore.substack.com/p/intel-starts-shipping-high-na-euv
220•zdw•4d ago•95 comments

LG to ban residential proxies from smart TV apps

https://krebsonsecurity.com/2026/07/lg-to-ban-residential-proxies-from-smart-tv-apps/
362•DemiGuru•18h ago•364 comments

When is NVLink worth it?

https://platform-fools.com/posts/2026-04-27-nvlink/
38•ak_t•5h ago•8 comments

ScreenWall – Turn old phones into synced widgets for your space

https://screenwall.app/
115•buibuibui•5d ago•42 comments

I tried to record music onto a cassette tape using modern tech

https://swiftrocks.com/i-tried-to-record-music-onto-a-cassette-tape-using-modern-tech
18•rockbruno•5d ago•15 comments
Open in hackernews

Everyone Should Know SIMD

https://mitchellh.com/writing/everyone-should-know-simd
59•WadeGrimridge•2h ago

Comments

qurren•50m ago
I just do gcc -O3 and get SIMD without having to learn it
forrestthewoods•45m ago
auto-vectorization is not nearly as good as you would hope it to be.

The best SIMD optimizations likely require changing your data format from AoS to SoA.

raegis•37m ago
What are AoS and SoA?
nylonstrung•34m ago
Array of Structs and Struct of Arrays
Georgelemental•33m ago
Array of Structs and Struct of Arrays https://en.wikipedia.org/wiki/AoS_and_SoA
formerly_proven•35m ago
And -march=native or at least -march=x86-64-v3 or similar, alternatively identifying relevant functions and manually invoking FMV and uarch specialization via target_clones. Plus non-integer code can generally not be autovectorized in normal-math mode since FP is non-commutative.
nylonstrung•32m ago
The one feature in Jonathan Blow's Jai language I really envy is a a single keyword to switch AoS to SoA and visa-versa at comptime
mbStavola•22m ago
Didn't he drop this feature years ago?
Joker_vD•32m ago
Well, then I just prompt Claude and get SIMD without having to learn it /s
ethin•20m ago
Either this or you have to do special tricks like pairwise tree reductions and hand-unroll certain portions of loops.
ashton314•38m ago
In the article, Mitchel mentions how this doesn’t always work. In fact, as someone who’s worked in compiler development, I can say it’s a small miracle when it does work.
mitchellh•25m ago
Case-in-point, the example in my own post doesn't auto-vectorize with LLVM or GCC at highest optimization levels. Basically, compilers will never auto-vectorize loops with an early loop break afaik.
wrl•20m ago
i was having a conversation with a friend recently about simd in zig (which i have recently picked up and been having a pretty good time with). i find that simd writes decently well, though there's a few weird things:

- some builtins purport to work on simd vectors but actually just unpack the vectors and do their work per-element (e.g. running `@sin()` on a `@Vector(4, f32)` will unpack the vector, run `@sin()` 4 times, and then pack it back into a vector).

- a lot of `std.math` is scalar-only (some functions support vectors, though, and i've got a pr open for one of them and plan to do more).

- i'm certainly missing some intrinsics that i get from xmmintrin.h (rcp, rsqrt, few others).

in general though i'm finding it pretty capable.

mitchell, i know you hang around some of these comments sometimes – i noticed that in ghostty you bring in some c++ libs to do the simd heavy lifting for you. any plans to port that to zig? anything missing from the language or libs that's preventing it?

mitchellh•17m ago
> mitchell, i know you hang around some of these comments sometimes

hi im here

> i noticed that in ghostty you bring in some c++ libs to do the simd heavy lifting for you. any plans to port that to zig? anything missing from the language or libs that's preventing it?

No plans to port it. For others, this is referencing highway: https://github.com/google/highway

The major limitation of Zig's vectors is that they're compile-time only. So if you're building redistributed software that compiles for a baseline CPU target, it won't be as optimized as it could be for YOUR possible machine.

Highway compiles our SIMD modules for different hardware configurations and at startup does a CPUID fingerprint to figure out which to load. That way even baseline has AVX512 etc. implementations, and we just activate the right one at runtime.

We only use Highway for our hottest hot paths that we feel benefit from that specialization.

No plans to port that (although, I spent hundreds of dollars and slop-forked it into Zig with the help of this good boy GPT and it worked great actually, but I didn't want to maintain it).

wrl
eska•19m ago
I don’t know zig syntax, but wouldn’t it be possible to put this common pattern into a macro and simplify it to mostly a lambda on V?
dnautics•8m ago
no macros in zig, but yes you could metaprogram it. types are first class values at compile time so you could do that sort of specialization if you wanted.
hnal943•13m ago
[delayed]
•
12m ago
ahaaa, yeah, i don't personally do any runtime switching but i hear that as a deal-breaker from other folks.

it's interesting – i've found that zig tends to extend my vectors to the native width of the platform and then operate on them there. e.g. i had a `@Vector(2, f32)` that i was using as a demo and the generated assembly was promoting it to 256 bits and using avx2 instructions on it!

mitchellh•9m ago
> i've found that zig tends to extend my vectors to the native width of the platform and then operate on them there

oh interesting. though i suspect that isn't zig and thats llvm.

dnautics•5m ago
> some builtins purport to work on simd vectors but actually just unpack the vectors and do their work per-element (e.g. running `@sin()` on a `@Vector(4, f32)` will unpack the vector, run `@sin()` 4 times, and then pack it back into a vector).

this is reasonable because there isn't really a generalizable "good way" to unroll trig functions for simd. if you really care about speed youre better off implementing to the precision you care about (you might not want full precision)