Smaug123

54 ms·

781.
by Smaug123 5y ago
No, but the parent to my comment implied trees as being the source of that fusion power. Nobody's going to be able to use trees to power the desalination plants that allow us to irrigate the land so that we can grow those trees.
782.
by Smaug123 5y ago
This popped up on HN reasonably recently https://caseyhandmer.wordpress.com/2021/05/04/so-you-want-to... - basically "it's not necessarily as simple as that, where are you getting the water from?&qu
783.
by Smaug123 5y ago
(Note for everyone: Project Euler requests that people only post public solutions to problems 1-100, per https://projecteuler.net/ .)
784.
by Smaug123 5y ago
But who needs sum types when you have the visitor pattern :troll_face: https://blog.ploeh.dk/2018/06/25/visitor-as-a-sum-type/
785.
by Smaug123 5y ago
… huh? Visual Studio is extremely not dead, they are literally about to release a 64-bit version after a massive rework. VS Code is a text editor which you can extend into being an IDE. Visual Studio is an IDE. There are many reasons why on
786.
by Smaug123 5y ago
That's because Java, like C#, makes it really painful to define a new type. When it takes huge amounts of boilerplate to define a new type to hold a piece of dumb data, of course nobody does it! In F# it's one line of code, so it&
787.
by Smaug123 5y ago
Well, the situation is a bit better than you make out. Your parameters may be unnamed, but they should at least be typed . Cases like `Directory.Move : IDirectoryInfo -> IDirectoryInfo -> unit` are a bit of a pain to give unambiguous
788.
by Smaug123 5y ago
This comment might actually have been helpful if accompanied by a list of things you don't like about it.
789.
by Smaug123 5y ago
> Give me an API that takes a key/value pair where key is the name of the field to be set, and value is the value to be set. Not in a statically typed language, please! It should be a compile-time error to try and set the key `Kye
790.
by Smaug123 5y ago
F#'s async primitives are much more ergonomic than `Task` though. For example, cancellation is trivial to control with very little boilerplate, whereas `Task` requires boilerplate all over the place .
791.
by Smaug123 5y ago
> same walls with a fresh coat of paint Honestly, if anyone can solve that problem, SPJ can!
792.
An Epic future for SPJ(discourse.haskell.org)
365 points by Smaug123 5y ago|169 comments
793.
by Smaug123 5y ago
I've been finding Nix on macOS kind of addictive, although it seems really sad to run it in a VM as in the OP, when it works natively and the whole point is perfect side-by-side package compatibility! I literally just now finished hack
794.
by Smaug123 5y ago
Finding packages is not the hard bit :P the hard bit is learning how to do anything. The Pills teach you how the language and "runtime" works, but nixpkgs is gargantuan and requires a whole lot of extra learning, as is home-manage
795.
by Smaug123 5y ago
Fight through it for another couple of weekends - the Stockholm syndrome feels sooo gooooood! I found it much more helpful to find people's own Nix setups and learn from them, by the way. Mine is at https://github.com/S
796.
by Smaug123 5y ago
It is probably outside the human civilisation's current abilities to simulate the molecular physics of a human cell. Looking through the references of https://link.springer.com/chapter/10.1007/978-3-030-43229-
797.
by Smaug123 5y ago
It expands the mind! Note that Ithkuil III does kind of have the unpronounceable quality - I've heard it described as sounding like a "hacking cough". But the actual structure of the language is fascinating, and brings a lot
798.
by Smaug123 5y ago
> Consciously taking breaks throughout the workday to pause, stretch, and think about what emotions I'm feeling and why. +1 on this. If I'm not careful, my default mode is to get in the zone for hours, and then eventually reali
799.
by Smaug123 5y ago
I would instead call this "vastly underestimating the complexity of physics". Again, protein folding is a tiny tiny subset of physics and is famously extremely computationally difficult.
800.
by Smaug123 5y ago
Please, someone, correct me if I've misunderstood. The big difference appears to be that async Ruby does not merely give you an easy sugar to perform the sync-over-async antipattern you have described. The real innovation is that, as f
801.
by Smaug123 5y ago
This is reeeeeaaaaalllllly hard. Remember that protein folding was unsolved five years ago. (I'm not an expert at all, and I can't make a ruling on whether AlphaFold is now generally considered a "solution".) Protein fol
802.
by Smaug123 5y ago
I think one could argue exactly the same thing for the same reasons about C# vs F# on .NET, which is my area of expertise - but honestly I'm not so sure it's true. C# has grown into an enormous language as it tries (consciously
803.
by Smaug123 5y ago
> The most important factor in becoming popular is luck. Important implication which you didn't state but which might be very easy to miss: you therefore need to take actions which maximise your luck. "It's all luck"
804.
by Smaug123 5y ago
Caveat: by sheer dumb luck, I've never actually had this problem, but I am painfully aware that history would only have to be a tiiiiny bit different and I would have the problem. (It's possible I have a secret talent for bindin
805.
by Smaug123 5y ago
It's not at all clear to me that it does prepare you for the real thing. I think one could very plausibly argue the opposite: it's so massively easy-mode that it gets you used to social interactions being easy and low-friction, an
806.
Crates (Existentials in F#)(patrickstevens.co.uk)
2 points by Smaug123 5y ago|0 comments
807.
by Smaug123 5y ago
Well, you're extrapolating to the claim that since humans can be emulated by machines, which are in the domain of mathematics, every aspect of human thought is mathematics. I deny this extrapolation. Merely writing something down does
808.
by Smaug123 5y ago
I shall quote myself: > I never said anything like "all thought is mathematics", merely "not all mathematics is symbolic thought".
809.
by Smaug123 5y ago
Maybe you'll come along in ten years and convince me that I was performing mathematics all along! Maths has expanded to embrace other fields in the past. Archimedes probably would have called work on the nature of truth "philosoph
810.
by Smaug123 5y ago
Certainly! I am not performing mathematics when I am reading a fiction book and (unconsciously or consciously) mentally simulating the actions and internal states of the characters. I never said anything like "all thought is mathematic

More ›