frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Optimizing Datalog for the GPU

https://danglingpointers.substack.com/p/optimizing-datalog-for-the-gpu
64•blakepelton•3h ago

Comments

ux266478•2h ago
Curious, why use cuda and hip? These frameworks are rather opinionated about kernel design, they seem suboptimal for implementing a language runtime when SPIR-V is right there, particularly in the case of datalog.
embedding-shape•1h ago
Why is cuda sub-optimal compared to SPIR-V? I don't think I know the internals enough to understand if it's supposed to be obvious why one is better than the other.

I'm currently sitting and learning cuda for ML purposes, so happy to get more educated :)

jb1991•1h ago
Just depends on how the manufacturer of the GPU handles code written in different languages. For example, what level of API access, what level of abstraction, and how is the source compiled i.e. how optimized is it. For example, on an apple GPU, you’ll see benchmarks that openCL and metal can vary depending on the tasks.
embedding-shape•1h ago
Right, but that'd depend a lot on the context, task, hardware and so on.

What parent said seemed more absolute and less relative, almost positing it as there is no point in using cuda (since it's "sub-optimal" and people should use SPIR-V obviously. I was curious in the specifics about that.

touisteur•1h ago
From their publication history, they want to use all HPC niceties, to use most/any available HPC installations.

Nowadays that means mostly CUDA on NVIDIA and HIP on AMD on the device side. Curious how the spirv support is on NVIDIA GPUs, including nsight tooling and the maturity/performance of libraries available (if only the cub-stuff for collective operations).

lmeyerov•1h ago
(have been a big fan of this work for years now)

From the nearby perspective of building GFQL, an embeddable oss GPU graph dataframe query language somewhere between cypher and duckdb/pandas/spark, at an even higher-level on top of pandas, cudf, etc:

It's nice using higher-level languages with rich libraries underneath so we can focus on the foundational algorithm & data ecosystem problems while still achieving crazy numbers

cudf gives us optimized GPU joins, so jumping from cheap personal CPU or GPU boxes to 80GB server GPUs and deep 2B edge whole-graph queries running in a second without work has been nice :) we want our focus on getting regular graph operations fully data parallel in the way we want while being easy for users, figuring out areas like bigger-than-memory and data lakes, etc, so we want to defer lower-level efforts to when the rust etc rewrite is more merited. I do see value in starting low when the target value and workload is obvious for building our (eg, vector indexes / DBs), but when breaking new ground at every point, value to going where you can roll & extend faster.

haolez•2h ago
On a side note, what tools that leverage Datalog are in use by the HN crowd?

I know that Datomic[0] is very popular. I've also been playing with Clingo[1] lately.

[0] https://www.datomic.com/

[1] https://potassco.org/clingo/

embedding-shape•1h ago
I have some local-first/client-side applications using datascript in ClojureScript. Used datahike (FOSS Datomic alternative) some times on the backend too, but mostly tend to use XTDB nowadays, which used to have a Datalog API but I think they removed in favor of SQL-like way instead, which was kind of a shame.
manoDev•26m ago
I guess SQL is a requirement if they want to market their technology to normies.
blurbleblurble•1h ago
Check out CozoDB, the embedded datalog-queried hybrid relational+vector+graph database written in Rust: https://www.cozodb.org/

I used it in a toy application and it was awesome.

This appears to be a dream database from the future.

huevosabio•53m ago
It seems like the project has been abandoned? Last commit a year ago.
touisteur•2h ago
The work done/supervised by Kristopher Micinski on using HPC hardware (not only GPUs but clusters) for formal methods is really encouraging. I hope we reach a breakthrough of affinity between COTS compute hardware and all kinds of formal methods, as GPUs found theirs with deep learning and subsequent large models.

