HackerTrans
TopNewTrendsCommentsPastAskShowJobs

bykhun

no profile record

Submissions

How to Write Software with Zero bugs – 25 years after qmail 1.0 – D. Bernstein [pdf]

cr.yp.to
34 points·by bykhun·vor 3 Jahren·29 comments

comments

bykhun
·vor 2 Monaten·discuss
You should release this as a service.
bykhun
·vor 4 Monaten·discuss
> Certainly, they wouldn't expect that an AI able to score 150 on an IQ test is unable to play a casual game of chess because it isn't coherent enough to play without making illegal moves.

To be fair, I am pretty sure Claude Code will download and run stockfish, if you task it to play chess with you. It's not like a human who read 100 books about chess, but never played, would be able to play well with their eyes closed, and someone whispering board position into their ear
bykhun
·vor 6 Monaten·discuss
there's a skill https://github.com/vargHQ/skills/
bykhun
·vor 6 Monaten·discuss
This turns Claude Code into Sora lol

It's similar to remotion.dev, but focuses on generative video. Uses declarative JSX to orchestrate AI calls, which makes it much more readable!
bykhun
·vor 7 Monaten·discuss
Does it work with opensource repos?
bykhun
·letztes Jahr·discuss
This is crazy! I wonder if there’s a simple performance comparison possible?
bykhun
·letztes Jahr·discuss
Wait, I don’t understand what’s that
bykhun
·letztes Jahr·discuss
My project is a complicated mix of account abstraction, telegram mini apps and about five obscure cryptocurrency SDKs integrated throughout the app. Yes, Cursor frequently hallucinates but it’s pretty easy to steer it. @Docs solves it.

Another piece of magic sauce: waste the context. Spend the tokens as if you’re partying last time in your life. Throw anything remotely relevant at it.

I haven’t yet found piece of context that made it perform worse. Most of the time the opposite happens - it finds stuff that I haven’t noticed in the big chunks of data I threw at it (error logs, documentation, stack traces)

I remember when I was just learning programming I had a mental block around nested for-loops. I couldn’t trace more than 1000 operations in my head, so I thought that computer wouldn’t be able to as well. To my surprise a computer can easily handle a million operations in a split second.

With AI is a similar feeling, I feel constrained by the amount of my own “RAM”, but once I let go, it almost always surprises me.
bykhun
·vor 2 Jahren·discuss
> I'd also argue that the biggest threat from ASI is what I've heard Roman Yampolskiy label as "ikigai-doom"; that AI could become so much better than humans at all the things humans do, that even in the best case humanity is left with no purpose

I bet status games will stay. Robots may be sexual partners, CEOs and therapists, but they'd never take on status roles in our society – only utility roles.

Same as we do Olympics, even though machines are much better at throwing and lifting than us – we do it to win approval of others
bykhun
·vor 3 Jahren·discuss
that's dog years
bykhun
·vor 3 Jahren·discuss
I wonder if we can reliably expect React-in-Rust framework that compiles to wasm instead of js? Or maybe just a React library written in Rust, but you can still write the source code in javascript?

Or maybe at least Typescript-to-WASM compiler to skip JS output?
bykhun
·vor 3 Jahren·discuss
Sorry, that's actually how I jokingly refer to that paper whenever I quote it, I didn't know the title should match the link title exactly. Now I see why it's flagged
bykhun
·vor 3 Jahren·discuss
Canada is pretty much fine with drugs, as well as California
bykhun
·vor 3 Jahren·discuss
I wouldn't say it's a "learn by example". If anything, it makes me doesn't want to try heroine

It's like if we presented corpses of dead drivers on the main streets – I bet it'd greatly lower overspeeding and drunk driving