lblume

8 ms·

91.
by lblume 1y ago
Well, if the revenue remains the same for the author, and it also doesn't decrease for Google, it is implied that their margin will have to also be paid by the person who donates, for else the calculation will not work.
92.
by lblume 1y ago
There does seem to be a fairly strong correlation between excelling at competition and research mathematics respectively. The question remains whether this correlation generalizes to nonhuman cognition.
93.
by lblume 1y ago
> They could have spun up a million parallel reasoning processes But alas, they did not, and in fact nobody did (yet). Enumerating proofs is notoriously hard for deterministic systems. I strongly recommend reading Aaronson's paper a
94.
by lblume 1y ago
I have always wondered about what could be recovered if the antecedent (i.e. in this case the Riemann hypothesis) does actually turn out to be false. Are the theorems completely useless? Can we still infer some knowledge or use some techniq
95.
by lblume 1y ago
I find Gemini Pro to be much more capable than GPT-4o at reading comprehension, code writing and brainstorming.
96.
by lblume 1y ago
So instead of contributing to authors, you need to altruistically donate a large proportion of your money to Google in exchange for replacing a single kind of advert? Unlike some other Google products I can very easily see why this was disc
97.
Free Ideas(quarter--mile.com)
2 points by lblume 1y ago|0 comments
98.
by lblume 1y ago
According to [1], the optimization done in the Soviet Union (the largest planned economy) was based on linear programming. [1]: https://www.rtsg.media/p/soviet-planning-demystified
99.
by lblume 1y ago
I thought communist nations heavily relied on programs (in the author's sense) for their planned economies?
100.
by lblume 1y ago
Dynamic optimality sounds like a very euphemistic description of Levin's Universal Search to me – it is definitely optimal, just in a very, hmm, dynamic, let's say, way.
101.
by lblume 1y ago
This made me think – the fact that the underlying rule that nouns e.g. representing activities such as cooking can be formed from the corresponding verb via the suffix -er breaks in this case is just a historical / cultural artifact of
102.
by lblume 1y ago
Modern neuroscience suggests that everything the human brain might be doing is basically a kind of predictive processing, i.e. hallucination based on inductive biases. I do not think this is the main bottleneck.
103.
by lblume 1y ago
It may also come down to laptops being produced and sold mostly by US companies, which means that the general fact of most items (e.g. produce) being much more expensive in the US compared to, say, Europe doesn't really apply.
104.
by lblume 1y ago
I would not subscribe to your certainty. With LLMs, even empty or nonsensical prompts yield answers, however faulty they may be. Based on its level of comprehension and ability to generalize between languages I would not be too surprised to
105.
by lblume 1y ago
It is true that any sufficiently complicated technology requires a certain skill level to use it adequately. The question remains whether the complexity of the technology is justified, and the author presents an argument why this might not
106.
by lblume 1y ago
> No bumpalo doesn't count. Mind explaining why? I have made good experiences with bumpalo.
107.
by lblume 1y ago
Someone should create a DAG of programming languages with edges denoting contextual influence and changes in design and philosophy, such that every time a PL is critized for a feature (or lack thereof), the relevant alternatives exactly con
108.
by lblume 1y ago
It would not just be "confusing". It would be fundamentally unacceptable because there would just be no local reasoning anymore, and a single private field change might trigger a whole cascade of nonlocal borrowing errors. Unfortu
109.
by lblume 1y ago
Arc<Box<T>> is redundant, for the contents of the Arc are already stored on the heap. You may be thinking of Arc<Mutex<T>> for multithreaded access or Rc<RefCell<T>> for singlethreaded access. Both enable
110.
by lblume 1y ago
Think of Rust as a kind of kernel guaranteeing correctness of your program, the rules of which your transpiler should not have to reimplement. This may be compared to how proof assistants are able to implement all sorts of complicated simpl
111.
by lblume 1y ago
I believe that codebases written in Rust, with borrow checking in mind, are often very readable and allow local reasoning better than most other languages. The potential hardness might not stem from "making people better programmers&qu
112.
by lblume 1y ago
How do you actually create aligned incentives though? Goodhard's law, cobra effects and generalized coordination problems really do seem pervasive.
113.
by lblume 1y ago
But in that case brand association is an empty signal. As a paying customer, I can't meaningfully infer anything from it, and would thus best disregard it entirely.
114.
by lblume 1y ago
If one is calibrated to report proper percentages and assigns 8% to 25 distinct events, you should expect 2 of the events to occur; 4 in case of 16% and 22.5 in case of 90%. Assuming independence (as is sadly too often done) standard math o
115.
by lblume 1y ago
From how I read it dropping imports happens for every language.
116.
by lblume 1y ago
Exactly, this is what I meant. No matter how much or for which reasons one might dislike LLMs, you can't deny that they are the best general NLP tools we have right now.
117.
by lblume 1y ago
You can also just change the format to whatever suits you best.
118.
by lblume 1y ago
Interesting idea. Surely one could write a weather command that would just forward $@ to a LLM to make a structured request. On the other hand, this doesn't seem useful enough to justify the needed compute.
119.
by lblume 1y ago
This is a web API that does not have access to your local computer.
120.
by lblume 1y ago
It does seem to: https://pedropark99.github.io/zig-book/Chapters/09-error-han... However errors do not seem to commonly wrapped, tagged or contextualized as is the case in Rust. This might weight lower verbosity a

More ›