beisner

8 ms·

31.
by beisner 3y ago
Is it possible that GPT-4 already had this new optimization somewhere in its training set? The optimizing patch DeepMind published on has been floating around for several months at this point… Edit: I found the merges for sorting (Jan 2022)
32.
by beisner 3y ago
That was Uber.
33.
by beisner 3y ago
Yeah the USDS is one of the only romantic/bright spots for good application of tech in the US government.
34.
by beisner 3y ago
OP is making a dumb libertarian argument basically saying "there's nothing stopping people from doing what they want except the threat of force/violence" (which is trivially true, and the mechanism by which any group of
35.
by beisner 3y ago
authoritarian is probably the right word, rather than left/right.
36.
by beisner 4y ago
But we are all computers made of DNA tho
37.
by beisner 4y ago
There are quantum-resistant encryption schemes. See: https://en.wikipedia.org/wiki/Post-quantum_cryptography
38.
by beisner 4y ago
parent would probably say, "grid-scale battery storage". or natural gas.
39.
by beisner 4y ago
No, they own both an asset and a liability, secured by that asset.
40.
by beisner 4y ago
As I understand it, I think that any randomly generated SAT problem will not be able to be solved quickly; however, SAT problems in the real world, even when they're large, tend to be quick for SAT solvers (most people solve the "
41.
by beisner 4y ago
Gotcha, understood. Mirroring @Denzel's edit, I think that rationale makes sense for configuring some of the intermediate glue which is project-specific. For instance, running test suites, orchestrating deployment, and other more custo
42.
by beisner 4y ago
What's the motivation for using YAML instead of Starlark (Bazel, Buck) or something closer to Python (Pants, please.build)? Seems as though much of the other monorepo tools have (kinda) standardized on this. As I understand it, the pri
43.
by beisner 4y ago
Real estate is priced at the margins, because it's rather illiquid. Here's an estimate, there are about 10M people living in Portugal, maybe 5M living in areas (cities, coasts) where wealthy foreigners might want to settle. Averag
44.
by beisner 4y ago
In the US, many people drive 5+hr long-distance trips a few times a year at least (visit relatives, vacation, etc). So the idea of either getting fleeced or stranded a few times a year is unappealing.
45.
by beisner 4y ago
that's profit after employee compensation costs.
46.
by beisner 4y ago
I think it's more of a sarcastic / cynical take - kind of a "you reap what you sow" sentiment. This IS what capitalism is, with a weak social safety net and without controls on the accumulation of stupid levels of capita
47.
by beisner 4y ago
BNPL usually breaks purchases up into discrete monthly payments up-front at checkout. Whereas your credit card lumps it together into one balance, which you can pay over time.
48.
by beisner 4y ago
It's probably reasonably straightforward for well-connected VC people to raise $1bn from philanthropic rich people, which might have seemed like enough money at the time to make progress on the problem of AGI. But I suspect they'v
49.
by beisner 4y ago
People who travel a lot for work are often extremely attuned to the credit card rewards game, so getting only 1% back is unrealistic. You can eek out at least 5% back (and often much higher, depending on redemptions) on all travel expenses.
50.
by beisner 4y ago
Very curious to see what this means for ROS.
51.
by beisner 4y ago
While true, there’s a relatively small upper bound on how many bits of information are in this pre-training. Specifically, in the form of how much information is contained in DNA, which is only a couple gigabytes.
52.
by beisner 4y ago
Alongside simple banking, this is a service that should be offered, for free, by the US Post Office.
53.
by beisner 4y ago
Sure; my point is that both perspectives are equally arbitrary. Neither drive me nuts.
54.
by beisner 4y ago
On the flip side, the child didn't consent to being born, and indirectly any suffering a child endures can be traced back to a parent's decision to bring them into the world.
55.
by beisner 4y ago
The idea of having a public record that attests to when an event happened is interesting, although not sure it has to be blockchain for it to be useful.
56.
by beisner 4y ago
Each sensor could have a unique cert
57.
by beisner 4y ago
Sure, there are of course runtime checks you can do (and I now do after having been bitten by this before), but that’s not necessarily better than having a static analyzer which can guarantee correctness without executing a single line of c
58.
by beisner 4y ago
So there are information theoretic ways to certify that media is genuine, if you assume trust at least somewhere in the process. Basically just cryptographic signing. For instance, a camera sensor could be designed such that every image tha
59.
by beisner 4y ago
It's an optional typechecking tool. Speaking as an ML researcher who has authored my fair share of linear algebra bugs due to broadcasting, being able to optionally typecheck specific critical regions of the codebase would be a killer
60.
by beisner 4y ago
Variadic Generics has the potential to enable all the scientific computing libraries to provide really nice type hints. One step closer to eliminating insidious broadcasting bugs… or running training for 10 hrs only to have a validation loo

More ›