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
60•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•1h 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.
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•30m ago
It seems like the project has been abandoned? Last commit a year ago.
touisteur•1h 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'.

Hacking with AI SASTs: An Overview of 'AI Security Engineers'

https://joshua.hu/llm-engineer-review-sast-security-ai-tools-pentesters
1•failingforward•1m ago•0 comments

Codemaps: Understand Code, Before You Vibe It

https://cognition.ai/blog/codemaps
1•janpio•3m ago•0 comments

Floating Man

https://en.wikipedia.org/wiki/Floating_man
1•teleforce•3m ago•0 comments

Avicenna

https://en.wikipedia.org/wiki/Avicenna
1•teleforce•4m ago•0 comments

The Bombing of Gaza Sky Geeks

https://restofworld.org/2025/gaza-sky-geeks-bombing-rebuilding/
1•NDAjam•5m ago•0 comments

Show HN: Just launched AlterBase. Find cheap alternatives to expensive tools

https://alterbase.co
1•uaghazade•6m ago•0 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...
4•selim17•6m ago•0 comments

Show HN: Curated Domain Name Marketplace

https://nameknow.com
1•nameknow_com•6m ago•1 comments

SocketAddrV6 is not roundtrip serializable

https://sunshowers.io/posts/socketaddrv6-not-roundtrip/
2•cyndunlop•7m ago•0 comments

Halfway to Hell

https://www.wysr.xyz/p/halfway-to-hell
1•martialg•7m ago•0 comments

The Inequity of Consumption-Based Tax Systems

https://arxiv.org/abs/2511.01823
2•bikenaga•11m ago•0 comments

Windsurf Codemaps: Understand Code, Before You Vibe It

https://cognition.ai/blog/codemaps#why-codemaps
1•swyx•12m ago•0 comments

Project Suncatcher, research moonshot to scale machine learning compute in space

https://blog.google/technology/research/google-project-suncatcher/
1•xnx•12m ago•0 comments

Sentry – No Marketing Mode

https://sentry.io/no-marketing-mode/
1•constantinum•13m ago•1 comments

Humans and neural networks show similar patterns of transfer and interference

https://www.nature.com/articles/s41562-025-02318-y
2•hurryingslowly•13m ago•0 comments

72% of game devs believe Steam has a monopoly on PC games

https://www.gamesindustry.biz/72-of-devs-believe-steam-has-a-monopoly-on-pc-games-according-to-study
3•haunter•14m ago•0 comments

Towards a future space-based, highly scalable AI infrastructure system design [pdf]

https://services.google.com/fh/files/misc/suncatcher_paper.pdf
1•mfiguiere•16m ago•0 comments

Mutiny on the Bounty

https://en.wikipedia.org/wiki/Mutiny_on_the_Bounty
1•gradus_ad•16m ago•0 comments

The Death of Traditional QA (Or: "AI Everywhere " Reaches SQA)

https://www.functionize.com/blog/the-death-of-traditional-qa
2•ohjeez•18m ago•0 comments

Comet 3I/Atlas Perihelion Update

https://www.seti.org/news/comet-3iatlas-perihelion-update/
2•mudil•19m ago•0 comments

Pi hosted interactive portfolio website

https://noah.watch
1•nlunberry•21m ago•1 comments

The AI Village Where Top Chatbots Collaborate–and Compete

https://time.com/7330795/ai-village-chatgpt-gemini-claude/
1•dezgeg•22m ago•0 comments

Discovering a New Quantum Algorithm

https://www.ibm.com/quantum/blog/group-theory
1•donutloop•23m ago•0 comments

'History won't forgive us' if UK falls behind in QC race, says Tony Blair

https://www.theguardian.com/technology/2025/nov/03/history-wont-forgive-us-if-uk-falls-behind-in-...
1•donutloop•24m ago•0 comments

Show HN: Talking Moose Is Back Baby Mack the Moose

https://apps.apple.com/ca/app/mack-the-moose/id6754857260?mt=12
1•johnrpenner•25m ago•0 comments

D-Wave Advantage2 Now Available for U.S. Gov. Apps at Davidson Technologies

https://www.dwavequantum.com/company/newsroom/press-release/d-wave-advantage2-quantum-computer-no...
1•donutloop•25m ago•0 comments

Dashbrd: Simple Bootstrap 5 dashboard template

https://github.com/simzikov/dashbrd
1•klaussilveira•28m ago•0 comments

DHS proposes biometrics expansion for immigrants, dropping age restrictions

https://www.nextgov.com/policy/2025/11/dhs-proposes-biometrics-expansion-immigrants-dropping-age-...
2•sipofwater•31m ago•1 comments

The Dumpster Dive Principle

https://ninjasandrobots.com/the-dumpster-dive-principle
2•nate•31m ago•0 comments

Show HN: Pion/rtwatch – Watch video in sync with friends, pause/seek on back end

https://github.com/pion/rtwatch
2•Sean-Der•31m ago•1 comments