haltist

20 ms·

271.
by haltist 3y ago
Their motto is to capture all the value of the future light sphere so it's definitely the future.
272.
by haltist 3y ago
There can be no mechanical or materialistic explanation of free will. There are too many factors involved so it's just one of those things that everyone has to decide for themselves whether it is true or not. If you don't think th
273.
by haltist 3y ago
That's actually a good explanation. Every company should make that their mission.
274.
by haltist 3y ago
What exactly is a "light cone of value"? Is it money or something else?
275.
by haltist 3y ago
Very optimistic.
276.
by haltist 3y ago
It's an optimization to avoid querying the database and ML models. The pages are essentially static if you are not logged in. This is basically what I would do if I was told to reduce the number of queries for non-paying customers of T
277.
by haltist 3y ago
It is very ironic.
278.
by haltist 3y ago
Pretty good writeup.
279.
by haltist 3y ago
Part of an abstract from referenced articles: > Even though we are able to increase accuracy on MATH, our results show that accuracy remains relatively low, even with enormous Transformer models. Moreover, we find that simply increasing
280.
Tech layoffs exceed 240k so far in 2023, 50% more than 2022(msn.com)
115 points by haltist 3y ago|92 comments
281.
by haltist 3y ago
Someone should see if GPT can summarize the main points but it's the usual startup problems, growing too fast and failing to deliver on the company's main value proposition because of employee turnover and bad hiring practices.
282.
by haltist 3y ago
Thanks. That's good to know.
283.
by haltist 3y ago
How large is the wasm binary?
284.
by haltist 3y ago
Syntax with formal semantics makes a lot more sense than ambiguous English prose, especially for something like function signatures. Moreover, logical syntax would allow expressing constraints that are very hard to do with informal prose be
285.
Theories of Explanation(iep.utm.edu)
3 points by haltist 3y ago|0 comments
286.
Compositio Mathematica(compositio.nl)
2 points by haltist 3y ago|0 comments
287.
by haltist 3y ago
Gradient free methods work on any optimization problem, including deep networks, because gradient free methods do not require a smooth parametrization of the search space. For deep networks the parameters are on a smooth manifold and that&#
288.
by haltist 3y ago
Optimization problems in PyTorch are always parameterized with a smooth manifold structure so they're always differentiable, otherwise gradient descent wouldn't work.
289.
by haltist 3y ago
These system prompts are interesting but it's surprising that they are not using a configuration format to specify API signatures for browsers and other tools. The specification would be much better expressed with some kind of logical
290.
by haltist 3y ago
That's a good quote.
291.
by haltist 3y ago
Trying to legislate digital content generation seems like a waste of time and resources. I am not much of a libertarian but this is one area where I agree with minimizing laws and regulations.
292.
by haltist 3y ago
It's a matter of opportunity cost. I don't think working in AI would be the best use of my time so I don't work at OpenAI/Tesla/etc.
293.
by haltist 3y ago
Type Theory and Formal Proof is one of the better books I've found. It starts with untyped lambda calculus and works up to a dependently typed proof calculus in gradual steps. So if you are looking for a book then that's one of th
294.
by haltist 3y ago
These are good points to consider.
295.
by haltist 3y ago
Good to know.
296.
by haltist 3y ago
People come and go so I don't know how much can be assumed to be common knowledge but what changed is that big enterprises figured out that ML/AI can now be applied in their business contexts with low enough cost to justify the in
297.
The First Human-Powered Flight (2010)(smithsonianmag.com)
2 points by haltist 3y ago|0 comments
298.
by haltist 3y ago
Not that long then, especially if someone was motivated enough to complete the projects as quickly as possible.
299.
by haltist 3y ago
How long would it take for someone to learn all that?
300.
by haltist 3y ago
HN is often full of abstract argumentation so it helps to know if someone has actual experience doing something instead of just pontificating about it on an internet forum.

More ›