cpdean

Yep, thanks!

I'm well aware of datomic family databases, but it's the part about solving interesting problems with them that interests me, not that someone has implemented another one ;)

The most interesting open source example I have found is a hy-lang minikanren that implements a tree-rewriter which lets you encode equivalent implementations of code snippets. It's a code-linter that will automatically simplify code you write via higher-level rules written in mk

https://github.com/algernon/hydiomatic

I've heard informally there are many companies relying on clojure/core.logic to rewrite complicated business rules for the sake of filtering and constraint solving problems in applications, but I do not know of any open source examples to reference.

edit: i accidentally linked to a dependency of the project i meant to link to. originally linked to the mk implementation: https://github.com/algernon/adderall

> ...or why one should use it over plain Datalog...

I have been looking for examples of how to use a practical implementation of Datalog for years and the closest I've come to is actually miniKanren instead. Could you point me to codebases that productively use Datalog internally?

I read the headline, "A detailed guide to SSO on Kubernetes", as "A detailed guide to Single-Stage to Orbit on Kerbalnetes" and was thoroughly disappointed after clicking.

:D

I like alembic because you label your migrations as nodes in a graph so that I can do work in my branch, but properly navigate backwards in the migration history to a common ancestor with my coworker so I can migrate forwards to their branch and pair with them on something.

I'm frustrated to see people make a bunch of new tools that ignore the lessons from old tools, but for me this has been solved for a while.

ah good call

found the P-critical https://github.com/rust-lang/rust/issues/74954

I thought Rust releases happened on Thursdays... Did they change their schedule or did this get released early for some reason?

I think this is the link to cadence: https://github.com/uber/cadence

and temporal: https://github.com/temporalio/temporal

the surname of the researcher, tenOever, seemed really odd to me, but I found an interview he did a few years back and looks like he's a real person.

https://www.youtube.com/watch?v=_WCXuaLXHP4

i'm so happy for the global pause button in this article

I wrote something really light-weight in hammerspoon that lets me make a window take up the entire screen, or the left/right/center third of my screen.

that 727 hours for a logo change is pretty wild. here's the difference: https://twitter.com/deanc/status/794150888940113920

I find myself siding with the article that I _want_ the protocol logo to win, but you gotta understand where your biases land if you're going to be critical of what the consumers picked.

If you want a data-driven decision, you trust the data, not your gut.

Here's the thing though -- they wanted people to get the visual pun in the typography, but they didn't. That's okay, because a part of a branding strategy is to educate the public about what your brand means.

You're surveying people on these abstract emotions associated with abstract shapes and letter headings, but really it's up to the organization to make itself known for those values. As you do work in the name of Mozilla, you remind people of the values of the org and the good that it does.

Spirals and fonts don't buy you trust, deeds do.

oh cool! denver?

Yeah that makes sense. Ambiguity is problematic.

Thanks!

ah, gotcha

Thanks!

I'll have to check it out, thanks!

such is the risk of performance art ;)

whoa this is pretty cool!

do you use Google Photos beyond just phone photos?

Would someone care to elaborate why the "Good, not Evil" clause in the JSON license is bad?

you guys, japanese culture is ~omakase~

what are some good flickr alternatives for when they fully nix the product (store and manage all your photos)?

"If we descended from monkeys, how come there's still monkeys?"

The Inner Game of Javascript: Everything is 'undefined' or the object you didn't expect.

Yeah vim isn't intuitive to beginners, but "intuitive" to people that have the context of knowing how the parts fit together.

I clicked on this hoping that it was a game about organizing a religion.

I am thoroughly disappointed.

Actually it takes more like 2 months for the Stockholm Syndrome of vim to sink in and then you don't want to use anything else ever again.

Linking to paywalled content should also be prohibited. Those links should be treated as ads themselves. The submitter is posting spam to HN.