frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Proof Theory and Logic Programming

https://www.lix.polytechnique.fr/Labo/Dale.Miller/ptlp/
1•remywang•1m ago•0 comments

Tell HN: Microsoft365 "Convert to Paid" checkout silently default to 25 licenses

2•davidstarkjava•5m ago•0 comments

Show HN: Passport Globe (See where your passport takes you)

https://hariharan.uno/globe
1•hariharan_uno•13m ago•0 comments

Show HN: TMA1 – Local-first observability for LLM agents

https://tma1.ai/
2•killme2008•14m ago•0 comments

Show HN: Yeet – Throw AI tasks at hardware and walk away (Nomad and OpenShell)

https://github.com/wan0net/yeet
1•wan0net•15m ago•0 comments

Phase Transitions and Computation

https://theory.org/complexity/cdpt/html/node5.html
1•downboots•19m ago•0 comments

Show HN: Banish: A declarative framework for rule-based state machines in Rust

https://github.com/LoganFlaherty/banish/releases/tag/v1.3.0
1•LoganFlaherty•19m ago•0 comments

Bitcoin mining difficulty drops 7.8% as miner exodus accelerates amid AI pivot

https://www.theblock.co/post/394579/bitcoin-mining-difficulty-drops-7-8-as-miner-exodus-accelerat...
2•adrianwaj•19m ago•1 comments

Review: Why Evolution Is True

https://ncse.ngo/review-why-evolution-true
1•akbarnama•23m ago•0 comments

We Read What Delve Ships to the Browser

https://security.redeux.ai/research/delve-compliance-posture
1•chasewarren•32m ago•0 comments

Isometric exercise: The most efficient fitness regime?

https://www.bbc.com/future/article/20260319-isometric-exercise-the-most-efficient-fitness-regime
1•akbarnama•36m ago•0 comments

A Rant about Resolutions

https://blog.brixit.nl/rant-about-resolutions/
1•vinhnx•38m ago•0 comments

Is Simple Good?

https://darth.games/posts/is-simple-good/
1•vinhnx•38m ago•0 comments

Delve Accused of Fraud

https://techcrunch.com/2026/03/21/delve-accused-of-misleading-customers-with-fake-compliance/
3•zlu•42m ago•0 comments

Sashiko: AI code review system for the Linux kernel spots bugs humans miss

https://www.theregister.com/2026/03/20/sashiko_code_review_linux/
2•maxloh•43m ago•0 comments

AI Disrupts Talent Evaluation Before It Disrupts Talent

https://substack.com/home/post/p-191732116
2•cactaceae•45m ago•0 comments

A Reason to Ditch Jira: AI Agents

https://age-of-product.com/jira-ai-agents/
1•swolpers•46m ago•0 comments

Show HN:Entroly – Compress codebase context for LLMs by 78% using Rust

https://github.com/juyterman1000/entroly
1•savetokens•48m ago•0 comments

The History and Business of Formula 1

https://www.acquired.fm/episodes/formula-1
1•vismit2000•48m ago•0 comments

Why Even Smart People Believe AI Is Thinking

https://www.wsj.com/tech/ai/ai-tools-sentience-b98fc6e6
1•1vuio0pswjnm7•50m ago•0 comments

OpenAI to introduce ads to all ChatGPT free and Go users in US

https://www.reuters.com/business/media-telecom/openai-expand-ads-chatgpt-all-free-low-cost-users-...
1•1vuio0pswjnm7•58m ago•0 comments

Anthropic just shipped an OpenClaw killer

https://venturebeat.com/orchestration/anthropic-just-shipped-an-openclaw-killer-called-claude-cod...
3•qwertmax•59m ago•1 comments

Not Even Elon Musk Can Get Nvidia Stock Moving

https://www.barrons.com/articles/nvidia-stock-price-musk-ai-1a20fbaf?
1•1vuio0pswjnm7•1h ago•0 comments

David Botstein, RIP

https://www.nytimes.com/2026/03/20/science/david-botstein-dead.html
2•paulpauper•1h ago•0 comments

My Time with Jürgen Habermas, Europe's 'Last Intellectual'

https://www.politico.com/news/magazine/2026/03/20/karp-habermas-remembrance-00838398
1•paulpauper•1h ago•0 comments

The M4 Apple Neural Engine, Part 3: Training

https://maderix.substack.com/p/inside-the-m4-apple-neural-engine-c8b
1•wslh•1h ago•0 comments

Did Delve (Compliance) Commit Securities Fraud?

1•ManuelSuarez•1h ago•0 comments

Show HN: TempMail Mail – Disposable email with per-domain blocking

https://tempmailmail.com
1•Sharanxxxx•1h ago•0 comments

"Surveillance Camera Man" Provokes Questions About Recording in Public (2013)

https://archive.blogs.harvard.edu/internetmonitor/2013/07/10/surveillance-camera-man-draws-ire-pr...
3•greyface-•1h ago•0 comments

AWS Kiro accounts suspended en masse – AWS flagging fraud detection issues

https://github.com/kirodotdev/Kiro/issues
1•huey77•1h ago•1 comments
Open in hackernews

Zig and GPUs

https://alichraghi.github.io/blog/zig-gpu/
57•Cloudef•11mo ago

Comments

LegNeato•11mo ago
See also https://github.com/Rust-GPU/rust-gpu and https://github.com/rust-gpu/rust-cuda
ladyanita22•11mo 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•11mo ago
Microsoft indicated they are switching to SPIR-V from DXIL: https://devblogs.microsoft.com/directx/directx-adopting-spir...
skywal_l•11mo 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•11mo 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•11mo 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•11mo 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•11mo 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•11mo 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•11mo 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•11mo ago
The Zig compiler can compile C, though.