barakm

8 ms·

31.
by barakm 5y ago
V for Vaporware
32.
by barakm 6y ago
I've started working on doing TLA+-style models but using Python as the language for doing so (disassembly and all) with an easier to deploy model checker. Super super early and I'm not quite yet ready to announce it, so don'
33.
by barakm 7y ago
"And Chromecast Ultra users get access to 4,000 titles included with Prime at no additional cost." I think they meant "Ultra users get access to 4K titles included with Prime at no additional cost". ;)
34.
by barakm 8y ago
This is a bit of code archaeology for me :) Compiling it is easy, running it is hard, especially without MQL. I think I still remember enough to write up a walkthrough if folks would find that interesting...
35.
by barakm 8y ago
That's not self-hosting. That's paying a cloud provider for a lot of services I don't need. To me, self-hosting means I can (theoretically) run everything I need, on my bare-metal -- a cloud provider or cloud service (eg, RDS
36.
by barakm 8y ago
Agreed; it's impossible to self-host and is therefore a non-starter. For what it's worth, I've been pretty happy with FreshRSS ( https://freshrss.org/ )
37.
by barakm 9y ago
As per the other commenter, Cayley provides a graph data model on top of an existing storage layer. However, when we get to manage the storage layer (Bolt, Level -- that's being generalized into local-KVs in the next release) we get to
38.
by barakm 9y ago
The answer is, not much. They're shockingly similar. Both are achieving very similar ends through slightly different means (the subtlety of `virtual` in C++ leading to vtables) -- dynamic dispatch of a function based on an instantiatio
39.
by barakm 9y ago
Sometimes, but very rarely, if only because of FFI as you pointed out. And usually there's something in the unsafe category that lets you break some rules, if only to give a pressure release as in the interop reply above. I don't
40.
by barakm 9y ago
Good to know; if this were a stated reservation, that'd be worth writing about.
41.
by barakm 9y ago
> TypeScript compiles down to JavaScript, which doesn’t have types or type checking, it’s impossible to have actual type checking. The TypeScript compiler is great at checking at compile time, but at the end of the day, it’s impossible t
42.
by barakm 9y ago
+1 Insightful. In fact, there's research toward showing the two are equivalent in possibility space of what can be represented/queried ( https://arxiv.org/abs/1102.1889 ) But yes, linked data and graphs are sup
43.
by barakm 9y ago
I'm flattered. If you like the Torus style, https://github.com/coreos/go-tcmu is a package I'm quite proud of (SCSI interactions wrapped in a nice pure-Go interface) and then a plug for https://git
44.
by barakm 10y ago
Emailed!
45.
by barakm 10y ago
Exactly so, for the RDBMS model. Yeah, this has it's own issues, but it's the most direct method. We do a little extra trick with the indexing; joining on fixed hashes instead of the full value, but nothing crazy.
46.
by barakm 10y ago
The thing badwolf brings to the table (and respect to the author -- super nice fellow) is adding metadata (namely, a timestamp) to the links. The topic of 'reification' found throughout our recent discussion is how we can generall
47.
by barakm 10y ago
Yeah, we're still getting the marketing site up, complete with docs. Til then, there's https://github.com/cayleygraph/cayley/tree/master/docs with the content
48.
by barakm 10y ago
Feel free to ask more questions through whatever channel you like; we need better docs for sure, but if you're lost we have a really friendly community that's happy to help.
49.
by barakm 10y ago
Hah! Done, thank you! That probably changed when we added the Slack link
50.
by barakm 10y ago
Maintainer here, good to see Cayley on HN again :) We've got a lot of new features on master, (GraphQL support, Gephi interfaces, Recursive iterators, etc) and are cutting a release next week. Active work in the coming releases on tigh
51.
by barakm 10y ago
For context, this has been on Show HN before. This is the first, I believe: https://news.ycombinator.com/item?id=9076558 ....I'll let everyone draw their own conclusions.
52.
by barakm 10y ago
Say, you were an early contributor to Cayley! ( https://github.com/cayleygraph/cayley ) Things were slow there for a while, but we have our own namespace now, we've done about a release per quarter for a bit, and ha
53.
by barakm 10y ago
So, pet peeve time. Every once and a while Sourcegraph comes up again, and I check to see if they've moved away from trying to do their (completely non-free) Fair Source thing. ( https://fair.io/ ) This time it seems the
54.
by barakm 10y ago
Fix it with stylish, if you don't like it: https://twitter.com/barakmich/status/752568316485627908
55.
by barakm 10y ago
More than "sky's the limit" -- early versions had POSIX access, though it was terribly messy. We know the architecture can support it, it's just a matter of learning from the mistakes and building something worth support
56.
by barakm 10y ago
It's in the sync() path, but not in the I/O path.
57.
by barakm 11y ago
Hey, maintainer of Cayley ( https://github.com/google/cayley ) here. Glad to see more people interested in this space! It looks like your code is mostly stubbed out right now -- using gorm for any persistence. You&#x27
58.
by barakm 11y ago
I implemented a "light" version of MQL atop Cayley ( https://github.com/google/cayley ) that I'd be happy to extend :) tsturge did a prescient job with the original (yeah, GraphQL is 2007 all over again) a
59.
by barakm 11y ago
Cayley author here. Reached out here: https://github.com/google/badwolf/issues/4 I've been doing graphs for a long time, and I'm not quite sure I get what a 'temporal triple' is exactly (o
60.
by barakm 11y ago
If you want to help hack on this, I've written a Postgres backend for the graph database Cayley that's fairly fast and about to merge (for use on a prod feature): https://github.com/google/cayley/pull&#x2

More ›