Viewing profile — sfvisser

Why does “patent pending” almost automatically sounds like it’s going to be an underwhelming technology.

Humans maybe wrote the code, but not the network of weights on top. And that’s where the magic happens. Even if we’d understand precisely how every neuron in our brains work at a m…

I sometimes wonder if city life used to be more bustling, or if photographers just avoided taking pictures of places without many people. The past feels so alive!

I use the “HN Dark Mode” add-on set to “auto” so it switches with my OS preferences. Both on iPhone and Mac.

Then you switch? My entire OS, most apps and 90% of websites switch automatically with a single keyboard shortcut.

“The Netherlands” isn’t selling anything. The Dutch national government mandated login system relies on technologies and hosting of a private company that was in conversation with …

I don’t understand this comment, yes everything going over the wire is bits, but both endpoints need to know how to interpret this data, right? Types are a great tool to do this. T…

Reminds me of this classic doing the same: http://blog.sigfpe.com/2006/11/from-l-theorem-to-spreadsheet...

Even if you can reason through a code base a bisect can still be much quicker. Instead of understanding the code you only need to understand the bug. Much easier!

Don’t know about difficult, but at least less elegant. Lazy evaluation, type inference, abstractions like Functor/Applicative/Alternative/Monad make them so incredibly natural to w…

[flagged]

Yes, but that’s exactly what I’m trying to avoid.

We use WASM quite a bit for embedding a ton of Rust code with very company specific domain code into our web frontend. Pretty cool, because now your backend and frontend can share …

> Like it or not, we are already serving the machines. The machines don’t give a shit, it’s the lawyers and bureaucrats you’re serving :) Better or worse?

Exactly right. Better have a domain layer with data types representing the domain object 1:1 and add one or more API layers on top for interacting with those for some modality. Cre…

This comment would have been more useful with some qualification of why that’s the case. The language, tooling, library ecosystem? Something else?

Really depends on your intent. Ideally code has meaning that reflects your problem domain and not just what happens to work at the moment. Code that just works right now never scal…

You probably know answer and just hyperboling here, but there are plenty of reasons to raise as a startup. Even in pure software. Most obvious one is you’re building something actu…

Isn’t the point of most carbon capture schemes to use renewables (likely solar) as the energy source. Like Terraform Industries? Don’t know if it will work or is economically viabl…

Note that deriving Traversable for you own datatypes mean changing the structure to map effect over, the `t` variable. Not the effect `f`, which is generic and the Monad/Applicativ…

They’re first class in the sense that they can be described, stored, computed, separated etc from pure functions. Fair to call them first class.

Correct! I simply copied the definition from the type class, but the context is important.

The generalized version of ‘traverse/mapM’ that doesn’t just work for lists, but any ‘Traversable’ type is absolutely amazing and is useful in so many cases. ‘traverse :: Applicati…