kmicklas

31 ms·

271.
by kmicklas 11y ago
Right, that's why this research is so exciting. I just found it interesting because MDMA is a stimulant which probably has the opposite effects of beta blockers. But I guess that is overridden by the serotonergic effects with respect t
272.
by kmicklas 11y ago
That does something completely different.
273.
by kmicklas 11y ago
It looks like they have an unverified compiler, which assuming correctness of the compiler code, will produce a proof of correctness for each program it compiles. This is significantly less cool and useful than proving that the compiler its
274.
by kmicklas 11y ago
Weren't they having good success in clinical trials using MDMA in a similar manner?
275.
by kmicklas 11y ago
I think the official Tetris spec actually mandates certain bounds on time without seeing each block. It's not a uniform distribution.
276.
by kmicklas 11y ago
No worse than if a blockchain based system were used for regular old financial transactions.
277.
by kmicklas 11y ago
The subways in NY are much shallower than in most places in the world (including London I think?). So the stairs aren't so bad there.
278.
by kmicklas 11y ago
The point is that the reason for trouble here is that English is _not_ making a morphological distinction. Since most European languages do make more of a distinction, speakers of European languages should be _more_ confused. Of course many
279.
by kmicklas 11y ago
> The difference is subtle to non-native speakers of European languages. I don't think that's an accurate generalization. If anything, European languages are probably _more_ likely to morphologically distinguish nouns and verbs
280.
by kmicklas 11y ago
You're correct that Idris doesn't force termination. That doesn't let you compute non-computable functions though (e.g. the busy beaver function).
281.
by kmicklas 11y ago
Not quite. Types can depend on runtime values. This can in effect _force_ the programmer to perform the required validation when accepting foreign data.
282.
by kmicklas 11y ago
Microkernels seem to be solving all the right problems (namely, abstraction and safety) in all the wrong ways. When you realize that kernel-mode vs userland is a social construct and not inherent, you see that the microkernel is just attemp
283.
by kmicklas 11y ago
This is something I've been wanting for a long time. Liquid Haskell and these solver-based systems should just be a special tactic library with some syntactic sugar on top of a standard dependently typed language.
284.
by kmicklas 11y ago
> Municipal Fiber is a solution looking for a problem. No the cable monopolies are a real problem. > The overwhelming trend is toward mobile. Yes but wired internet is never going away (largely due to physics).
285.
by kmicklas 11y ago
> Children don't need to apply rules to learn a language- they acquire it unconsciously. Adults actually DO need to learn the rules. This has been called into a lot more question recently. Anecdotally I don't buy it based on my
286.
by kmicklas 11y ago
This guy really needs to learn more type/category theory, or Haskell, or something. OOP may have been hip and cool in 1995 when this was written but applying it to math is an even worse idea than for programming.
287.
by kmicklas 11y ago
Coffee definitely won't affect your sleep if you have reasonable amounts and only in the morning.
288.
by kmicklas 11y ago
There are a lot of competing factors that drive language change. Probably the largest force is sound efficiency - speakers merge, elide, and otherwise mess with sounds in order to make speaking take less energy, or make it possible to talk
289.
by kmicklas 11y ago
I don't know if it's a good idea to leave the Middle East alone or not, but WUT. This sentiment is blatantly racist and should not be tolerated.
290.
by kmicklas 11y ago
No, most antidepressants prevent the reuptake of serotonin (thereby increasing the degree of serotonin signalling).
291.
by kmicklas 11y ago
> What can I say, it works for me and few more people I know. Worked in what way? You made no mention of what it actually did, except maybe prevent some viral infections?
292.
by kmicklas 11y ago
This article is complete garbage - full of ad hominem attacks and philosophical whining. The author rejects MWI for apparently completely emotional reasons and seems to take the idea of there being multiple worlds in a much too concrete man
293.
by kmicklas 11y ago
Why does everything about WebAssembly make such a big deal about it being AST based rather than a stack or register machine? Sure this is a meaningful technical difference but I don't see why it's really a "selling point&quot
294.
by kmicklas 11y ago
The suffering this thing would cause is a failure of our economic and political systems... not the fault of technology.
295.
by kmicklas 11y ago
Are you totally unaware of how blatantly racist this is?
296.
by kmicklas 11y ago
> Chinese has just nine number names, while English has more than two dozen unique number words. Wut. Chinese has zero through nine, then ten, hundred, thousand, ten thousand, one hundred million. That's fifteen. Certainly better th
297.
by kmicklas 11y ago
How is this relevant at all?
298.
by kmicklas 11y ago
This isn't about "word-sized chunks of data made of bits, grinding through a Von Neumann machine". It's about math and software engineering. If this article is hard to understand, that's probably because it's p
299.
by kmicklas 11y ago
> It was a while ago, and I tried using it at work -- for simple tasks, tasks that would have taken tens of minutes using either Java or Python. With Haskell it would invariably take much, much longer. It would look really beautiful at t
300.
by kmicklas 11y ago
> It also builds tolerance in a kind of annoying way; it prevents me from napping or sleeping even when it no longer makes me not tired. Interesting. I can sleep just fine on modafinil, but I still have greatly increased focus if I just

More ›