Certhas

7 ms·

91.
by Certhas 4mo ago
Did you mean to reply to someone else? For the record, MTW by now also shows it's age. When I was doing research in GR adjacent fields the experts were rather recommending Wald. Might have just been my bubble of course...
92.
by Certhas 4mo ago
The space time approach with E as t wedge x and B as x wedge y is purely linear algebra, not differential forms. As opposed to the weird GA form it actually makes the physically most meaningful symmetry (Lorentz transformations) explicit. T
93.
by Certhas 4mo ago
100 percent agree with the article. Wedge products are fundamental, GA is weird ideology. I had the bad fortune of reviewing some GA research articles once upon a time. It was almost embarrassing. Everything of substance had been published
94.
by Certhas 4mo ago
Actually basic typst is as readable as markdown, e.g. this is the example from the webapp: = The Typst Playground Welcome to the Typst Playground! This is a sandbox where you can experiment with Typst. You can type anywhere in the ed
95.
by Certhas 4mo ago
What's the state for generating websites from Typst?
96.
by Certhas 4mo ago
So LaTeX also doesn't scale to serious composition by actual writers?
97.
by Certhas 4mo ago
Look I agree with all you said. The EU should do this but the EU is also structurally bad at large concerted efforts exactly because it is a collaboration mechanism, not a super state.
98.
by Certhas 4mo ago
None of these models come from universities, European or otherwise. Mistral is clearly currently not competing for Frontier Model. Whether this is due to a lack of VC Funds or a lack of technical ability or the former arising from the latte
99.
by Certhas 4mo ago
Do you have a source for the claim that Uber was making money on rides during its decade of enormous unprofitability? Its public stance was that growth was more important than profit. Why wouldn't they be subsidizing rides to fuel grow
100.
by Certhas 4mo ago
This "vaguely nationalistic world view around tech" is a direct consequence of the US government weaponizing its leading tech firms reach into the EU for nationalistic purposes. The EU was build on the principles of collaboration,
101.
by Certhas 4mo ago
The Uber comparison makes no sense. This is the opposite situation. Uber lost money on rides, OpenAI is (possibly) making money on inference. Uber used an R+D moonshot to autonomous driving to justify capturing an established industry witho
102.
by Certhas 4mo ago
I can control government more than I can control Google or Anthropic. Also your argument is along the lines of thinking I argue for: You say I shouldn't lobby for regulation I believe is beneficial because a future government might cha
103.
by Certhas 4mo ago
The idea that government could _not_ be involved is nonsense. You simply don't perceive some government involvement as involvement because you take it for granted. The only question is where do you personally want to draw the line, and
104.
by Certhas 4mo ago
We should demand and work towards good public institutions that do their job. It's perfectly consistent to say "this is a job that legitimate democratic institutions should perform" and complain that currently the legitimacy
105.
by Certhas 4mo ago
I have some medium difficulty math problems where I have used the models for the last year and a half repeatedly. Back then they were already good at pointing out obstructions and constructing counterexamples. So that tracks. But at first g
106.
by Certhas 4mo ago
There are tons of benchmarks in the announcement. But we also know that benchmarks are problematic. So the best we can do right now seems to be to combine imperfect case studies like this with imperfect benchmarks to get some unreliable imp
107.
by Certhas 4mo ago
This makes no sense. How are dependence and usefulness interchangable? There is some overlap, sure. But are you seriously claiming that there is no meaningful distinction between using headphones and using slot machines?
108.
by Certhas 4mo ago
I disagree. 16 isn't necessarily the relevant N here but the number of responses is. If you have 100 responses from 1 professor, and the AI wins 75% of the time that is very likely a true signal that the AI is better than this prof. It
109.
by Certhas 4mo ago
EU regulations have had an effect.
110.
by Certhas 5mo ago
Yes? Does that contradict anything I said?
111.
by Certhas 5mo ago
It's the same logic for human and for AI code: In Rust the compiler catches many bugs so you don't have to. If the LLM gives you safe code you know there are entire classes of things you don't have to review for. That said, I
112.
by Certhas 5mo ago
The amount of papers produced passed the point of being digestible by humans a long time ago. I do think we will need to find a way to get away from publishing papers. But I thought that before the AI came along and made mediocre papers som
113.
by Certhas 5mo ago
Not true, C++ made it so trivial infinite loops are not UB because it turns out they do have legitimate uses. https://lists.isocpp.org/std-proposals/2020/05/1322.php https://www.open-std.org/j
114.
by Certhas 5mo ago
To successfully execute that strategy you need enough resources to survive losing multiple times. This is one reason why it's not a meritocracy: Founders come overwhelmingly from upper middle class backgrounds, where one or two or thre
115.
by Certhas 5mo ago
Do you also suggest to make it illegal to pay someone to publish certain posts/texts? And plan on enforcing this somehow worldwide? Because otherwise, if I have the money to make someone post my opinions, I already have twice the influ
116.
by Certhas 5mo ago
This is so blindingly obvious just by looking at what is happening... It's like the believe that markets are inherently efficient and we just need to get rid of all the government interference that distorts the free market. There is no
117.
by Certhas 5mo ago
You don't actually engage with the point of the article at all. Why is that a desirable goal? What are the societal implications of this? What implicit assumptions is your framing hiding, and are they true? (All communication is good!
118.
by Certhas 5mo ago
I don't think Mojo is targeting HPC at all.
119.
by Certhas 5mo ago
It's easy to say but it's also wrong. I had Claude look for actual sources. https://emerging-europe.com/it-sector-in-focus-poland/ The IT sector is 4.4% of GDP. Poland has seen 3% of GDP growth year on year.
120.
by Certhas 5mo ago
What exactly is confusing to you? Anecdotes from your bubble inside one particular industry, that represents a small fraction of the economy of a nation, do not adequately explain the post soviet transformation of economies containing hundr

More ›