sfvisser

8 ms·

31.
by sfvisser 3y ago
Agreed, properly modeling domain knowledge without types for example feels insurmountable to me. Maybe there exist a category of programmer who can do this, but why make programming more difficult than it already is.
32.
by sfvisser 3y ago
Yes, incredibly difficult. Nearing 20 years in the field now and programming is still as difficult as in at the start. Or maybe more so, because you are so aware things will break on the first try anyways. Always. Most important lesson for
33.
by sfvisser 3y ago
Implemented this manually so many times that I’m almost annoyed that this works out of the box with CSS now. Great to see this now works. Input and textarea sizing is still a mysterious black art to me though.
34.
by sfvisser 3y ago
If you like this kind of pattern you might want to read up on Haskell’s GADTs. Generalized algebraic data-types. This is where you can index the different constructors (enum variants) with an additional type variables and even specialize th
35.
by sfvisser 3y ago
> It's just not very high on the list at all. Maybe not for lawyers, no. But as a citizen I'm expected to comply with the law, with many many laws. It'd actually be nice if law was slightly more formally verifiable, so it
36.
by sfvisser 3y ago
Got it. Maybe I always naively assumed there is some shallow FFI layer and all the heavy lifting is done by some set of core standard libraries. Ideally portable to multiple environments.
37.
by sfvisser 3y ago
> Deno is a simple, modern and secure runtime for JavaScript and TypeScript that uses V8 and is built in Rust. Still don’t fully understand what ‘runtime’ means in this context. It’s not the parser, interpreter, VM, GC I think, because t
38.
by sfvisser 3y ago
Starting homeowners who might want to move into a bigger home do want prices to fall as well. The loss in return of your current home is being royally offset by reduction in price when buying.
39.
by sfvisser 3y ago
This is where you start explaining how trees capture carbon, how much, and where it is stored. Explain how we use trees in large quantities to reduce CO2 in the atmosphere, where and how many? Who should do this and who is going to pay for
40.
by sfvisser 3y ago
React went from class components to function components and from lifetime callbacks to hooks. These concepts are completely orthogonal. There exist design choices that would end up with a different combo. Class components with hooks or fu
41.
by sfvisser 3y ago
> Deriving it instead of naming and explaining it will make it harder to understand any code using the derivation because you can’t look up what Promise.all does. If the code and explanation is written in terms of Arbitrary instead of Fu
42.
by sfvisser 3y ago
> We've been improving our CO2 models for over a century now, and in recent decades the modelling has been extremely good - although if anything it's been too optimistic. If the models are too optimistic, that still means they
43.
by sfvisser 3y ago
I highly doubt many proponents of geoengineering think in terms of rebooting or isolating individual factors. The appeal of geoengineering is you can nudge specific systems slowly into another direction. You can start small and observe expe
44.
by sfvisser 3y ago
I get the argument that fully custom scroll bars aren’t great for accessibility in many cases. However, the default behavior out of the browser or OS is pretty terrible in many cases as well. Scroll bars popping in and out of existence awkw
45.
by sfvisser 3y ago
You might not want them in your team maybe, but isn’t it really cool we reached a state where you can actually do this? Democratization of software engineering is a great good!
46.
by sfvisser 3y ago
Haskell and JavaScript and the majority of humans call these things functions. That there exist a different context (a very specific academic context) where these terms have a slightly different technical meaning is completely irrelevant
47.
by sfvisser 3y ago
> Functions do not capture environments. They might not do that in Rust, they do in Haskell, JavaScript and plenty of others.
48.
by sfvisser 3y ago
In some language all functions capture their environment, making that original statement more true than you make it out to be. Personally I think the term closure should be banned, because it only adds confusion. There are just functions, s
49.
by sfvisser 3y ago
And save every generated password for later use. Nice Reminds me of the online bitcoin wallet public key QR code generator that just generated a code for some attacker’s wallet and got themselves some free coins.
50.
by sfvisser 3y ago
Couldn’t quickly find it, but does it support enums/sum types?
51.
by sfvisser 3y ago
Agreed. I’m not a biologist, but I always assumed the self similarity of plants and trees is definitely some recursive process with some boundary conditions or external constraints as an implicit parametrization. Which is very similar to ho
52.
by sfvisser 3y ago
That’s a very pretty house! What country do you live if I can ask and is this a common theme?
53.
by sfvisser 3y ago
Really strong language without any backing arguments whatsoever. You can’t just pick some random tech and decide this is boring tech so it’s good and so the other is bad and has always been. This type of comment is so incredibly meaningless
54.
by sfvisser 3y ago
Looks great! Just high level enough for me to understand and easily readable. Haskell style pure functions are a natural fit for shaders that are side effect free by design. Wonder how far you can go with abstractions like applicative funct
55.
by sfvisser 3y ago
We’re using something similar(ish) internally and it’s interesting how much more readable and expressive JSON can get by allowing Rust style constructors/tags for your data types. Suddenly sum types become conveniently easy to express
56.
by sfvisser 4y ago
I don’t think it’s super relevant for the challenge to be similar to the day job challenges. Maybe it’s even unclear what those are at the point of interviewing. What is important is that the candidate’s skills generalize well to both the c
57.
by sfvisser 4y ago
This sounds very interesting! If you ever figure out how it came to that conclusion, that would deserve some write up.
58.
by sfvisser 4y ago
Creating new knowledge would be good start yes. Observe a problem, state some conjectures, try falsifying, and come up with good explanations. Repeat this to learn and update knowledge over time. If that process works it is hard to see what
59.
by sfvisser 4y ago
> I own several buildings > expense in the low five figures > So what are people complaining about, exactly? This is an incredible take. Many people don’t have the luxury to just spend five figures on a mandatory house renovation.
60.
by sfvisser 4y ago
> Lazy evaluation increases mental burden. In some situations, definitely! In other situations, definitely not! My experience with writing Haskell application code is that you’re thinking way less about the runtime operational aspect of

More ›