rstarast

12 ms·

61.
Gravity Hill(en.wikipedia.org)
1 points by rstarast 6y ago|0 comments
62.
by rstarast 6y ago
> I built something better that's actually secure and performant here That's quite a bold claim, isn't it? I also don't see how it's an alternative to OP considering it doesn't even mention how to integrate
63.
by rstarast 6y ago
This stackoverflow answer to a related question gives a better suggestion https://stackoverflow.com/a/6955055/3403369 : Create a separate table mapping integers to unique IDs, and join with this. You can generate t
64.
by rstarast 6y ago
Use integers as primary keys and don't expose them, and add a (unique) random ID column that's used to interface with the rest of the world. (I understand there'll still be an index for the public key -- the argument would be
65.
by rstarast 6y ago
Impressed by the speed of the results. Some of my more obscure tests didn't give relevant results, but I guess this is still early on. Do you have any numbers about the size of the index, and where you're aiming to go? My big ques
66.
Cookstrip(en.wikipedia.org)
8 points by rstarast 6y ago|0 comments
67.
by rstarast 6y ago
I hoped to find a TLDR in the non-discussion version: https://urbit.org/blog/precepts/ But that's also too long and meandering. :/
68.
by rstarast 6y ago
The one potential effect of this that I'd love over git is being able to check in local changes that I never intend to upstream. E.g. I could have a local change adding some editor config files, or modifying some compiler flags in the
69.
by rstarast 6y ago
The C&D seems baseless, considering the video goes out of its way to remark that it's not making "the real thing". I could still see this working out well in terms of publicity for the Grana Padano brand -- seems unlikely
70.
by rstarast 6y ago
I'd say that the type-checker in e.g. Haskell does already do a bit of the "parsing" here, in that it takes code with some type annotations, and returns (on success) that code with fully resolved types. I.e., type variables w
71.
by rstarast 6y ago
Citation needed. What do you mean by "extreme liberal viewpoints"? The only thing I've witnessed is that the Guix maintainers took a clear stand in support of holding RMS accountable when that was ongoing a year back. As it s
72.
by rstarast 6y ago
>> I disagree, and I think this kind of fundamentalism hurts the adoption of type safety. For what it's worth, I got a similar impression: An excessively narrow (implied) definition of "type safety", based on which newt
73.
by rstarast 6y ago
But bash is likely available wherever you'd like to run this.
74.
by rstarast 6y ago
Hmm, to me it seems that 'splitBy ","' should be a function that takes a string and returns a list of strings: splitBy "," : String -> List String so it seems "clear" that the separator shou
75.
by rstarast 6y ago
You made me look up the IOHK (Cardano developers) team page again, it's hilarious: https://iohk.io/en/team/
76.
by rstarast 6y ago
The accusation is that the whole crypto space is shady. There is no value being created, instead investors are being defrauded. And part of the con game is pretending to have very intelligent people keep making progress building very compli
77.
You don’t need reproducible builds(blog.cmpxchg8b.com)
5 points by rstarast 6y ago|0 comments
78.
The great vectors-versus-quaternions debate (2014)(fexpr.blogspot.com)
37 points by rstarast 6y ago|3 comments
79.
Free Speech Defenders Don’t Understand the Critique Against Them(arcdigital.media)
5 points by rstarast 6y ago|3 comments
80.
by rstarast 6y ago
Oh, I first thought this was mimicking the pretty complete Go https://github.com/alicebob/miniredis , which goes to some effort to be a complete and faithful implementation of the Redis interface. Still pretty cool, do
81.
by rstarast 7y ago
Somewhat tangential to the valid arguments here, it is possible to work around the Elm 0.19 restrictions: https://vllmrt.net/spam/subverting-elm.html https://github.com/robx/shelm
82.
Lean is better for proper maths than all the other theorem provers(xenaproject.wordpress.com)
9 points by rstarast 7y ago|1 comments
83.
by rstarast 7y ago
Thank you, that's good to hear! Your arguments are valid.
84.
by rstarast 7y ago
The combination of > (2) thinking about the future and sustainability of the project, including its funding. and the rewrite apparently not happening in the open casts some doubt as to whether the project will remain fully open source.
85.
Shelm: A subversive Elm package manager(github.com)
4 points by rstarast 7y ago|0 comments
86.
by rstarast 7y ago
I saw this on the elm subreddit the other day and thought it was a neat hack. Seems to have been moderated in the meantime. :/ https://www.reddit.com/r/elm/comments/e9y9ia/subverting_elm_...
87.
Subverting Elm packaging for fun and profit(vllmrt.net)
4 points by rstarast 7y ago|1 comments