Zalastax

11 ms·

61.
by Zalastax 8y ago
At a quick glance it looks like it's targeted towards mutable data structures. Can it support (and would it make sense to support) immutable data? E.g. it would be nice to have a Haskell state monad that also visualizes its state.
62.
by Zalastax 8y ago
At least that screen will always have everything opted out already (as mandated), so it's easy to just press the next-button.
63.
by Zalastax 8y ago
Usually, Agda programs would not use Haskell libraries very much, even though they could. The reason seems to be that it is an unstable language and we are still figuring out how to do dependent types correctly. To me, working in Agda is li
64.
by Zalastax 8y ago
How is it harder for a US based company to comply with GDPR than a EU based company? There is no breakage of the end-to-end principle either. EU can only legislate in their own region, so they can't enforce GDPR outside of EU. A compan
65.
by Zalastax 8y ago
Figuring that out sounds like a fun but non-trivial project. Since crypto currencies have different mining schemes one would need to keep track of the hash/$ ratio for each one. I guess the simplest way to do so would be to cross-refer
66.
by Zalastax 8y ago
This is the example: https://en.m.wikipedia.org/wiki/Chicago_Tylenol_murders
67.
by Zalastax 8y ago
An important heads up: "Parsing Bash is Undecidable". https://www.oilshell.org/blog/2016/10/20.html
68.
by Zalastax 8y ago
This philosophy is an integral part to the good error reports in TypeScript: https://www.infoq.com/news/2016/05/anders-hejlsberg-compiler
69.
by Zalastax 8y ago
I would not call it a feature. The clean solution would be dependent types so we can model the proposition "that list is not empty" in the type system. It is very neat to have the standard list as your data-type, but accompanying
70.
by Zalastax 8y ago
It's true that object keys are strings, but the array and object situation of JavaScript is quite confusing. Arrays are indexed by numbers, but still accept string indices, leading to behavior like this: https://stackoverflo
71.
by Zalastax 9y ago
TypeScript is ahead of Flow in both tooling and type expressiveness. Both can easily be added to an existing code base in incremental steps. I'd go for TypeScript every day of the week, but both are good choices.
72.
by Zalastax 9y ago
Yes, it could have been handled better. I guess you need to consider whether it's best to let newcomers in on the v4 goodness or to avoid aliating users of v3. The pragmatic approach is to at least mention somewhere that v3 users shoul
73.
by Zalastax 9y ago
Whoops, guess it's a good idea to check things before blurting something out. In that case I'm not sure what's best, to let newcomers in on the new goodies of v4 or to avoid confusing previous users.
74.
by Zalastax 9y ago
They haven't released webpack 4 yet.
75.
by Zalastax 9y ago
I know that this is tongue in cheek , but shouldn't we give the maintainers time to solve the documentation before we start complaining too much? The changes they are making seems to make sense to me. They are adopting patterns that th
76.
by Zalastax 9y ago
Exactly! What might not be immediately obvious is that CSP works OK for concurrency, but not for distributed systems. For more details, see 2.1.3 (page 28) of https://eprints.illc.uva.nl/943/1/MoL-2015-02.text.pdf
77.
by Zalastax 9y ago
> Pony uses a single message queue for each actor (which is completely invisible at the code level) and typed messages (which syntactically look like functions). I totally agree with this definition but believe that it leads to awkward p
78.
by Zalastax 9y ago
Personally I'm not too fond of Pony's take on the actor model. I believe it is in the models core that every actor is in total control of their own behavior, and the only interaction is via messages that can be interpreted as the
79.
by Zalastax 9y ago
We don't want to go back to those levels of carbon in the atmosphere. Doing so would completely disrupt every ecosystem in the world. As pointed out already, carbon neutral refers to a time scale that is in the order of at most a few d
80.
by Zalastax 9y ago
Very nice! You hit close to home here! Several ideas that are definitely worth looking into. My problems, which might not be profitable to fix, are: Very few pieces are composable, we need more things like https://www.prettypegs.
81.
by Zalastax 9y ago
Furniture is a category or products I have so many problems with (with a viewpoint from Sweden)... I'll let you write some ideas and then chime in with the problems I have seen.
82.
by Zalastax 9y ago
I think a protocol type system like Scribble is a really good solution to the problem. It's very tricky to verify it statically though, so it will take time to get there.
83.
by Zalastax 9y ago
The problem of static types for the communicating parts of the actor model is not really solved yet. In the meantime there's Alpaca-lang and Simon Fowler did a run-time monitor for Erlang with behavioral types from Scribble. I think we
84.
by Zalastax 9y ago
I hope we'll see more advanced type features added to languages. I find it very annoying when I can't be expressive enough and have to resort to comments and runtime errors. It's a very fine line to walk though. TypeScript is
85.
by Zalastax 9y ago
You'd have to look at niche languages like Coq, Idris, or Agda if you want mathematical proofs. There's a lot of research that needs to be done before proven programs can become the norm.
86.
by Zalastax 9y ago
The dictionary in keyboard apps is often crowd sourced, especially sentence predictions. Your own common phrases are made more significant as well. I would assume speech to text systems would do the same. Coherent sentences is very importan
87.
by Zalastax 9y ago
It's good if it plays some role when the content quality is similar between results. Some pages are so slow or obnoxious that I'd almost rather not get the information at all, than dreadfully waiting for ads and pop-up-modals to l
88.
by Zalastax 9y ago
How does the blockchain ensure that I can both verify that my vote was counted but can't sell my vote? https://youtu.be/BYRTvoZ3Rho describes one electronic voting system that's supposed to have those important pr
89.
by Zalastax 9y ago
The major difference is that offchain we use contracts verified (and written to be verified) by humans. For a fridge that might mean that you need to send photo evidence and have a mechanic look at the fridge. In case of disagreement a huma
90.
by Zalastax 9y ago
> but they need to pay their own healthcare costs somehow. I think you should read this as arguing for Tax on Negative Externality, also called a Pigovian tax. Such taxation aims to solve the problem that the social cost of a market acti

More ›