sfvisser

10 ms·

1.
by sfvisser 2mo ago
Why does “patent pending” almost automatically sounds like it’s going to be an underwhelming technology.
2.
by sfvisser 4mo ago
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 molecular level there is no reason to believe we’d understand
3.
Can robots build pretty things?(buildmonumental.substack.com)
9 points by sfvisser 5mo ago|0 comments
4.
by sfvisser 7mo ago
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!
5.
by sfvisser 8mo ago
I use the “HN Dark Mode” add-on set to “auto” so it switches with my OS preferences. Both on iPhone and Mac.
6.
by sfvisser 8mo ago
Then you switch? My entire OS, most apps and 90% of websites switch automatically with a single keyboard shortcut.
7.
by sfvisser 8mo ago
“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 an American counterpart about a possible acquisition. Bad? Y
8.
by sfvisser 8mo ago
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. They can even drive the exact wire protocol, verification of
9.
Plans as Data – Typed Functional Programming for Robotic Orchestration(buildmonumental.substack.com)
9 points by sfvisser 9mo ago|0 comments
10.
by sfvisser 10mo ago
Reminds me of this classic doing the same: http://blog.sigfpe.com/2006/11/from-l-theorem-to-spreadsheet...
11.
by sfvisser 11mo ago
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!
12.
by sfvisser 1y ago
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 work with in a language like Haskell. Sure, th
13.
by sfvisser 1y ago
Yes, but that’s exactly what I’m trying to avoid.
14.
by sfvisser 1y ago
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 all kinds of logic without endless network calls. But it’s s
15.
by sfvisser 1y ago
> 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?
16.
by sfvisser 1y ago
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. Creation, deletion, verification, auth etc. The security failur
17.
by sfvisser 1y ago
This comment would have been more useful with some qualification of why that’s the case. The language, tooling, library ecosystem? Something else?
18.
by sfvisser 1y ago
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 scales.
19.
by sfvisser 2y ago
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 actually technically challenging and need to grow your team to g
20.
by sfvisser 2y ago
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 viable, but sounds pretty win-win to me.
21.
by sfvisser 2y ago
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/Applicative in this case. Besides Maybe/Either `t` could rep
22.
by sfvisser 2y ago
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.
23.
by sfvisser 2y ago
Correct! I simply copied the definition from the type class, but the context is important.
24.
by sfvisser 2y ago
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 :: Applicative f => (a -> f b) -> t a -> f (t b)’ And y
25.
by sfvisser 2y ago
> Have you noticed how in second 13 it rotates the lower body clockwise while the upper body rotates counter-clockwise in order to optimize the movements to archive the goal? Could be a fancy optimization of course, but could as well be
26.
by sfvisser 2y ago
Don’t ever use attacker controlled data directly in your source code without validation. Don’t blame setTimeout for this, it’s impolite!
27.
by sfvisser 2y ago
Isn’t the argument that by checking for NULL you can now safely crash/panic instead of going into undefined behavior and being a potential security hazard?
28.
by sfvisser 2y ago
This one feels more apt to me: the derivation of a single lambda calculus term in which you can express all other expressions. > The systematic construction of a one-combinator basis https://citeseerx.ist.psu.edu/document
29.
by sfvisser 2y ago
The article clearly states why not: first you probably screw up your data (example is names, but there are many more examples) and second what is garbage depends on your output usage. Html/sql/JSON/etc all require a different
30.
by sfvisser 2y ago
It’s really not. The point is that sanitizing output is a better way to protect the host and the client.

More ›