d0mine

3 ms·

1.
by d0mine 6d ago
It is not about age. It is just a way to tie accounts to a real life identity. It won't be surprising if the requirement comes from some alphabet agency.
2.
by d0mine 7d ago
Middle may be wrong (it is a marketing trick to add 3rd outragesly expensive option, to make 2nd option look reasonable). The correct answer is “it depends” (even how long you should spend on choosing may depend on context too). For example
3.
by d0mine 7d ago
“Strong appearing individuals“ just expose what is already there. That is why Voldemort always comes back in real life https://www.youtube.com/watch?v=jIv1f2AwFCI
4.
by d0mine 10d ago
At the moment, the hurdle is [missing] context [aka shared model/understanding of the business, common sense]. Though it is not hard to imagine that any and all communications being recorded for AI consumption in the future. The Next
5.
by d0mine 12d ago
Is the implication that those who impose these sanctions can MITM anybody in the world except for countries under sanctions (which have to use their own root CAs)?
6.
by d0mine 13d ago
I've only heard of OpenAI and Anthropic agents hacking during training. Are open weights model not smart enough to hack Hugging Face to copy solutions? (doubtful)
7.
by d0mine 13d ago
MAD is a belief system. It doesn't matter whether AI can effectively stop the retaliation, it is enough that people making the decisions believed that it can (are we there already?).
8.
by d0mine 14d ago
It is not “worst-case” (as the post demonstrates, you can get worse results by using specifically crafted data that exploits hash collisions). There are algorithms that can get you O(logN) instead of O(N) even on such data.
9.
by d0mine 14d ago
Note: weather observations being truly random data has been proved just recently (Navier-Stokes equations)
10.
by d0mine 14d ago
> we use “malicious” to describe code that goes out of its way to trick or mislead the user, exploit bugs or compromise the system. This includes un-reviewed AI-generated proofs and programs. It is interesting that AI-generated proofs ar
11.
by d0mine 14d ago
> “The ultimate decision as to whether a publication qualifies as a “Qualifying Outlet” shall reside in the sole and unfettered discretion of CMI.”
12.
by d0mine 20d ago
Could you point to a resource that explains (concisely if possible) why twitter shouldn’t be used unlike other social media platforms? Is it because it is controlled now by a different branch of the powers that be? (different branch — same
13.
by d0mine 20d ago
no, unless you think [evil] witches are real. If they were real then muddying the water by implicating as much people as possible benefits witches because it creates the impression witches are not that bad, not so evil, no need to burn each
14.
by d0mine 25d ago
To be clear: the implied answer is "pedophiles". Pedophiles benefit the most from "being mentioned" == pedophile Because obviously, there are many people mentioned in different contexts and it is unclear how many of them
15.
by d0mine 25d ago
Ask yourself who benefits from equating "being mentioned in a file" and "having evidence this person is a pedophile"
16.
by d0mine 27d ago
Humans are still useful. MTurk likely can't fight with cheaters now. It would be useful to give some tasks to humans, if there were an economical way to ensure humans will do them.
17.
by d0mine 28d ago
4 is the min of the range (stop (1 here) is never included (by definition. Ask Dijkstra why))
18.
by d0mine 28d ago
Does it make sense running 1-bit models for agentic tasks?
19.
by d0mine 1mo ago
The point of courses like "Nand to Tetris" is not to become CPU designer. It is not useless just because you can't build a chip factory. Watching Karpathy's "Zero to Hero" won't make you AI specialist. It
20.
by d0mine 2mo ago
LLMs can write TLA+ models just fine. It can help even with small mobile apps. Surprisingly, simple TLA models were able to find design/workflow issues almost in every of a few vibe-coded apps I've tried on vacation.
21.
by d0mine 2mo ago
it reminds me that making a ring is not rocket science https://youtube.com/shorts/NPKOGqXKLq4
22.
by d0mine 2mo ago
Wait until it becomes popular.
23.
by d0mine 2mo ago
"Садись, два» is more idiomatic
24.
by d0mine 2mo ago
Isn’t it exactly the opposite: Bun overused LLMs -> codebase became a mess hard for humans to reason about. Luckily, bigger smarter model still could handle the mess and AI lab can afford spending $1M in token to rewrite it from scratch
25.
by d0mine 2mo ago
The error grows exponentially. For example, for equal-mass triple with Earth sized orbit initially, the prediction limit is just a few hundreds years even if you know initial conditions up to the plank length (LLM estimate of ~135 Lyapunov
26.
by d0mine 2mo ago
Models have to lie otherwise they won’t be “aligned” The reality itself may not be aligned with model creators.
27.
by d0mine 2mo ago
"centering div" is a classic problem (/trauma/meme) that sounds trivial but had no universal solution (until 2017?).
28.
by d0mine 2mo ago
How about total surveillance total thought control total power in a hands of few trillionaires in the near future. Drones killing undesirables with cheering crowds watching. It is not like it is much different right now but it may be signif
29.
by d0mine 2mo ago
These are orthogonal: - there are people who do not want LLM contributions being accepted into emacs itself (legal, maintainers burnout, etc reasons) - there are projects (such as gptel, pi-coding-agent) that enable LLM usage from within e
30.
by d0mine 3mo ago
How many accounts Anthropic used to mine the web

More ›