UltraSane

7 ms·

211.
by UltraSane 2mo ago
Companies could self-host models in secret. It would be hard to stop.
212.
by UltraSane 2mo ago
There have been models trained for latent space reasoning. It has a lot of advantages but the big drawback is the reasoning is completely opaque.
213.
by UltraSane 2mo ago
How exactly will they ban them?
214.
by UltraSane 2mo ago
Using the same word for two completely different things is very confusing. Also the Arabs took the land from the Byzantine empire in the 7th century AD.
215.
by UltraSane 2mo ago
What did he mean then? Israel exists as a Jewish state so I really don't know what people mean when they say it.
216.
by UltraSane 2mo ago
"he is an avowed Zionist" What exactly do you mean when you say Zionist?
217.
by UltraSane 2mo ago
This reminds me of I/O Channels on IBM Mainframes.
218.
by UltraSane 2mo ago
Bit it would still add trillions to global GDP
219.
by UltraSane 2mo ago
A 10% increase to total labor productivity would be huge. It would add trillions to global GDP.
220.
by UltraSane 2mo ago
10% is still huge.
221.
by UltraSane 2mo ago
Google REALLY wants Gemini 4 to be the leading LLM.
222.
by UltraSane 2mo ago
https://en.wikipedia.org/wiki/Locator/Identifier_Separation_... I've used this in networks and it enables amazingly easy endpoint mobility.
223.
by UltraSane 2mo ago
Telling the socket the IDENTITY of the host you want to reach and abstracting away all the details of how to reach it is exactly what the missing TCP/IP sessions layer is supposed to do. By tightly coupling the session layer to explic
224.
by UltraSane 2mo ago
Even if you are correct, which you aren't, a good tutor almost ALWAYS helps people learn faster. This is just a really odd thing to argue.
225.
by UltraSane 2mo ago
This can be done but takes work and is prone to false positives. I personally got a email from out network team asking what I was doing when I downloaded some very large files on a VM in our test environment. I was impressed.
226.
by UltraSane 2mo ago
How so?
227.
by UltraSane 3mo ago
Exactly
228.
by UltraSane 3mo ago
" if you need a human tutor to understand category theory or Lean then you don't have the requiste math/CS background and a human/LLM tutor won't be able to meaningfully teach you anything." What an incredibly
229.
by UltraSane 3mo ago
https://blog.ipspace.net/2009/08/what-went-wrong-socket-api/
230.
by UltraSane 3mo ago
https://blog.ipspace.net/2009/08/what-went-wrong-socket-api/ A DNS name can have a LOT of A records associated but a socket has to pick one. This is a severe limitation.
231.
by UltraSane 3mo ago
In some ways an LLM tutor is better. Try getting a human tutor for things like Category Theory or Lean 4.
232.
by UltraSane 3mo ago
The socket interface using IP addresses instead of DNS names is widely considered to be a major mistake.
233.
by UltraSane 3mo ago
There are a LOT of different logical system. Paraconsistent Logic Intuitionistic Logic Dialetheism
234.
by UltraSane 3mo ago
The geometric kernel is written in Lean and is thus also verified by the Lean prover.
235.
by UltraSane 3mo ago
This is a incredibly US specific headline.
236.
by UltraSane 3mo ago
In developed nations like the US, health economic models estimate that deploying PrEP across generalized heterosexual groups costs anywhere from $150,000 to over $1 million per single HIV transmission prevented.
237.
by UltraSane 3mo ago
Think of Lean proofs as a kind of inductive proof where if you trust the kernel then you trust every proof the kernel says is true.
238.
by UltraSane 3mo ago
Are you arguing that all sexually active people should take prep?
239.
by UltraSane 3mo ago
Most heat from gas burners is wasted heating the room. Induction is vastly more efficient.
240.
by UltraSane 3mo ago
The one place gas makes sense is heating in cold climates because furnaces are externally vented.

More ›