HNHacker News
TopNewBestAskShowJobs

Mithriil

104 karma · joined November 14, 2014

Currently an AI sofware dev.

Statistical learning, optimization, algorithms, computer sciences, and other nerdy stuff.

submissionscomments
Mithriil··on I resigned from Anthropic today
What's almost certainly true is the amount of insanity he encountered at Anthropic.
Mithriil··on Black hole singularity is a surface not a point
They do speak of the gravitational singularity (not the event horizon). It's within the horizon, there is a contradiction between the need for two infallers' position to reach the singularity (thus hitting a point) and the causal impossibility of them actually meeting (following General Relativity?). This suggests that the point should maybe be a surface.

I don't follow most of the arguments however.

Mithriil··on I stopped trusting USB-C cable labels and started testing them
The first 1 star comment on the "YEREADW USB-C Tester Power Meter" marketed here is worrisome:

> HOWEVER, the issue is that, for some reason, on some devices, it seems to mess with PD negotiation. On chargers that I know can output 15V, it will not negotiate to 15V, it will only charge the device at 5V 3A.

Mithriil··on The Sylvester–Gallai Theorem
Say you've got a set of 5 points that are not all collinear (e.g. everytime you draw a line, you never get all 5 of them). Now every time you try to draw a line between two points, you always end up with a third one. Can this happen?

This is what is stated here: there always exists at least a pair where this does not happen.

Mithriil··on The Sylvester–Gallai Theorem
Also, see the title of the website.
Mithriil··on Show HN: An AI agent that trades inside limits you set, starting on paper
Not necessarily. Selling a tool doesn't incur the same risks as using it, not at all.
Mithriil··on I am retiring from fulltime writing (& pseudonymity) to launch Guardian Angel
I understand the point that the physical world is still our (human's) anchor, but the virtual world still "exists" anyway, as in: it impacts the physical world.

Whether some humans are "Real humans", anchored in the physical world, and some are "LLM psychosis victims" is, in itself, not problematic I think: they each deal with parts of reality that are divided, but still affect one another.

Of course, a society more grounded in the physical would feel less dystopian... But ultimately, I think that GA is an intellectual's approach to fighting *for* humans in this numerical world.

Mithriil··on I am retiring from fulltime writing (& pseudonymity) to launch Guardian Angel
I don't think that GA would be incapable of that, from what I know of LLMs and agents. The part where you make the GA uphold your set of values could, instead of coming from an individual, come from a collective. Price could be shared too!

(Oh wait, is this the birth of AI mayors?)

Mithriil··on I am retiring from fulltime writing (& pseudonymity) to launch Guardian Angel
One of the example Gwern brings [1] is a GA as an agent for public discourse and political life, to bring your "set of values" to have an effect in solving society's issues, when you yourself don't have the time or energy to.

I don't think it solves or reconciles with self-actualization, but, from a pragmatical point of view, it offers the promise of extending causally your set of views and philosophies to politics.

Gwern also mentions that it allows to keep "human values" (if the GA truly upholds yours) in the loop, in processes that are to eventually be automatized beyond human's reach.

[1] https://gwern.net/guardian-angel#use-cases-politics-politics

Mithriil··on Ten advances in mathematics and theoretical computer science
Even if pi is an approximation, it is still representable mathematically. Floating-point arithmetic is an algebra (in this case, a magma [1]), which can be studied mathematically.

[1] https://en.wikipedia.org/wiki/Magma_(algebra)

Mithriil··on OpenAI’s accidental attack against Hugging Face is science fiction that happened
And yet, open source models saved the day.
Mithriil··on OpenAI’s accidental attack against Hugging Face is science fiction that happened
Some people do read these cyberpunk dystopia, but see them as inevitable.
Mithriil··on The Beauty of Tautologies
And what the author goes and shows are equalities, not tautologies.
Mithriil··on Hot surfaces during Europe's heatwave 'seen' by Sentinel-3
This is of the 26th of May.
Mithriil··on Show HN: High-Res Neural Cellular Automata
If you hold the eraser for a second at the center, I find that it destroys the image more often than not.
Mithriil··on Show HN: Forge – Guardrails take an 8B model from 53% to 99% on agentic tasks
It's relevant to the "thousand monkeys on a thousand typewriters".
Mithriil··on The quiet renovation at Bitwarden
'Always free' does not sound like an opinion.
Mithriil··on AI eats the world (Spring 26) [pdf]
The ratio of AI startups at YC surprised me... (slide 48). This is a clear trend.
Mithriil··on Three Inverse Laws of AI
> Probabilistic analysis can carry you very, very far in doing something that looks like logical inference at the surface level, but it is nonetheless not logical inference.

A statistical approximation of logical inference (as vague as I state it) could (and will) very well pass for logical inference, at least for the common people, whose logic skills are far from perfect.

Also, humans are certainly not capable of the perfect logical inference you speak of. And I get the irony of what I'm saying with such certitude. Logic is still framed in axioms that are framed in languages, we'll never truly get there. Ah, but absoluteness gets in the way of practicality.

Yet, here we are with a tool, that is maybe not at its prime yet, that equals and beat many human beings at logical inference on some problems that are pragmatically relevant. Should I say symptoms of logical inference at that point?

As to why LLMs capacity for (apparent) logical inference is only limited to specific use cases, I don't have a clue. But I'd like to argue that, humans are like that too.

Mithriil··on There Will Be a Scientific Theory of Deep Learning
> nobody understands the fundamentals

Funny statement to be found in the discussion about... research results on the fundamentals.

Mithriil··on There Will Be a Scientific Theory of Deep Learning
Asymptotics has been used to validate tons of statistical tools. This is just another tool being validated.

If you have a tool that you don't know works when data increases (n-> infinity), then you shouldn't use it.

So practicaly, I believe it has serious implications.

Mithriil··on There Will Be a Scientific Theory of Deep Learning
I don't think that this is true. You need an infinite number of dimensions for this (think Taylor's expansion, Fourier expansion, infinitely wide or deep NNs..)
Mithriil··on There Will Be a Scientific Theory of Deep Learning
As someone who worked with Nadaraya-Watson regression in the pass, the result that infinitely wide NNs converges to kernel regression baffles me.
Mithriil··on Hear your agent suffer through your code
Add the feature of doing a high five for the rare cases when it's actually good.
Mithriil··on Quantum Computers Are Not a Threat to 128-Bit Symmetric Keys
> instantly

Shor's and Grover's still are algorithm that require a massive amount of steps...

Mithriil··on Ban the sale of precise geolocation
I would expect such a law to be lobbied to death.
Mithriil··on Fast and Easy Levenshtein distance using a Trie (2011)
The Google's n-gram dataset link is outdated. You can get them here: https://storage.googleapis.com/books/ngrams/books/datasetsv3...
Mithriil··on Show HN: A memory database that forgets, consolidates, and detects contradiction
The half-life idea is interesting.

What's the loop behind consolidation? Random sampling and LLM to merge?

Mithriil··on Transformers Are Bayesian Networks
Bayesian network is a really general concept. It applies to all multidimensional probability distribution. It's a graph that encodes independence between variables. Ish.

I have not taken the time to review the paper, but if the claim stands, it means we might have another tool to our toolbox to better understand transformers.

Mithriil··on Cutting Up Curved Things
Worry not, I came here full speed after the first paragraph to say the same thing.
Page 1 of 5Next →