frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Claude formalized Fermat's Last Theorem in 11 days

https://www.anthropic.com/news/formalizing-fermats-last-theorem
1•fourfire•2m ago•0 comments

Emacs/Wayland Window Manager in pure elisp

https://github.com/thkoch2001/rau
1•thkoch•4m ago•1 comments

Tinkering with J Space

https://darshanmakwana412.github.io/2026/09/extracting-steering-vectors-from-j-space/
1•martianvoid•6m ago•0 comments

OpenLedger – Local-first double-entry accounting, MCP-native (Apache 2.0)

https://github.com/Attri-Inc/open-ledger
1•gtmattri•9m ago•0 comments

Boeing 767 overran Miami runway

https://avherald.com/h?article=540409db&opt=0
2•r2sk5t•9m ago•1 comments

Epigenetic reprogramming as a key to reverse ageing and increase longevity

https://pubmed.ncbi.nlm.nih.gov/38272265/
1•andsoitis•12m ago•0 comments

Ask HN: Those still optimistic about a career in software – why?

2•cipherdc•25m ago•3 comments

Donut math: how donut.c works (2011)

https://www.a1k0n.net/2011/07/20/donut-math.html
1•azhenley•29m ago•0 comments

Attention Developers: New Open IssueTracker Ticket on Data Deletion Fraud

https://issuetracker.google.com/issues/557281747
1•Bitu79•30m ago•0 comments

Show HN: Gigantic Research, Friend

1•KnoxProtocol•35m ago•1 comments

A Mathematical Theory of Communication [pdf]

https://people.math.harvard.edu/~ctm/home/text/others/shannon/entropy/entropy.pdf
2•andsoitis•35m ago•0 comments

PL Education in the Age of AI: Interview with Shriram Krishnamurthi

https://www.typetheoryforall.com/episodes/pl-education-in-the-age-of-ai
1•gnyeki•39m ago•0 comments

Equal Earth: Explore the world interactively with the Equal Earth map

https://kuboon.github.io/equal-earth/
1•nogajun•39m ago•0 comments

Has anybody seen my keys? A key-hierarchy strategy for rack-level security

https://rfd.shared.oxide.computer/rfd/0301
2•cyb0rg0•42m ago•0 comments

P&G goes wide with a waterless, plastic-free Tide

https://trellis.net/article/pg-water-plastic-out-of-tide-detergent/
1•plun9•42m ago•0 comments

ripwire: ripgrep of AI context (CLI+MCP) giving coding agents a map of any repo

https://github.com/redhat-et/ripwire
2•guessmyname•45m ago•0 comments

How I make games in Batch Script: Multithreading

https://github.com/thelowsunoverthemoon/BatchArticles/blob/main/HowIMakeGamesInBatchScriptP1.md
1•lowsun•46m ago•0 comments

Portal Speedrunners Discover "Singularity Warp" After 18 Years [video]

https://www.youtube.com/watch?v=a9c4jrgfhsk
1•aw1621107•52m ago•1 comments

Cost of running agent memory/vector search

https://polign.com/agent-memory-at-scale
2•anuptalwalkar•52m ago•0 comments

A Rogue AI Swarm Could Hide Inside an AI Company [video]

https://www.youtube.com/watch?v=xRKOpMeEQgQ
4•alwillis•52m ago•0 comments

Why We Need a Return to Élan

https://www.joanwestenberg.com/p/why-we-need-a-return-to-elan
1•Ariarule•1h ago•0 comments

Runic SSH – Open-Source SSH/SFTP Client in Rust and Tauri

https://github.com/marciopaiva/runic-ssh
1•marciopaiva•1h ago•0 comments

Anthropic Has Committed More Than $100B to AWS

https://www.fool.com/investing/2026/09/06/anthropic-has-committed-more-than-usd100-billion-to-aws...
1•geoffbp•1h ago•0 comments

The Coming Merging of Mind and Machine (1999)

https://www.thekurzweillibrary.com/the-coming-merging-of-mind-and-machine
2•thedreammachine•1h ago•0 comments

Fauxnix – bash for AI agents on Windows, no WSL (we measured the PS tax)

https://github.com/20000419/fauxnix
1•cl0602830•1h ago•0 comments

Ask HN: Perplexity Pro vs. Claude – what are you paying for?

1•daytonflyers•1h ago•0 comments

Everyone is right about AI

