guyomes

13 ms·

31.
by guyomes 2y ago
For handwritten texts, the tool that works best for me is Qwen2.5-VL-72b [0]. It is also available online [1]. I'm surprised that it is not mentioned in the article since even the previous model (Qwen2-VL-72b) was better than the other
32.
by guyomes 2y ago
For the mantissa, the insight is probably that : (1+e1)*(1+e2) = 1+e1+e2+(e1*e2) If e1 and e2 are small, then e1*e2 is negligible.
33.
by guyomes 2y ago
I wonder if their curated set of 817 math problems is also useful as teaching material for training math students on a diverse set of problems.
34.
by guyomes 2y ago
> Aristarchus had come up with a heliocentric theory way back around 250 BC. He notably did convincing calculations showing that the sun should be larger than Earth. However, this was not convincing enough for his opponents who argued no
35.
by guyomes 2y ago
Sambanova is not often mentioned either [0]. One of his co-founder is known as “father of the multi-core processor” [1]. [0]: https://sambanova.ai/ [1]: https://en.wikipedia.org/wiki/Kunle_Olukotun
36.
by guyomes 2y ago
> the utility will only let me put up a 4kW array due because they can't accept the extra energy and stay profitable. Transmission congestion might be a more important issue than profitability: "Avoiding the congestion is essen
37.
by guyomes 2y ago
> I wouldn't want to breathe the stuff in powdered form. This makes me think of wood dust being dangerous to inhale [1], despite wood being a perfectly safe material for furniture at home. [1]: https://en.wikipedia.org&#x
38.
by guyomes 2y ago
> I never heard anyone say that if a highly social person just tried harder they'd learn to like a quiet weekend at home The full school institution actually do it. Teachers tell students to stop speaking to each others for most cou
39.
by guyomes 2y ago
The experts from Belenios do not recommend to use remote e-voting for high-stake elections [1]. Some issues they mention are the risks that the users sells their credentials or that a malware on their computer leaks who they voted for. [1]:
40.
by guyomes 2y ago
You can add to the list the colors of their wings, rendered by a complex nanostructure that is triply periodic [1]. [1]: https://math.ucr.edu/home/baez/butterfly.html
41.
by guyomes 2y ago
For a small survey of practical efficient methods for bignum arithmetic operations, the Algorithms section of the documentation of GMP [1] is excellent. [1]: https://gmplib.org/manual/Algorithms
42.
by guyomes 2y ago
You're perfectly right. It is indeed perfectly logical then. It could be reformulated like this: if f(A) > f(not A) then f(not A) is not maximal. f: a function indicating how complete the thoughts are. A: writing about thoughts.
43.
by guyomes 2y ago
Taking the statement completely out of context, it states : if A implies B, then not A implies not B. This is a logical flaw. The correct statement from a logical point of view is: if A implies B, then not B implies not A. In this case, eve
44.
by guyomes 2y ago
The field evolves quickly. The Meta 3D Gen paper states that Rodin Gen-1 [1,2,3] has a clean topology. As a non professional, the wireframes from some examples indeed look nice. [1]: https://github.com/CLAY-3D/OpenCLAY
45.
by guyomes 2y ago
For FFT with floating-point numbers, another paper from Arnold Schönhage in 1982 [1] already gives the bound in Psi(n l) operations, where n is the number of coefficients, and l is the desired precision (typically 53 for double precision).
46.
by guyomes 2y ago
And it turns out that on the Klein bottle, the maximum is 6 colors. More generally, this number depends directly on the number of holes of the surface [1]. [1]: https://en.wikipedia.org/wiki/Heawood_conjecture
47.
by guyomes 2y ago
If you are ready to spend some precomputation time to compute a good approximation, you can use the Remez algorithm [1]. It is implemented in the Sollya library for machine precision [2,3]. It has notably been used to implement the Core Mat
48.
by guyomes 2y ago
Another approach is the one implemented in Estonia. A citizen there has the ability to query who has accessed their records [1]. Combined with proper laws, this feature lead to "some very public cases of government officials being caug
49.
by guyomes 2y ago
You can fold a paper to get a torus [1]. With those foldings, the distances on the torus embedded in 3D are the same as the distances on the flat paper. It is even theoretically possible to embed the flat paper as a torus in 3D with a C^1 s
50.
by guyomes 2y ago
> OpenAI is betting heavily on code as a way to improve LLM reasoning for AGI. And researchers from Google Deepmind, University of Wisconsin-Madison and Laboratoire de l’Informatique du Parallélisme, University of Lyon, actually publish
51.
by guyomes 2y ago
In academy for example, including the publicly funded institute mentioned in the article (European Molecular Biology Laboratory’s European Bioinformatics Institute). Also, there is a blog page on the deep mind website where they cite "
52.
by guyomes 2y ago
Even though it might help to start with a mechanism at a different physical scale, changing the scale matters indeed. The mass being different, this leads to different forces required to get the same acceleration or deceleration. That follo
53.
by guyomes 2y ago
All-in with the Foldit paper [1,2]. [1]: https://en.wikipedia.org/wiki/Foldit [2]: https://www.nature.com/articles/nature09304
54.
by guyomes 2y ago
> I've heard before that the people doing this 'tween' frames make less than minimum wage on contract. An employee of an animation company describes in a comic book his experience on working with people drawing the in-betw
55.
by guyomes 2y ago
> I can remember the fine details of complete songs seemingly forever If you didn't buy the song, does it count as an illegal recording? /s This was the main subject of a science fiction short story, unfortunately I cannot reme
56.
by guyomes 2y ago
That would probably be true if all the coefficients were complex numbers. The biais here comes from the fact that all the coefficients are real numbers.
57.
by guyomes 2y ago
Expressing proofs as formal logic is a great tool to make them more rigorous. Formal proofs are easier to check with a computer, provided that all the cases have been fleshed out, and that it has been written in a proof-assistant language.
58.
by guyomes 2y ago
For rotations in 3D space, another nice representation is based on antisymmetric matrices [1]. All rotations can be represented as exp(A), where A has the form: 0 -z y z 0 -x -y x 0 Moreover, this generalizes to other
59.
by guyomes 3y ago
Some research is actually done in this direction. In 2015, a paper showed how a robot can adapt to injuries like a broken leg [1,2]. [1]: https://www.nature.com/articles/nature14422 [2]: https://hal.science&
60.
by guyomes 3y ago
Some of this activity was actually documented through the alleged data breach of a hacking company [1]. [1]: https://en.wikipedia.org/wiki/Hacking_Team

More ›