frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Mangle – a language for deductive database programming

https://github.com/google/mangle
103•simonpure•5mo ago

Comments

Pxtl•5mo ago
Anybody who replaces the hoary old albatross of SQL without throwing out the relational algebra baby with the bathwater gets my support. I hope this goes far.
jauntywundrkind•5mo ago
I'm unconvinced the syntax makes a genuine difference. But always interesting to see what folks come up with!

Some notable others:

PreQL/Trilogy - https://github.com/trilogy-data/pytrilogy https://news.ycombinator.com/item?id=40728938

Malloy -https://www.malloydata.dev/ https://github.com/malloydata/malloy https://news.ycombinator.com/item?id=30053860

PRQL - https://prql-lang.org/ https://github.com/PRQL/prql https://news.ycombinator.com/item?id=36866861

anonzzzies•5mo ago
> I'm unconvinced the syntax makes a genuine difference

Syntax not, but datalog (-ish) does. It's a more natural way (imho of course) to query data. Far more complex queries with less mental overload.

pbowyer•5mo ago
EdgeQL - https://www.geldata.com/showcase/edgeql
Pxtl•5mo ago
SQL's shortcomings aren't just syntax and the convention of SCREAMING KEYWORDS. There's the lack of algebraic types (particularly galling given the bizarre three-value boolean algebra created by its strange null-handling), the poor composability (why is creating a reusable predicate filter so hard?), the lack of any coherent module system, etc.

The fact that something as simple as a tree is such a nuisance in a "relational" database is ludicrous.

Onavo•5mo ago
This is what? The third logic/datalog family query language Google launched? What's the internal story? Does each department have their own query engine?
yorwba•5mo ago
"This is not an officially supported Google product." For all we know, this is just some people having fun, but because they're having their fun at Google, it needs to be open-sourced under the Google umbrella.
diggan•5mo ago
> because they're having their fun at Google

I think it's even worse, even stuff they do in their freetime have to be under the Google umbrella if they want to open-source it, just because they work during the daytime at Google.

riku_iki•5mo ago
Does it depend on jurisdiction? In California, they are free to do whatever they want if they don't compete with employer (a little bit hard in case of Google of course)
nylonstrung•5mo ago
No, big tech has restrictive CIIA agreements that apply in California too
hobofan•5mo ago
Which are the other ones that come to your mind?

I know of PathQuery[0], but that one doesn't have an open source implementation and is much more inspired by Graph query languages than SQL.

[0]: https://arxiv.org/abs/2106.09799

cess11•5mo ago
Perhaps they have https://logica.dev/ in mind. I think it's more restricted.
tomsmeding•5mo ago
Which is, in fact, linked in the readme of this project.
business_liveit•5mo ago
I wanna know what's the difference between the mysql and mangel?
tomsmeding•5mo ago
I suggest you read the linked readme. ;)
business_liveit•5mo ago
ok...
albert_e•5mo ago
Is this the same "Deductive Database" mathematical programming language of Google DeepMind mentioned in the latest 3b1b guest video by Aleph0 (where they say the language doesnt have a name yet)

https://youtu.be/4NlrfOl0l8U?t=4m8s

haolez•5mo ago
I haven’t worked closely with Datalog, but whenever I come across tools that use it, they always seem to extend vanilla Datalog (like this one).

Are there any notable implementations of plain Datalog? If not, what’s the reason? Does vanilla Datalog have major limitations? Just curious.

jauco•5mo ago
I think it’s similar to how every sql implementation adds their own extensions.

But iirc datomic came with a quite vanilla datalog implementation.

France's homegrown open source online office suite

https://github.com/suitenumerique
412•nar001•4h ago•197 comments

British drivers over 70 to face eye tests every three years

https://www.bbc.com/news/articles/c205nxy0p31o
128•bookofjoe•1h ago•102 comments

Start all of your commands with a comma (2009)

https://rhodesmill.org/brandon/2009/commands-with-comma/
434•theblazehen•2d ago•155 comments

Hoot: Scheme on WebAssembly

https://www.spritely.institute/hoot/
84•AlexeyBrin•5h ago•16 comments

