sfvisser

15 ms·

121.
by sfvisser 5y ago
Abstraction is inherently not about deduplication, it is about capturing intent and meaning. About the universality of certain concepts within your code base. Either based on your problem domain or in the context of your application archite
122.
by sfvisser 5y ago
Nearly all my confusion is gone. This is amazing, thanks!
123.
by sfvisser 5y ago
Thanks, this already helps quite a lot! I came to rust from mostly higher level languages, Haskell/JVM/JS. So there is this continuous battle of Rust solving problems that I’m not necessarily sure what they are and why those probl
124.
by sfvisser 5y ago
Unfortunately this write-up didn’t help me at all understanding pinning. Alomost feels I need to read the article to the end in order to understand the assumptions at the start. I guess I’m missing some context. - what is ‘trivially moveabl
125.
by sfvisser 5y ago
Slow transitions are a pain yes, but many UIs without transitions can be a real pain too. Random stuff opening and collapsing without a subtle transition can be really confusing. It’s definitely not just an aesthetic thing. In my experience
126.
by sfvisser 5y ago
`flatMap` is actually called `concatMap` in Haskell, or more generically the monadic bind operator `>>=`.
127.
by sfvisser 5y ago
Nothing wrong with that, although you could use ‘map_err’ instead of ‘or’ to preserve the original errors as well if you want to.
128.
by sfvisser 5y ago
Not that I disagree — it's rather steep — but not super unlike many react/vue based sites. Frameworks like Next.js can help by adding seamless server side rendering so at least your links will work before your js/wasm is load
129.
by sfvisser 5y ago
Yes, classes as glorified Reader monads :)
130.
by sfvisser 5y ago
This has been the semantic web dream for decades now.
131.
by sfvisser 5y ago
Language, syntax, test coverage, performance, coding style, linters, none of it really matters. No code is more beautiful than code that perfectly matches your problem domain. Being able to build a product in terms of high level building bl
132.
by sfvisser 5y ago
If you read the linked article by the IMF you start to get it, bunch of ECB economists exploring innovation in financial products and writing a meaningless blogpost about it. Bunch of buzzwords, nothing interesting. In their defense, they w
133.
by sfvisser 5y ago
True, but not a huge real world issue in nearly all the relevant cases. I can very easily have a fallible, asynchronous, multi-value, stateful, database connected computation that returns a Bool and use it in let’s say ‘filterM’. Most trans
134.
by sfvisser 5y ago
Could as well be. Properly managing access controls for a complicated data platform might actually be harder than securing the software to begin with. Setting up protocols for who is able to access what and why and who is in charge of chang
135.
by sfvisser 5y ago
Not all car usage is a problem. I’m from the Netherlands which is incredibly bicycle friendly. Small country, highly urban, great cycling infra, great public transport, nearly everyone walks or cycles whenever it makes sense. Still, cars ar
136.
by sfvisser 5y ago
> Point = namedtuple('Point', 'x y') I must come from a different world. What is going on here? Are you dynamically creating a named tuple (a record?) by passing a space separated list of field names? Why?
137.
by sfvisser 5y ago
It's common in other languages as well (at least Haskell) and a bit surprising at first. However, a `.sortBy(fn).groupBy(fn)` is easy and of similar efficiency and when you actually need the local-only `groupBy()` you're happy it&
138.
by sfvisser 5y ago
> that I’m simply not interested in the sausage making process Sure, no one really cares about they sausage making process, but tracking down regressions is so much easier with a proper history. Bisect is your friend.
139.
by sfvisser 5y ago
Of course it matters. Otherwise, how do you know if your app works as intended? And don’t tell me your tests tell you, because I guarantee you they don’t!
140.
by sfvisser 5y ago
We’re running some custom code to test basic robotic locomotion, we’re not doing anything fancy with material properties or stress testing. Very basic stuff, but still useful to quickly change your model in code and have your domain specifi
141.
by sfvisser 5y ago
There is an OpenCascade version compiled down to wasm [1] that we're currently using embedded in our own app. Rendering to WebGL is relatively straight-forward and the system as a whole works well. Gives me a lot of power when designin
142.
by sfvisser 5y ago
Monads (and functors and applicative) are definitely useful outside of Haskell. At first glance monads seem less useful in languages with builtin mutable state, and freely allowing side effects. However, if you’re writing somewhat more high
143.
by sfvisser 5y ago
Python is probably easier to learn for most beginners, but that doesn’t mean it’s easier to write programs in. Context matters when talking about usability. I’ve used functors and monads to solve tons of issues and have literally no clue ab
144.
by sfvisser 5y ago
I must admit I never fully understand PP. I get you need to be cautious in cases of asymmetric risk where say 99.9% of the time the outcome is good and 0.1% catastrophically, unrecoverably bad. Especially when the distribution isn't ev
145.
by sfvisser 5y ago
Also doesn’t mean they are.
146.
by sfvisser 5y ago
Makes me happy to see system tools being written in typescript!
147.
by sfvisser 5y ago
I still stand by this: simplicity is a function on familiarity more than anything else. Twenty lines of procedural go code isn’t simpler than a one-liner of Closure. It might be, to some people.
148.
by sfvisser 5y ago
> A deterministic AES mis-computation, which was “selfinverting”: encrypting and decrypting on the same core yielded the identity function, but decryption elsewhere yielded gibberish. Incredible
149.
by sfvisser 5y ago
Yeah, so the trade-off is you get some stuff for free that you might not need. Paying with some boilerplate. Fine design choice obviously. Writing a lot of react (without redux) I never really miss serializeability and it’s easy to bolt on
150.
by sfvisser 5y ago
Nice, looks very clean. As in Elm, I’ve never fully understood why the events emit a value of some message type that gets interpreted into a function from ‘state -> state’ instead of handling with a state transformation directly. Feels l

More ›