ijustlovemath

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.

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

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

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

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

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

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?

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.

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

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?

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

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.

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

Creepy to think that Day 1 may have already happened.