To type check Clojure idioms we use techniques that resemble light-weight dependent types. No particular attempt is made to go beyond the minimum required for checking certain idioms.
We can express lengths of sequences for example, but they only support explicit lengths: you can't put a type variable in the length position.
do people not understand that this is just fake it til you make it? it doesn't matter if it's an emulator if they are paying the right people and working on it. do you think reddit just hoped it would get better at posting as bots? that's ridiculous.
I always wondered about how split-brain theory would work into this...
I mean there are stories of people with half their brain removed who are fully functional (I think? I can't find a source atm).
I wonder what would happen if half your brain could be on/off and switch?
Also you'd think that any mutation optimizing for time awake would have decimated the other creatures? I don't get how evolution has conquered everything but sleep.
There are actually animals that sleep half a brain at once: all the marine mammals. A dolphin can't just fall asleep underwater (it will drown), so it sleeps half at a time.
There are creatures that sleep very little (Giraffes, etc.) But there's large benefits to sleep, and for most animals it's worth the cost, especially since you don't want to burn piles of calories during non-peak hunting/foraging hours anyway.
On that post about a bird that fly for 6 months in a row there were a discussion about the sleep in animals. Some of them are able to sleep alternating one half sleeping and the other aware of the environment. And there is speculation if that bird could sleep while flying.
I think half brain awake is not enough to have a fully functional life. I also heard about people losing part of their brain and adapting to deal with it. But that doesn't mean a brain doesn't need that part. It is like the fallacy of using only 10% of the brain. The brain is very well used and optmized for performance, if you lose part of it, it would adapt to compensate what is missing, but it will not be optimized anymore.
Disclosure: just guessing here, I have no scientific knowledge or background at all to support these claims of mine.
In the case of the bird, it may not need fully optimized brain to fly. So it might be acceptable to have reduced brain performance as a tradeoff for longer awakeness, especially if you could recharge under reduced performance and then go back to fully awake (and rested).
The people who have had half their brains removed (Hemispherectomy) and are functional had it removed when they were very young and the other side wired to adapt. Depending on age of operation, there may be more or less significant impairments for life.
For humans with 2 healthy hemispheres, as far as I'm aware better imaging is revealing that split brain theory is only partially correct for many of the processes that were formerly thought to happen in one half only. Recent imaging has shown that the other half is still involved, albeit in a less widespread fashion.
>you'd think that any mutation optimizing for time awake would have decimated the other creatures?
Maybe the specialization into day/night has something to do with it. The decimator would need to stand their ground against nocturnal creatures at night and diurnal creatues at day.
I don't understand why a minimalistic Haskell server (while neat) is the "future of http server stuff". While I'm glad it puts up similar benchmark numbers to Nginx, what reason is there to switch?
Nginx is plenty stable despite not being written in Haskell.
It's weird... a lot of the stuff around this talks about Borges' story but it's a total misinterpretation. He was talking about memetics and the need for us to bring our fictions into reality through drastic means that blend it with our history.
I always understood it to be a feature of Excel that it couldn't cope with larger datasets.
It means you are forced to consider buying an expense Enterprise SQL license once you are using it in earnest. If it wasn't for Excel chocking on 5million rows I'm convinced most businesses wouldn't bother with databases at all.
>> "Most businesses wouldn't bother having a cafeteria if only Excel could cook meals."
This part is tongue in cheek, but true. There are businesses out there, where excel is used for everything, including many things it should never be used for. Seriously powerful app. Seriously (ab)used.
I don't hate Excel, but I hate the "craplications" hare-brained power users create.
16 GB. That was enough to load it into RAM, it was a matter of the "right tool for the right job". MySQL handles large datasets easily, probably because it's not trying to display all the thousands of columns x millions of rows at once.
I've found the same to be true for editors. Most text editors have struggled to open large log files (500+ MB) whereas cat can open a file of basically any size.
I've had a similar experience with editors, good old vim and less works but most other editors will crash or become unusable as log sizes increase.
Of cause, for parsing logs a few well thought out awk commands combined with sed, sort, unique and other *nix utilities usually beats everything else in my experience.
I'm pretty certain the story of the tree of knowledge of good and evil and the expulsion from paradise is a parable about choosing between:
a) Happy but ignorant
b) Unhappy but well informed
and the fact that humans instinctively choose the second option. It's not a warning that knowledge is bad, it's just an acknowledgment that it's better to know the truth, even when the knowledge makes us feel worse.
