pseudonom-

6 ms·

1.
by pseudonom- 3y ago
Dhall is the FP config language you're thinking of, I think.
2.
by pseudonom- 3y ago
Funny, I did almost the exact same thing: https://github.com/colehaus/hammock-public . Though I project to 3D and then put them in an interactive 3D plot. The other fun little thing the interactive plotting enables is s
3.
by pseudonom- 3y ago
OpenAI was formed as a nonprofit with a specific charter ("OpenAI’s mission is to ensure that artificial general intelligence (AGI)—by which we mean highly autonomous systems that outperform humans at most economically valuable work—be
4.
by pseudonom- 3y ago
Are you aware of the history and governance structure of OpenAI?
5.
by pseudonom- 3y ago
Unless I'm misunderstanding something, this is precisely why I don't use Home Manager. I've literally never had my NixOS setup break over the course of many years.
6.
by pseudonom- 3y ago
https://arxiv.org/abs/2306.11644 is along these lines.
7.
by pseudonom- 3y ago
Probably quotes like: "It must be familiar, roughly C-like. Programmers working at Google are early in their careers and are most familiar with procedural languages, particularly from the C family. The need to get programmers productiv
8.
by pseudonom- 3y ago
Tim Dettmers recently ( https://www.manifold1.com/episodes/ai-on-your-phone-tim-dett... ): "But what we found with these neural networks is, if you use 32 bits, they're just fine. And then you use 16 bits, and
9.
by pseudonom- 3y ago
There are other mechanisms for dealing with vanishing and exploding gradients. I (maybe wrongly?) think of batch normalization as being most distinctively about fighting internal covariate shift: https://machinelearning.wtf/
10.
by pseudonom- 3y ago
> (Do bear or typeguard allow you to do this using decorators?) You can push some of this directly into Python type annotations thanks to https://peps.python.org/pep-0646/ . e.g. @overload def mean(a: ndarray[f
11.
by pseudonom- 3y ago
There's some discussion in section 3.2 of https://arxiv.org/pdf/1910.10683.pdf
12.
by pseudonom- 3y ago
> Ie even lower than my guess of 90% above. These are not comparable numbers. You're comparing "fraction of people" vs "fraction of outcomes". Presumably an eye-roller assigns ~0 probability to "extremely ba
13.
by pseudonom- 6y ago
Ahh, I was focusing on the "local state" vs "global state" bit. Haskell has ways to address the expression problem: e.g. http://www.cs.ru.nl/~W.Swierstra/Publications/DataTypesALaCa... and htt
14.
by pseudonom- 6y ago
To the extent that I understand your complaint, there is a functional architecture that alleviates this concern: arrowized functional reactive programming. https://blog.jle.im/entry/intro-to-machines-arrows-part-1-st...
15.
by pseudonom- 6y ago
This can be fairly smoothly achieved already: https://dev.to/gcanti/functional-design-smart-constructors-1...
16.
by pseudonom- 7y ago
Chronic hunger in (at least) the US appears to be essentially non-existent for children: https://blog.givewell.org/2009/11/26/hunger-here-vs-hunger-t...
17.
by pseudonom- 8y ago
There are serious attempts to estimate the externalities that arise from automobile use in general: http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.661... Adjusting those estimates (only) for inflation, they w
18.
by pseudonom- 8y ago
"Carbon taxes are regressive" is too simple, and I'd argue wrong, for a variety of reasons: - Some experts just flatly deny it: "low-expenditure households devote a smaller share of their budget to gasoline than do their
19.
by pseudonom- 8y ago
Does anyone have any impressions on how this compares to CLRS? ( https://en.wikipedia.org/wiki/Introduction_to_Algorithms )
20.
by pseudonom- 8y ago
> ~30% of her students, from either school, would not eat at all over the weekend. No, not that they would eat Cheetos or drink Coke. They plain-jane went hungry. Can you help me reconcile that with the data from the USDA as described he
21.
by pseudonom- 8y ago
You can use switch statements for a pattern matching analogue. See the "Exhaustiveness Checking" heading at https://www.typescriptlang.org/docs/handbook/advanced-types.... .
22.
by pseudonom- 8y ago
I was able to find one reference to this spider in the context of mosquito elimination: Regarding ecological issues surrounding the release of sterile TMs, of particular importance is that a reduction in the number of Anopheles is unlikely
23.
by pseudonom- 8y ago
From the article: "That might sound disturbing from an ecological perspective, but mosquitoes don’t make up a significant portion of any known predator’s diet; there’s just not a lot of meat there. “So far there’s no evidence really th
24.
by pseudonom- 8y ago
I suspect (based on stuff like https://arxiv.org/abs/1510.08419 ) that you'd have had more luck with property tests instead of unit tests.
25.
by pseudonom- 8y ago
In some languages, you can ensure that no `.toString()` equivalent is available. Then, your ID is truly opaque and can only be used in the prescribed ways.
26.
by pseudonom- 8y ago
Not sure what GP is thinking of, but here's an example of embedding tools for reasoning about performance in Idris: https://www.youtube.com/watch?v=4i7KrG1Afbk&feature=youtu.be...
27.
by pseudonom- 8y ago
When the compiler handles this, it is usually called "automatic deforestation". One technique for this (that Haskell's compiler implements) is "stream fusion". A brief overview of stream fusion is given at https:&#
28.
by pseudonom- 8y ago
e.g. https://github.com/gabesoft/nix-conf/blob/master/.nixpkgs/co...
29.
by pseudonom- 8y ago
Though there are a couple more declarative ways to handle user package installs.
30.
by pseudonom- 9y ago
An EDSL and a domain-specific API are not the same thing. For example, one typically expects the description of a program's logic and its execution to be separate in a DSL (i.e. building up expressions from the syntax made available in

More ›