lolski

14 ms·

1.
by lolski 10mo ago
> When I enquired ChatGPT why it said "no", this was the response: > "Because your question was phrased in a way that depended on which year we’re currently in, and I initially answered it generically: “If today is 2025
2.
by lolski 4y ago
I second this. Also this UI / UX issue isn't just a problem with Spotify but iTunes (Apple Music) to! So I guess it's just a general trend that started for no good reason. In iTunes, the table view is now only for the main pa
3.
by lolski 5y ago
Out of the 4 instruments that are still locked I'd reckon three would definitely be Jupiter 8, Juno, and TR-909. I can't confidently guess the last one though. I'll try them later at home. Do you think they'll sound as g
4.
Developing with TypeDB in Any Programming Language(medium.com)
3 points by lolski 5y ago|0 comments
5.
by lolski 5y ago
I second Bazel. People keep on mentioning how steep the learning curve is, but the conceptual model is really simple, elegant, and intuitive. What is steep is the technical know-hows: 1. When things don't work as expected. For exampl
6.
by lolski 5y ago
I've been a Fish user for 10 years! One key thing I like from Fish is their command history feature, where you can use the up/down to move backward/forward the history. I can't find a way to get this to work in ZSH I don
7.
by lolski 5y ago
I don't know whether he's a good / bad person, but what I know is that I grew up with SA and this saddens me.
8.
by lolski 5y ago
You might want to check TypeDB, which is a database with a strongly-typed query language: https://github.com/vaticle/typedb . It doesn't do union types yet, but it's got type inheritance, type inference, type-
9.
by lolski 5y ago
I haven't tried it but it looks amazing. Well done.
10.
by lolski 5y ago
Have you tried playing OpenRA online? It's quite hardcore. I don't think I've ever encountered anyone who isn't really good.
11.
by lolski 5y ago
hell march is awesome
12.
by lolski 5y ago
I love the migs and missile submarines
13.
by lolski 5y ago
I agree with your statement that concepts like formal-proofs is underrated. Fortunately, one of the general trend that I'm seeing going forward is the birth of programming languages with more and more sophisticated type systems. In the
14.
by lolski 5y ago
The one that adds a lot to the retro look for me was the colour scheme - look at how each section has different colours. The combination of typography, colour scheme, borders, corners, and margin used doesn't add up to a "unified
15.
by lolski 5y ago
and the fact that it's hosted in sourceforge
16.
by lolski 5y ago
the website looks like it was made in the 90s however don't let that fool you
17.
by lolski 5y ago
these are interesting. thanks.
18.
by lolski 5y ago
The first two things that come to mind are Python and Go.
19.
TypeDB Client for Julia(github.com)
4 points by lolski 5y ago|0 comments
20.
by lolski 5y ago
I don't think there is any "standard" that strictly governs the implementation of a CQRS system. We just need to be aware of the nuances of the fault-tolerance aspect in distributed systems: - idempotency is ONLY a hard-requi
21.
by lolski 5y ago
I can say we're one of the companies that have successfully embraced event-driven design. We're Vaticle and we're not a microservice shop - rather, we're building a database software called TypeDB. The internals are quit
22.
7 Tips on How to Become a Competent Software Engineer(medium.com)
4 points by lolski 9y ago|0 comments
23.
Using GRAKN.AI to Stream Twitter Data(blog.grakn.ai)
13 points by lolski 9y ago|0 comments