flyingsilverfin

13 ms·

1.
How strict should your schema be?(typedb.com)
3 points by flyingsilverfin 24d ago|0 comments
2.
by flyingsilverfin 6mo ago
I run the development of TypeDB, which doesnt use Cypher but works really well as a graph database. Certainly it, and other graph databases like neo4j, are used in production at scale. However, a lot of oss databases are open core on some l
3.
by flyingsilverfin 7mo ago
Hi HN, I'm CTO at TypeDB. We shipped an agent mode in our web Studio that lets you describe what you want in plain English and get executable database queries back. The blog calls it "vibe querying," which is a little tongue-
4.
Show HN: TypeDB Studio's AI agent for schema exploration and query generation(typedb.com)
4 points by flyingsilverfin 7mo ago|1 comments
5.
by flyingsilverfin 11mo ago
Just spotted this! We (I'm CTO at TypeDB) just released some early benchmarks: https://typedb.com/blog/first-look-at-typedb-3-benchmarks/
6.
by flyingsilverfin 2y ago
I wanted to jump in here and say that what we're working on at typedb.com, in our 3.0 version (coming soon in alpha!), is that we're taking our earlier database query language and making it much more Programming-like: functions, e
7.
by flyingsilverfin 3y ago
We've started to formalise TypeQL (TypeDB's query language) using dependent type theory, which fit together very nicely. Interestingly, the formalisation shows us how to consistently and safely extend the language with new structu
8.
by flyingsilverfin 4y ago
I work on TypeDB ( https://vaticle.com/typedb ), and it sits somewhere at this intersection. The exposed query language has elements of both logic programming constructs and graph-like structures. Both amount to a kind of &qu
9.
by flyingsilverfin 4y ago
I've had these for about 12 years, they don't get mentioned enough! Downsides were that in the US there were expensive, and need proper daily cleaning, but the tradeoff is worth it - only need 1 pair per year - less waste too! Goi
10.
by flyingsilverfin 5y ago
I think that you're correct in your assessment of relational vs graph-like structures: it's closer to our data domains we model and think of, more flexible, etc. We may be seeing something similar in the ML world where things are
11.
by flyingsilverfin 5y ago
Haha! I love reading comments like these - check out TypeDB (vaticle.com/typedb) disclaimer: work there
12.
by flyingsilverfin 5y ago
Same question! As I understand it: CO2 pulled out of the ocean is replenished by atmospheric CO2, because limestone in the ocean dissolves too slowly to make up for the imbalance and it more readily comes in from the air. But if that's
13.
by flyingsilverfin 5y ago
Fantastic, thank you!
14.
by flyingsilverfin 5y ago
Hi yes please that would be amazing! Some of my family is in the US so it wouldn't be too hard to drop by on the way there :)
15.
by flyingsilverfin 5y ago
Hiya - I don't live in a dengue hotspot country but have had it (grandparent lives in a tropical country) and would like to get Dengvaxia to make it a bit less risky to go back... do you know if your country would allow flying in to ge
16.
by flyingsilverfin 6y ago
You're not wrong - the other big difference between datalog and prolog is that datalog is a subset of prolog's functionality that enables forward-chaining to be safe (gets trickier with negation for example). I was mostly referrin
17.
by flyingsilverfin 6y ago
We don't do this right now - optimising for incremental changes is actually better done by maintaining forward-chaining inferences (like the OP) rather than backward chaining, and then invalidating and updating just the inferences tha
18.
by flyingsilverfin 6y ago
The company I work for, Grakn Labs (grakn.ai), builds a database that does datalog + negation type rules! You can add/remove data as you go, and also add/remove rules in the schema over time. The terminology the post here uses is
19.
by flyingsilverfin 6y ago
It's always funny to see people mentioning hypergraphs in relation to knowledge graphs, this is exactly what we do at Grakn Labs (disclaimer: work there) https://grakn.ai For others: we're also starting to look into ML
20.
by flyingsilverfin 6y ago
If you look into Bazel (build system), you start getting to the point where everything including dependencies, build system, and deployments can be defined as "source" code and ideally should be treated as a first class software
21.
by flyingsilverfin 8y ago
Grakn (Grakn.ai) offers a strongly typed graph database that is open source :) (disclaimer: work there)