noosphr

14 ms·

421.
by noosphr 8mo ago
LaTeX is not ConTeXt. Both use TeX as their layout engine. Both are different type of markup languages that live on top of TeX.
422.
by noosphr 8mo ago
Typst is a replacement for TeX. Not LaTeX. You'd of course need to read the documentation on what TeX and LaTeX are to understand this. Most people would rather write a new system.
423.
by noosphr 8mo ago
Latex is not Tex.
424.
by noosphr 8mo ago
>We - as a humanity - collectively recognized the weight of our creation, and decided to walk back We ran out of bombs actually. If there had been more bombs there would have been more bombings.
425.
by noosphr 8mo ago
Yes, unlike real software it has backward compatibility to the 80s.
426.
by noosphr 8mo ago
This is what you'd use a search engine for 10 years ago. The docs used to be good enough that there would be an example which did exactly what you needed more often than the llm gets it right today.
427.
by noosphr 8mo ago
So what's the transaction fees to make 1e9 one satoshi payments and how long until they clear?
428.
by noosphr 8mo ago
The root of all evil is that we don't have a functioning micro transaction network and we don't know how to build one. For the user there is no way to pay the 0.0000001c that it takes to load a web page, for the web master there i
429.
by noosphr 8mo ago
You would first need to realzie it's a problem.
430.
by noosphr 8mo ago
If the code is written by an Ai they can't copyright it. It is all public domain.
431.
by noosphr 8mo ago
Yes, we just need to build the mountains first.
432.
by noosphr 8mo ago
You charge your car at night. At night the sun doesn't shine. The mix is mostly coal or if you're lucky mostly gas. This is the type of bullshit I mean by doing real world calculations.
433.
by noosphr 8mo ago
This is something that always gets lost in these conversations. Whenever you do the real world calculation for what an electric cars CO2 profile looks like it turns out to be the same as a gasoline car unless your country is majority nuclea
434.
by noosphr 8mo ago
Most of those technologies also need uninterrupted power supplies. Something wind, solar and batteries for the next 50 years aren't.
435.
by noosphr 8mo ago
The point is that non-deterministic outcomes can be a solution to the problem. We are at the stage that Donald Knuth is releasing literate programs with LLM assisted proof. They aren't stochastic parrots. They are a useful additions to
436.
by noosphr 8mo ago
Llms are non deterministic in practice. This is as meaningful as saying 'don't tell me the number you rolled, just send me the roulette".
437.
by noosphr 8mo ago
> It isn't just a reimplementation of existing software logic in hardware; it is a rethinking of how deep learning inference should work at the circuit level. [...] By implementing the entire inference pipeline in SystemVerilog, we
438.
by noosphr 8mo ago
It's not just the open source ones. The only benchmarks worth anything are dynamic ones which can be scaled up.
439.
by noosphr 8mo ago
If the price of code is zero then changing the spec also costs zero in terms of code and. This is what always was the problem with specs before. You'd write one, run it through the prover, write the code, then have to throw out the who
440.
by noosphr 8mo ago
How many users did Netscape have?
441.
by noosphr 8mo ago
Ive been hearing this since 2016. Any day now.
442.
by noosphr 8mo ago
Californian seems like a state with a golden goose they keep trying to kill in ever more idiocitally inventive ways.
443.
by noosphr 8mo ago
You assume far too much competence.
444.
by noosphr 8mo ago
Police have unions.
445.
by noosphr 8mo ago
What law?
446.
by noosphr 8mo ago
And what if congress renames it tomorrow? They have the votes. These sort of procedural gotchas are as stupid as they are boring.
447.
by noosphr 8mo ago
Like op said, they have values. You just don't agree with their values.
448.
by noosphr 8mo ago
I'm on Linux.
449.
by noosphr 8mo ago
About 10 minutes ago in Emacs.
450.
by noosphr 8mo ago
AI demand isn't going away. It will just move from the data center to the local machine. On device AI is much better for the customer than it being in the cloud. Expecting people to stick with a few dozen gb of hbm is going to be the &

More ›