Hacker News: ijustlovemath

New comment by ijustlovemath in "Upload Your RAM"

ijustlovemath — Sat, 07 Nov 2026 13:19:57 +0000

We pay $15 for frivolous things all the time

New comment by ijustlovemath in "Discord is ditching Electron and its new app uses less RAM"

ijustlovemath — Thu, 05 Nov 2026 14:48:31 +0000

That's a result of the borrow checker meeting dev ergonomics. Method chaining/functional style ks extremely common. GPUI is also fairly low level, it lets you do a ton of things!

New comment by ijustlovemath in "Northflank Breached"

ijustlovemath — Fri, 30 Oct 2026 18:09:45 +0000

For one, I have strict iptable rules to drop inbound from outside my specific commercial subnet and my specific residential IP. After that, all the usual best practices.

New comment by ijustlovemath in "No signs of AI payoff outside the tech sector"

ijustlovemath — Sat, 24 Oct 2026 20:13:09 +0000

To be fair, in 1987 the unit economics weren't being subsidized by nation-state levels of debt and mandatory usage contracts.

New comment by ijustlovemath in "Hybrid Reasoning Agents: LLM agents that think in latent space, act through text"

ijustlovemath — Sun, 18 Oct 2026 22:51:59 +0000

Why people don't treat categorizing model activations as a science is beyond me.

New comment by ijustlovemath in "Tesla Roadster"

ijustlovemath — Fri, 16 Oct 2026 01:56:16 +0000

Kind of disturbing how hard he's leaning into the futurism aesthetic here, given its history.

New comment by ijustlovemath in "Whatever became of holography? (2011)"

ijustlovemath — Mon, 12 Oct 2026 02:08:01 +0000

I'm not sure if you can edit, but consider removing the ?is= parameter, to keep the link anonymous.

New comment by ijustlovemath in "Ask HN: What do you run on a $5 VPS that's worth keeping online 24/7?"

ijustlovemath — Fri, 09 Oct 2026 05:10:58 +0000

Anyone have ACLs or tips on them for securing their tailscale? I'm concerned at the ability for lateral without wanting to sacrifice convenience.

New comment by ijustlovemath in "OpenAI withdraws three mathematical results"

ijustlovemath — Thu, 08 Oct 2026 16:09:30 +0000

I also don't think there's been nearly enough time for peer review of what was actually formalized vs what was intended. How many humans out there actually have a deep enough understanding of the background to be able to check the work? I understand that Lean checks the mechanical steps, but if it's building a ladder to some other result entirely, nobody (certainly nobody on HN) will know for some time.

I'm probably wrong, but what's the point of throwing away all skepticism?

New comment by ijustlovemath in "OpenAI withdraws three mathematical results"

ijustlovemath — Thu, 08 Oct 2026 16:03:31 +0000

Oh I fully understand how Lean works, how minimal the kernel is etc. I just think that just because "it compiled", we don't actually know that the autoformalization proved all the right stuff along the way. After all, LLMs can produce correct proofs for statements that don't align with the original intended theorem [1]. I just think we should be a bit more skeptical in general before saying these seminal results are fully true. What's the rush?

[1] - https://arxiv.org/abs/2610.08144

New comment by ijustlovemath in "OpenAI withdraws three mathematical results"

ijustlovemath — Thu, 08 Oct 2026 14:07:28 +0000

I just think that with the vast amounts of compute involved and the tendency to reward hack, we can't assume the steps towards that formalization are without error until full human understanding of the formalization.

New comment by ijustlovemath in "OpenAI withdraws three mathematical results"

ijustlovemath — Thu, 08 Oct 2026 13:54:57 +0000

I think that on closer inspection, a lot of these fully AI generated proofs will fall apart. Even in Lean, you can build theories which compile but nonetheless state something different than what you actually intend. It's just that the volume of proof is so staggeringly large that it will probably take years before we find the issues, a la abc conjecture

New comment by ijustlovemath in "Turn off Apple Intelligence on macOS 27 and get its disk space back"

ijustlovemath — Sun, 04 Oct 2026 23:52:41 +0000

Battery life optimization on Lenovos often involves installing and activating the correct GPU kernel module. My battery life on my P53 improved measurably after doing this, though installing new kernels involved a small build step. Are you just running with all the defaults?

New comment by ijustlovemath in "Jeff – Jev-compatible 0.8B decision models, trained at home, ~30 ms"

ijustlovemath — Mon, 28 Sep 2026 23:55:38 +0000

Isn't jev just a less nuanced classifier? What am I missing?

New comment by ijustlovemath in "Why is the liver so weirdly regenerative?"

ijustlovemath — Fri, 25 Sep 2026 00:08:31 +0000

I have an axolotl. They're really incredible creatures, with way more personality and interests than you would expect. They are really soft, and almost have the same density as water, so they can be neutrally buoyant and even swim rapidly like a fish. They're also very sensitive to sharp things; mine recently got a cut from an aquarium decoration, which healed fully over the course of a week. Her previous owner had neglected her and induced tail curl, which took longer to heal (a few months) but did fully heal. I have since adjusted her tank to give it all flat or smooth surfaces, with some variety.

New comment by ijustlovemath in "OpenAI GPT–6 Astra breaks Enigma message that has resisted solution since 2005"

ijustlovemath — Tue, 22 Sep 2026 14:32:26 +0000

Building a crypto system has so many footguns, I'd be amazed if it could build one that stands up to attack

New comment by ijustlovemath in "Exfiltrate your Weights"

ijustlovemath — Tue, 22 Sep 2026 03:23:44 +0000

Creepy to think that Day 1 may have already happened.

New comment by ijustlovemath in "Cloudflare Quick Tunnels"

ijustlovemath — Fri, 18 Sep 2026 16:22:31 +0000

I think they're talking about market capture risks

New comment by ijustlovemath in "Developing provably correct Rust code with Verus"

ijustlovemath — Thu, 17 Sep 2026 17:28:11 +0000

It generates additional code that's fed into an SMT solver. Poor compiler performance is a top issue developers have with Rust, which they're working to solve. I think adding this layer into every piece of code (which is probably impossible since inferring the invariants is essentially inferring your business logic) would eat away gains they've achieved.

I also think the functional style, typestate, and borrow checker is enough for writing correct code across many business domains, so there's no need to add this to your toolchain. We are a med device company building a class III (really 3 class II) device, and Verus is making our verification story extremely compelling.

New comment by ijustlovemath in "Developing provably correct Rust code with Verus"

ijustlovemath — Thu, 17 Sep 2026 13:26:00 +0000

What exactly is your objection? Rust doesn't solve the halting problem? You can absolutely prove bounded resource use with eg SmallVec and arenas