ur-whale

6 ms·

31.
by ur-whale 2mo ago
Your definition of "elementary" is the one used by the other 100.0 - 99.999 % Thank you for making my point for me. Ivory tower much?
32.
by ur-whale 2mo ago
> LLMs don't understand things as human mathematicians do You say it like it's a bad thing!
33.
by ur-whale 2mo ago
"The proof ends up being remarkably elementary." Dude then proceeds to dump about 16 A4 pages worth of heavy-duty algebra which 99.999% of the humans on the surface of this planet are completely unable to read past the first two l
34.
by ur-whale 2mo ago
https://archive.ph/XDM2H
35.
by ur-whale 2mo ago
> runs on your computer Only if you have a cupertino-made toaster that is.
36.
by ur-whale 2mo ago
Here's an interesting ChatGPT conversation posted in the comments of the article: https://chatgpt.com/share/6a81dbb7-1934-83ea-8a47-6d1d1b4c0f...
37.
by ur-whale 2mo ago
> I’ll take that bet, since we ask about it in our interview questions. You evaluate candidates based on their intimate knowledge of acronyms? LOL. Pray tell where you work so we all collectively never apply for a job there.
38.
by ur-whale 2mo ago
One suggestion: my bet is that close to no one knows what the acronym BDD stands for. The first comment on this post is in fact exactly about that. I'd consider explaining what BBD is at the start of the front page of your project.
39.
by ur-whale 2mo ago
Why does Google keep announcing these subpar models? What am I missing? They can't seem to be able to produce a frontier model, fine. Just be quiet about it and work hard until you manage to put one together. [EDIT]: Come to think of i
40.
by ur-whale 2mo ago
> Can you help me understand how it is hard to get an API key from Google? Using Google products in general is an effing nightmare as soon as you have to give them money. The one thing you want in a business is to remove friction whe
41.
by ur-whale 2mo ago
> Anything that suggests curl into bash just plain sketches me out. Yeah, 100% and it's becoming more and more of a thing, see rust install for example. OTOH, if you're installing llama.cpp, you're more than likely plannin
42.
by ur-whale 2mo ago
An attempt at formalizing in Lean Mochizuki's ITU and put an end to the controversy produced by a 500 pages "proof" that no one can actually understands. Additional information: https://github.com/katobungen&#
43.
Project Lana attempts to formalize hard to understand Mochizuki's IUT in Lean(anabelian.org)
3 points by ur-whale 2mo ago|1 comments
44.
by ur-whale 2mo ago
Yeah, so https://chatjimmy.ai/ ... the model is crap, but the speed is amazing. Worth checking out.
45.
by ur-whale 2mo ago
> Google loves to kick senior execs upstairs. The Japanese corporate culture has a name for this: Madogiwa-Zoku (窓際族) or “The tribe by the window”. https://de.wikipedia.org/wiki/Fenstergucker_(Japan)
46.
by ur-whale 2mo ago
> It would be stock price suicide if anything even remotely happened with Google. aka they're dead in the water.
47.
by ur-whale 2mo ago
> Neat, now do a 3D Delaunay tetrahedrization! :) I do see the smiley, but still: show a litle more appreciation man, this is really impressive work and deserves more than a "great, can you do it on one leg now?" comment.
48.
by ur-whale 2mo ago
Impressive work. @author : I'm trying to wrap my head around the following question: are there any situations where the "int32 constraint" would be an issue? My gut feeling says that fine a grid (4B steps) is likely to genera
49.
by ur-whale 2mo ago
Here's my bet: Demis will be gone within 6 months. A year at most.
50.
by ur-whale 2mo ago
> I think it might be like waveform collapse, but very high dimensional. The waveform collapse is natively "very high dimensional", not sure why the "but" part of the sentence belongs here.
51.
by ur-whale 2mo ago
> LLMs are famously inefficient, expensive and unreliable. Maybe, but here I am suggesting an LLM specifically trained to do only machine code to high-level code reverse engineering. I suspect this can be made both efficient and very
52.
by ur-whale 2mo ago
> There is no point to have an LLM do what can be done faster and deterministically by standard algorithms I think using the word "deterministically" in the context of decompilation is not a particularly good idea. The code gen
53.
by ur-whale 2mo ago
Mmmh, I've always wondered ... as much as VLAN's are a very useful tools to - for example - route two separate LAN's traffic through a shared physical link ... are they any good when it come to security? I mean, I don't
54.
by ur-whale 2mo ago
Not sure why someone would want to use an LLM to build a new decompiler instead of training an LLM to BE a decompiler. Especially given the fact that you have an infinite training set to train that LLM from (compilers can generate as much
55.
by ur-whale 3mo ago
https://archive.ph/kQtHB
56.
by ur-whale 3mo ago
> Researchers found preserved bits from near the surface of the original asteroid where it experienced concentrated salty fluids Are we sure the guy who picked it up didn't just wash it with some sort of detergent after it cooled of
57.
by ur-whale 3mo ago
> I didn’t see was whether this was a Russian drone or Ukrainian drone From the france24 article: > A government investigation reportedly identified the first of the three drones as a Shahed model used by Russia in its war with Ukrai
58.
by ur-whale 3mo ago
To quote Scott McNealy, then CEO of Sun microsystems, circa 1999: "You have zero privacy anyway. Get over it". It has become truer every year that has passed since then. The 2026 version : "If you believe you will be allowed
59.
by ur-whale 3mo ago
> Any examples of nations that succeeded in this regard? (currently corruption-free states) It's all a matter of degrees of course, but Singapore and Switzerland spring to mind. I'm not claiming either is corruption-free (there
60.
by ur-whale 3mo ago
> and more corruption-free nation I'm really rooting for Ukraine here, and it looks like they are well on their way to succeeding pushing Russia out. But the corruption issue ... for this particular problem, old habits unfortunately

More ›