Hacker News: SwtCyber

New comment by SwtCyber in "Classification of Finite Simple Groups Formalized in Lean"

SwtCyber — Wed, 28 Oct 2026 06:24:41 +0000

And what's interesting is that formalization doesn't just catch missing cases, it also forces you to examine all the assumptions that everyone has been taking for granted

New comment by SwtCyber in "Classification of Finite Simple Groups Formalized in Lean"

SwtCyber — Wed, 28 Oct 2026 06:22:25 +0000

I think you're basically right about the end goal yet the gap between a textbook proof and a Lean proof is much bigger than it looks

New comment by SwtCyber in "Ask HN: What is the main bottleneck facing Agentic AI today?"

SwtCyber — Mon, 26 Oct 2026 08:06:59 +0000

> Verifying that actions adhere to instruction correctly and will continue to do so in the future, even when improvising autonomously. This may be an open problem that has no solution, and is maybe the missing piece that would allow people to entrust AI to act on their behalf

Instead of trying to achieve perfect instruction adherence, it’s much safer to sandbox the execution environment at the infrastructure layer. If the container only has write access to a single scratch bucket, whatever weird improvisation the model comes up with is at least safely contained

New comment by SwtCyber in "Clockwork Mechanics, Maintenance, and Metaphors in the Late Middle Ages"

SwtCyber — Thu, 22 Oct 2026 07:24:00 +0000

I never really thought about how unreliable early mechanical clocks must have been....

New comment by SwtCyber in "DeepSeek just open-sourced its inference engine"

SwtCyber — Tue, 20 Oct 2026 15:53:13 +0000

The smaller providers on OpenRouter are probably popping champagne rn. With a framework like this in hand, the barrier to entry for LLM hosting drops even lower, so expect another wave of api price cuts for all no-frontier models

New comment by SwtCyber in "Way to Play Super Mario 64: On Apple Vision Pro"

SwtCyber — Mon, 19 Oct 2026 09:25:30 +0000

I love that we've reached a point where you can put an entire N64 level on your dining table and physically walk around it.

New comment by SwtCyber in "How to Train Your Robot"

SwtCyber — Mon, 19 Oct 2026 09:21:26 +0000

Exactly. I suspect the problem isn't just the amount of training data, but how much of the relevant information is missing from it.

New comment by SwtCyber in "Dogs seem to agree with humans that 'bouba' is round and 'kiki' is spiky"

SwtCyber — Mon, 19 Oct 2026 09:17:10 +0000

I think the cross-language comparison would be interesting, although the bouba/kiki effect seems remarkably consistent across human languages already

New comment by SwtCyber in "Sound (2022)"

SwtCyber — Wed, 14 Oct 2026 05:37:24 +0000

The progression here is what impressed me most... You start with individual air molecules bouncing around and somehow end up understanding harmonics, interference and etc. Love this kind of articles!

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

SwtCyber — Mon, 12 Oct 2026 05:29:01 +0000

I'd love to see that microscope hologram in person

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

SwtCyber — Mon, 12 Oct 2026 05:27:49 +0000

The irony is that actual holography is arguably more impressive than the sci-fi version once you understand what's happening

New comment by SwtCyber in "Let your AI agents paint big arrows, boxes and text on your screen"

SwtCyber — Fri, 09 Oct 2026 14:04:16 +0000

Nothing stops it, except the fact that the agent is already executing arditrary code in your shell. If it's malicious, it'll just steal your shh keys directly instead of bothering with button masking

New comment by SwtCyber in "'Jonathan' is the oldest land animal on Earth"

SwtCyber — Thu, 08 Oct 2026 06:54:00 +0000

Apparently the secret to living 500 years is to move somewhere cold, avoid sunlight, and never be in a hurry

New comment by SwtCyber in "'Jonathan' is the oldest land animal on Earth"

SwtCyber — Thu, 08 Oct 2026 06:52:20 +0000

194 is the new 90 apparently

New comment by SwtCyber in "'Jonathan' is the oldest land animal on Earth"

SwtCyber — Thu, 08 Oct 2026 06:50:51 +0000

He's basically been networking for 194 years without ever leaving the garden

New comment by SwtCyber in "'Jonathan' is the oldest land animal on Earth"

SwtCyber — Thu, 08 Oct 2026 06:48:29 +0000

To be fair, he's had 194 years to work on his charisma. At this point it's a choice

New comment by SwtCyber in "How Singapore's government-run dating service works"

SwtCyber — Fri, 02 Oct 2026 05:34:02 +0000

I think that's a bit too reductive, but the incentive mismatch is real. Commercial apps generally benefit from people staying on the app; a government service theoretically benefits if people pair off and leave.

New comment by SwtCyber in "How Singapore's government-run dating service works"

SwtCyber — Fri, 02 Oct 2026 05:32:37 +0000

The nice thing is that the government has no reason to keep you swiping forever

New comment by SwtCyber in "How Singapore's government-run dating service works"

SwtCyber — Fri, 02 Oct 2026 05:31:29 +0000

I think the algorithm is almost a distraction here. Gale-Shapley works nicely when preferences are reasonably well-defined and participants are actually committed to the matching process. Dating has neither property. People are terrible at predicting who they'll have chemistry with, and everyone has outside options.

New comment by SwtCyber in "Early rogue AI agent activity and attempts to hack found on urlquery.net"

SwtCyber — Thu, 24 Sep 2026 12:28:17 +0000

If this were a staged showcase of model capabilities they would have picked a more impressive target than a regional university digital library