whateverboat

6 ms·

1.
by whateverboat 4d ago
No. You do have checks, it's just that once you publish 4-5 papers, 99% of your field is open to you so you never have to do the checks again.
2.
by whateverboat 4d ago
weapons are a tool to wield political power.
3.
by whateverboat 4d ago
It is quite well known that the culture around Pythagora's time was heavily influence by architecture and engineering like Tunnel of Eupalinos.
4.
by whateverboat 5d ago
LLM's have generated "False" proofs in Lean, so that statement is not far off. Malicious or incompetent? Take your pick.
5.
by whateverboat 7d ago
> Now that we can see their work, the approaches appear to be different. It is also worth noting that our latest model can solve many, many other math problems. Is that a threat?
6.
by whateverboat 9d ago
Before Mozart came along, we had folk music, music of the masses, and they continue to exist and will exist today.
7.
by whateverboat 9d ago
> Could this model work for mathematicians? It’s easy to imagine: in Euclid’s time, mathematics largely existed as an intellectual pursuit worthy of a few inclined people. NO! Pythagoras discovered his theorems because they wanted to div
8.
by whateverboat 9d ago
Power in this case is the political power. There's no other power.
9.
by whateverboat 9d ago
> For AGI to benefit all of humanity, we believe it must be democratically governed. This can only happen through an informed public debate about the capabilities, risks and safeguards of highly capable AI systems. People everywhere need
10.
by whateverboat 10d ago
Very good, now where can I buy a 5.25inch recorder thingie that I can stick in my PC? No one manufactures them anymore.
11.
by whateverboat 16d ago
what happens if you get GPA above 3.5? ;-) /s
12.
by whateverboat 16d ago
Yeah, Croydon was the deadline according to the committee's internal process on changing the draft before it is sent for ballot (rubber stamped as you said typically). What Bjarne is asking for is: 1. either an exception to the c++ com
13.
by whateverboat 16d ago
The current state of C++ next is maintained in what is called the C++ draft. People (from the committee of experts appointed as national body representatives or invited experts) submit proposals which is essentially merge requests to make
14.
by whateverboat 16d ago
School break means between-semester breaks. Furthermore, CPT is used for STEM internships. You cannot do internships using OPT because that requires UCSIS permissions which can take upto 4-5 months. CPT is approved completely by university.
15.
by whateverboat 17d ago
One could always build libraries which people can use if they need the more high-performance cores. There is not much in the CPython core that will benefit though.
16.
by whateverboat 17d ago
> Hm, which is worse: An entire country of millions of people suffers from the shortsighted actions of a few Few? 51% is a few? I mean, I also think Brexit was a monumentally stupid decision, but 51% of people wanted it, no? Even assumin
17.
by whateverboat 17d ago
> No, I understand that. I just find it deeply ironic that when an interrupt/signal arrives, pretty much the only thing you can do to handle it, is to raise some flag, then leave the handler and continue doing whatever you were doin
18.
by whateverboat 24d ago
Whatever you might think, University of Minnesota got banned from Linux kernel for this.
19.
by whateverboat 27d ago
In fact microservices are arguably more complex. It is the reason why microkernels have not succeeded compared to monolith till now.
20.
by whateverboat 27d ago
I know at least one: https://news.ycombinator.com/item?id=47609716 Having said that, MacBook is a very homogenous machine with minimal choices (which can be a good thing) so testing upgrades patches on them should be fair
21.
by whateverboat 27d ago
Yeah, but then you are packaging the distribution, which is a valid and often a good choice, but then it is not a reproducible wheel anymore.
22.
by whateverboat 27d ago
I got labeled smart but lazy because I had dysgraphia. It took me a PhD to get rid of that label. And don't get me wrong, I loved doing the work I did in my PhD and I love the job I have now due to the PhD, but sometimes I wonder if I
23.
by whateverboat 27d ago
For python, it seems very difficult to actually do reproducible builds in a way that is useful, because python wheels have very implicit assumptions about paths and environemtns that do not happen anywhere else.
24.
by whateverboat 29d ago
Yeah but this is true for every laptop vendor. Framework is not worse here, and yes, Framework is supposed to be better, but it cannot be better in everything at once. It is already better that you only need to buy a 350USD motherboard inst
25.
by whateverboat 29d ago
To answer my own question apparently, With C++ the last time, the problem was that there was no MLIR and it's dialects. So, the lowering could not take advantage of any vendor specific features like CUDA graphs and co-operative groups.
26.
by whateverboat 29d ago
India's per capita income is still only 1/6th of the world average. Iran can stand up to USA with a lot of destruction, which is exactly what is happening with India. Indian numbers look impressive just because of the size of the
27.
by whateverboat 29d ago
> Framework really caught everyone's attention with the fun DIY repair angle, but Dell/Lenovo/HP have been selling repairable laptops to IT departments for decades. Yeah, but does Dell allow you to change your laptop'
28.
by whateverboat 29d ago
Well, NAM would only be successful with two power centers. One of the power centers disappeared which precipitated this state. It has nothing to do with the state as such.
29.
by whateverboat 1mo ago
I did kind of go overboard with the "trick" thing, but I think the point still stands. Could you come up with an instance of thinking that is not falling in the steps I've written down?
30.
by whateverboat 1mo ago
> This module is under active development. Once upstream, it should allow Rust developers to run Rust code on GPUs. We aim to develop a rusty GPU programming interface, which is safe, convenient and sufficiently fast by default. This inc

More ›