One possible answer to 'what do we do with all the P100s, V100s, A100s when they're decomissionned from their AI heyday (apart from 'small(er) models'.

Pg_lake: Postgres with Iceberg and data lake access

https://github.com/Snowflake-Labs/pg_lake
107•plaur782•2h ago•35 comments

Show HN: A CSS-Only Terrain Generator

https://terra.layoutit.com
177•rofko•4h ago•56 comments

Launch HN: Plexe (YC X25) – Build production-grade ML models from prompts

https://www.plexe.ai/
18•vaibhavdubey97•1h ago•2 comments

Optimizing Datalog for the GPU

https://danglingpointers.substack.com/p/optimizing-datalog-for-the-gpu
64•blakepelton•3h ago•12 comments

What is a manifold?

https://www.quantamagazine.org/what-is-a-manifold-20251103/
244•isaacfrond•8h ago•76 comments

Exploring a space-based, scalable AI infrastructure system design

https://research.google/blog/exploring-a-space-based-scalable-ai-infrastructure-system-design/
13•meetpateltech•1h ago•8 comments

Recovering videos from my Sony camera that I stupidly deleted

https://www.jeffgeerling.com/blog/2025/recovering-videos-my-sony-camera-i-stupidly-deleted
18•speckx•1w ago•14 comments

Show HN: I built a local-first daily planner for iOS

https://apps.apple.com/ca/app/to-do-list-planner-zesfy/id6479947874
53•zesfy•4h ago•38 comments

This Day in 1988, the Morris worm infected 10% of the Internet within 24 hours

https://www.tomshardware.com/tech-industry/cyber-security/on-this-day-in-1988-the-morris-worm-sli...
103•canucker2016•2h ago•56 comments

Michael Burry a.k.a. "Big Short",discloses $1.1B bet against Nvidia&Palantir

https://sherwood.news/markets/michael-burry-big-short-discloses-1-1-billion-options-bet-against-n...
36•selim17•29m ago•19 comments

Chaining FFmpeg with a Browser Agent

https://100x.bot/a/chaining-ffmpeg-with-browser-agent
61•shardullavekar•5h ago•36 comments

How devtools map minified JS code back to your TypeScript source code

https://www.polarsignals.com/blog/posts/2025/11/04/javascript-source-maps-internals
20•manojvivek•2h ago•6 comments

Bloom filters are good for search that does not scale

https://notpeerreviewed.com/blog/bloom-filters/
126•birdculture•8h ago•22 comments

My Truck Desk

https://www.theparisreview.org/blog/2025/10/29/truck-desk/
328•zdw•15h ago•69 comments

Customize Nano Text Editor

https://shafi.ddns.net/blog/customize-nano-text-editor
79•shafiemoji•1w ago•35 comments

The 512KB Club

https://512kb.club/
59•lr0•2h ago•35 comments

Tell HN: X is opening any tweet link in a webview whether you press it or not

352•stillatit•12h ago•321 comments

The Rust Foundation Maintainers Fund

https://rustfoundation.org/media/announcing-the-rust-foundation-maintainers-fund/
17•amalinovic•57m ago•1 comments

You can't cURL a Border

https://drobinin.com/posts/you-cant-curl-a-border/
386•valzevul•17h ago•209 comments

Things you can do with diodes

https://lcamtuf.substack.com/p/things-you-can-do-with-diodes
326•zdw•18h ago•86 comments

Data breach at major Swedish software supplier impacts 1.5M

https://www.bleepingcomputer.com/news/security/data-breach-at-major-swedish-software-supplier-imp...
17•fleahunter•1h ago•5 comments

AI's Dial-Up Era

https://www.wreflection.com/p/ai-dial-up-era
403•nowflux•21h ago•362 comments

When stick figures fought

https://animationobsessive.substack.com/p/when-stick-figures-fought
294•ani_obsessive•17h ago•104 comments

YouTube AI error costs creator his channel over alleged link to Japanese account

https://piunikaweb.com/2025/11/04/youtube-ai-error-terminates-enderman-channel/
68•rabinovich•1h ago•46 comments

Server DRAM prices surge 50% as AI-induced memory shortage hits hyperscalers

https://www.tomshardware.com/pc-components/storage/server-dram-prices-surge-50-percent
97•walterbell•2h ago•87 comments

Reverse-engineered CUPS driver for Phomemo receipt/label printers

https://github.com/vivier/phomemo-tools
67•Curiositry•1w ago•17 comments

Aisuru botnet shifts from DDoS to residential proxies

https://krebsonsecurity.com/2025/10/aisuru-botnet-shifts-from-ddos-to-residential-proxies/
33•feross•6d ago•10 comments

US nuclear weapons testing can forever scar a nation.Just ask Marshall Island

https://www.cnn.com/2025/11/04/asia/nuclear-testing-marshall-islands-legacy-intl-hnk-dst
21•methuselah_in•1h ago•13 comments

US startup Substrate announces chipmaking tool that it says will rival ASML

https://www.reuters.com/world/asia-pacific/us-startup-substrate-announces-chipmaking-tool-that-it...
83•outrun86•6d ago•51 comments

Tenacity – a multi-track audio editor/recorder

https://tenacityaudio.org
100•smartmic•1w ago•29 comments