Leisure Suit Larry's Al Lowe on model trains, funny deaths and Disney

https://spillhistorie.no/2026/02/06/interview-with-sierra-veteran-al-lowe/
24•thelok•1h ago•2 comments

Stories from 25 Years of Software Development

https://susam.net/twenty-five-years-of-computing.html
32•vinhnx•2h ago•4 comments

OpenCiv3: Open-source, cross-platform reimagining of Civilization III

https://openciv3.org/
777•klaussilveira•19h ago•240 comments

Reinforcement Learning from Human Feedback

https://arxiv.org/abs/2504.12501
54•onurkanbkrc•4h ago•3 comments

First Proof

https://arxiv.org/abs/2602.05192
37•samasblack•2h ago•22 comments

The Waymo World Model

https://waymo.com/blog/2026/02/the-waymo-world-model-a-new-frontier-for-autonomous-driving-simula...
1026•xnx•1d ago•582 comments

Coding agents have replaced every framework I used

https://blog.alaindichiappari.dev/p/software-engineering-is-back
167•alainrk•4h ago•220 comments

Vocal Guide – belt sing without killing yourself

https://jesperordrup.github.io/vocal-guide/
167•jesperordrup•10h ago•61 comments

Software Factories and the Agentic Moment

https://factory.strongdm.ai/
14•mellosouls•2h ago•16 comments

A Fresh Look at IBM 3270 Information Display System

https://www.rs-online.com/designspark/a-fresh-look-at-ibm-3270-information-display-system
23•rbanffy•4d ago•5 comments

StrongDM's AI team build serious software without even looking at the code

https://simonwillison.net/2026/Feb/7/software-factory/
14•simonw•1h ago•12 comments

Unseen Footage of Atari Battlezone Arcade Cabinet Production

https://arcadeblogger.com/2026/02/02/unseen-footage-of-atari-battlezone-cabinet-production/
103•videotopia•4d ago•26 comments

Vinklu Turns Forgotten Plot in Bucharest into Tiny Coffee Shop

https://design-milk.com/vinklu-turns-forgotten-plot-in-bucharest-into-tiny-coffee-shop/
5•surprisetalk•5d ago•0 comments

72M Points of Interest

https://tech.marksblogg.com/overture-places-pois.html
12•marklit•5d ago•0 comments

Show HN: Look Ma, No Linux: Shell, App Installer, Vi, Cc on ESP32-S3 / BreezyBox

https://github.com/valdanylchuk/breezydemo
263•isitcontent•20h ago•33 comments

Making geo joins faster with H3 indexes

https://floedb.ai/blog/how-we-made-geo-joins-400-faster-with-h3-indexes
152•matheusalmeida•2d ago•42 comments

Ga68, a GNU Algol 68 Compiler

https://fosdem.org/2026/schedule/event/PEXRTN-ga68-intro/
35•matt_d•4d ago•10 comments

Monty: A minimal, secure Python interpreter written in Rust for use by AI

https://github.com/pydantic/monty
277•dmpetrov•20h ago•146 comments

Hackers (1995) Animated Experience

https://hackers-1995.vercel.app/
545•todsacerdoti•1d ago•263 comments

Sheldon Brown's Bicycle Technical Info

https://www.sheldonbrown.com/
418•ostacke•1d ago•109 comments

Show HN: I spent 4 years building a UI design tool with only the features I use

https://vecti.com
364•vecti•22h ago•163 comments

Show HN: Kappal – CLI to Run Docker Compose YML on Kubernetes for Local Dev

https://github.com/sandys/kappal
16•sandGorgon•2d ago•3 comments

What Is Ruliology?

https://writings.stephenwolfram.com/2026/01/what-is-ruliology/
62•helloplanets•4d ago•68 comments

Show HN: If you lose your memory, how to regain access to your computer?

https://eljojo.github.io/rememory/
338•eljojo•22h ago•206 comments

An Update on Heroku

https://www.heroku.com/blog/an-update-on-heroku/
457•lstoll•1d ago•300 comments

Microsoft open-sources LiteBox, a security-focused library OS

https://github.com/microsoft/litebox
372•aktau•1d ago•195 comments