leeuw01

8 ms·

31.
What are good examples of inuitive yet powerfull filter, slice 'n dice toolbars?
1 points by leeuw01 5y ago|0 comments
32.
by leeuw01 5y ago
Although an interesting book, does it really fit into one of the categories?
33.
by leeuw01 5y ago
This is so cool! I've been wanting something like this since I started reading papers!
34.
by leeuw01 5y ago
OP here. Thus far, the only lead I've got is US-RSE (US Research Software Engineer Association). ( https://us-rse.org/ )
35.
Ask HN: Books/Talks/Tips for Starting Research Engineer in Industry Without PhD?
1 points by leeuw01 5y ago|2 comments
36.
by leeuw01 5y ago
Context?
37.
by leeuw01 5y ago
In a follow-up [1], the author suggests: OSS projects would be suggested to update the code of conduct, something like “By submitting the patch, I agree to not intend to introduce bugs” How can one be so short-sighted?... [1] https:/&
38.
by leeuw01 5y ago
Materialize ( https://materialize.com/ ). Although a bit known here, my coworkers never heard about it. I think it's going to be a game changer.
39.
Having a Dialog with Graphs in Their Native Tongue(blog.auxon.io)
1 points by leeuw01 6y ago|0 comments
40.
by leeuw01 6y ago
A model checker for timed-automata. I'm currently working my way through "Timed Automata: Semantics, Algorithms and Tools" and I'm going to implement the shown algorithms.
41.
by leeuw01 6y ago
It made me realise that the formal methods part of my CS master, altough quite niche, can generate a lot of value if aplied correctly. This lead to my first R&D job.
42.
by leeuw01 6y ago
Unfortunately, the project seems abandoned.
43.
by leeuw01 6y ago
Auxon also looks like an interesting company.
44.
by leeuw01 6y ago
I think it also works as a mental tool. It helps you think about the structure of your software.
45.
by leeuw01 6y ago
> Also IMO UML and those Software Engineering classes are not useful for Bay area styled tech companies. Out of interest, what do you base this opinion on?
46.
by leeuw01 6y ago
Materialize - https://materialize.com/ I'm very curious to try it out for incremental consistency checking (i.e. does all the data satisfy a set of predicates)
47.
by leeuw01 6y ago
This was their use-case. They build it to help students learn SQL.
48.
by leeuw01 6y ago
Probably it's made with the same technology used to build Scratch, namely Blocky ( https://github.com/google/blockly )
49.
by leeuw01 6y ago
Looks very interesting! Thanks for sharing.
50.
BlocklySQL: A new block-based editor for SQL(dbinf.informatik.uni-wuerzburg.de)
128 points by leeuw01 6y ago|38 comments
51.
by leeuw01 6y ago
Paper: https://www.researchgate.net/publication/336754811_BlocklySQ...
52.
by leeuw01 6y ago
Thanks for the reply! A while ago (2018), the people behind VIATRA performed a cross-technology benchmark where they compared their performance to 9 other incremental and non-incremental solutions (Neo4j, Drools, OCL, SQLite, MySQL, among o
53.
by leeuw01 6y ago
Does anyone know how Materialize stacks up against VIATRA in terms of performance? VIATRA seems very similar to Materialize. They have multiple algorithms implemented to incrementalize queries, including Differential Dataflow. The main diff
54.
by leeuw01 6y ago
Great to hear they got more funding!
55.
by leeuw01 6y ago
Awesome talk! Finally came around watching it this weekend. I can recommend this video to everybody!
56.
by leeuw01 6y ago
T-Mobile is known for sueing companies who have a magenta/pink logo. https://www.google.com/url?sa=t&source=web&rct=j&url=https:/...