spooky_deep

5 ms·

31.
by spooky_deep 1y ago
Since the macros run at compile time, I am ok with them not being statically checked. Statically checked macros seems like an academic curiosity. What am I missing?
32.
by spooky_deep 1y ago
Not a bad idea, but… Can Apple read the notes? Can Apple switch you off? Is it easy to edit from a non-Apple device?
33.
by spooky_deep 1y ago
What is a good way to do this but across many devices?
34.
by spooky_deep 1y ago
If your model is that you trust Maven to never change anything, then sure. However, I think most people in the reproducible build space would consider Maven an external uncontrolled input.
35.
by spooky_deep 1y ago
Where did the packages come from? How did you know they hadn’t been changed at the bit-level since last time?
36.
by spooky_deep 1y ago
> The important point of this algorithm is that it’s fully deterministic. The algorithm can be deterministic, but fetching the dependencies of a package is not. It is usually an HTTP call to some endpoint that might flake out or change i
37.
by spooky_deep 1y ago
Depends how you use the statically typed system. For example match parseFoo json with | Ok foo -> process foo | Error message -> print message This will skip bad messages and be statically typed in the va
38.
by spooky_deep 1y ago
There are auxiliary language features such as pattern matching that make pure functions viable at scale.
39.
by spooky_deep 1y ago
I wouldn’t say that static types remove the need for unit tests… but they do significantly reduce that need. Static types and unit tests are not equivalent either. A static type check is a proof that the code is constructed in a valid way.
40.
by spooky_deep 1y ago
Really needs a Docker image (maybe just not mentioned?) so one doesn’t have to wrestle pip and python versions.
41.
by spooky_deep 1y ago
Must cost a fortune for business to operate in such a low trust environment. Free market types take note: good regulation and “red tape” can actually help free enterprise
42.
by spooky_deep 1y ago
The tram track situation on princes street was outrageous.
43.
Every part on a bicycle is safety critical(escapecollective.com)
77 points by spooky_deep 1y ago|75 comments
44.
by spooky_deep 1y ago
In some ways - particularly health and food security - definitely. Although I wonder if loneliness, stress and lack of direction are much bigger problems today.
45.
by spooky_deep 1y ago
https://archive.ph/nunVo
46.
by spooky_deep 1y ago
F# doesn’t have type classes (yet?) so programming with monads can be quite limited. It would be interesting if F# skipped Haskell style monads and jumped straight to algebraic effects. They seem like a better fit for F# philosophy in any c