https://formasimplex.com/blog/2026-09-06-Everyone-is-right-about-AI.html
3•wsintra•1h ago•0 comments

Show HN: GET Together – A social network where you don't need POST to Post

https://gettogether.dev
6•nchudleigh•1h ago•0 comments

Aardman (Wallace and Gromit) Is Selling Its Original Movie Puppets

https://gizmodo.com/aardman-is-selling-its-original-movie-puppets-this-month-2000807968
5•Gaishan•1h ago•0 comments

I built a (wacky) date string utility

https://progressier.com/iso-date-string-toolkit
2•kbst•1h ago•1 comments
Open in hackernews

Zig and GPUs

https://alichraghi.github.io/blog/zig-gpu/
57•Cloudef•1y ago

Comments

LegNeato•1y ago
See also https://github.com/Rust-GPU/rust-gpu and https://github.com/rust-gpu/rust-cuda
ladyanita22•1y ago
Surprisingly, it seems this project just supports Spir-V and PTX, but not DXIL or AMDGCN.

I say surprisingly, because I'd expect Rust support to be more mature than Zig's.

lostmsu•1y ago
Microsoft indicated they are switching to SPIR-V from DXIL: https://devblogs.microsoft.com/directx/directx-adopting-spir...
skywal_l•1y ago
I am a complete noob in GPU but is AMDGCN the older generation with the new one being RDNA? If you generate a binary for AMDGCN, will it run on the newest cards?

Also, I though that these GPU ISAs were "proprietary". I wonder how reliable the binary generation can be.

AliChraghi•1y ago
AMD ISAs are changing for almost every generation so LLVM[1] continues to keep the architecture name "amdgcn" and handle the variation based on the model flag (e.g., -mcpu=gfx1030 for RDNA2, -mcpu=gfx1100 for RDNA3).

> I though that these GPU ISAs were "proprietary"

PTX spec[2] is publicly available but the actual hardware assembly (SASS) is not. Although i believe Nsight allows you to view it.

1. https://llvm.org/docs/AMDGPUUsage.html#processors

2. https://docs.nvidia.com/cuda/parallel-thread-execution

imtringued•1y ago
If LLVM can target AMD GPUs what exactly prevents AMD and ROCm from supporting all the damn GPUs?

At this point I'm convinced that the real problem with AMD GPUs isn't necessarily the compilers (although they do produce mediocre code) or even the hardware itself, but some crappy C++ driver code that can't handle running graphics and compute at the same time. The datacenter GPUs never had to run graphics in the first place, so they are safe.

slavik81•1y ago
In my experience, the compiler, compute drivers, and HIP runtime work fine for all modern AMD GPUs. The only parts of the stack that don't run on all GPUs are the math and AI libraries. And that is mostly because AMD isn't building and testing those libraries for unsupported GPUs. The actual work required to enable functional support was straightforward enough that I ported them myself when packaging the libraries for Debian. Though, I had a lot of help on the testing.

See the Debian Trixie Supported GPU list: https://salsa.debian.org/rocm-team/community/team-project/-/...

SomaticPirate•1y ago
While I admire the work of hobbyists it still looks like C/C++ will be the default until a GPU vender makes the decision to support these libraries.

From my understanding, Vulkan and OpenGL are nice but the true performance lies in the specific toolkits (ie CUDA, Metal).

Wrapping the vendor provided frameworks is liable to break and that isn't tenable for someone who wants to do this on a professional basis.

pjmlp•1y ago
They also miss that on CUDA's case it is an ecosystem.

Actually it is C, C++, Fortran, OpenACC and OpenMP, PTX support for Java, Haskell, Julia, C#, alongside the libraries, IDE tooling and GPU graphical debugging.

Likewise Metal is plain C++14 plus extensions.

On the graphics side, HLSL dominates, following by GLSL and now slang. There are then MSL, PSSL and whatever NVN uses.

By the way, at GTC NVIDIA announced going all in with Python JIT compilers for CUDA, with feature parity with existing C++ tooling. There is now a new IR for doing array programming, Tile IR.

dismalaf•1y ago
I don't quite get this comment.

This is supposed to be used in place of CUDA, HIP, Metal, Vulkan, OpenGL, etc... It's targeting the hardware directly so doesn't need to be supported as such.

The site also seems to clearly state it's a work in progress. It's just an interesting blog post...

slowmovintarget•1y ago
The Zig compiler can compile C, though.