dr_analog
top 1% of underdog fetishists
No bio...
User ID: 583
I wrote the most trivial program the other day. It would have been like 3 lines of Python but I did it in one of those formal languages and it was 300+ lines of code. And it still had bugs because my spec was wrong.
This is an unfair generalization but: I'm not really sure any of this shit will matter and bug free wins will come from Chad AIs just writing bug free C. They'll construct ad hoc proofs as they deem it necessary and they won't be things we see, unless we want to slow things down and ask.
My first was such an awful sleeper for the first 2 years I can't even read this without being triggered.
I don't think he matters that much. Nvidia has been coasting on inertia for a long time.
"as the CISO I have determined the outsourced SIEMs are inadequate and we manage the risk ourselves" and then I would spend an hour every couple of afternoons writing regexes to alert on
A lot of their competitors are pretty mediocre by comparison
This just doesn't compute for me. Aggregating logs like this is a whole industry?! Every single place I've ever been, once we outgrow 'ssh into each box and grep for whatever we need' starts realtime aggregating logs in a single server and we can grep them all there. And eventually that stops scaling and we stand up indexing and maybe even a dashboard and maybe even some things to fire events based on filters.
It would never occur to us to hire a vendor for such a mundane task and have to deal with some account manager every year and buy "licenses" and all that shit.
This is why my read of the IT industry in general is so bad. I always drastically underestimate what most companies can do in-house.
I never really understand the IT industry because if you put a pitch deck for Splunk in front of me I would say "and? this is a pitch deck to build grep with a billing department?" and 15 years later they get acquired for $28 billion.
Shit's so dumb.
Rust is fine I'm mostly just making a near-term bet that the agents don't benefit that much from the type system's proofs because they increasingly write superhumanly good code.
There are some minor reasons to tell your agents to write C instead of Rust. The agents might box (ha!) themselves in unnecessarily because unsafe and dropping to asm to get around missing features from C (like setjmp/longjmp, or computed gotos) are implicitly proscribed if you're asking for Rust in the first place. Additionally there's some ecosystem risk from yanking in hundreds of crates that you wouldn't hit with C because the package management ecosystem fucking sucks and your agents will just DIY most of what it needs instead.
You can also iterate a little faster compiling C than you would Rust, so long as your agents don't talk you into running fuzzers and tsan/asan
These are not actually earth shattering differences and Rust is fine. So long as you don't mind people thinking you're a homo.
There's not many good excuses left to stay on the Microsoft ecosystem in 2026.
That said, companies will do anything to avoid a migration out of dread for retraining and fear of unknowns.
My agent wasn't cooperative at first so I switched to an account with cyber permission and told it (honestly) that I own the watch and I wanted to rid it of spyware, so it agreed to figure out how the android app did firmware updates. Then it analyzed a copy of the firmware on the Internet to figure out the hardware. Then we modified the stock firmware so it would dump the full contents of memory to an emmc if I trigger a key combination. With all of that it was able to write a detailed spec. Then I handed that off to my regular account and it happily iterated on building a new firmware from scratch.
Kind of surprised the smartwatch company didn't require signed firmware updates. Guessing that won't last very long. Which is ironic because I would happily keep buying their watches if I could continue flashing my own firmware.
Your lack of faith is cute.
Yeah, that's what I keep coming back to. Bro got into this to make 3d games go fast. Being one of the most important people in the AI revolution is way out of his depth.
Grab your balls and write it in C. AI agents write safe code and there's no need to wait for the type checker.
I had a smartwatch for tracking my running workouts. A.COROS Apex Pro. At some point I got the ick on these things because they ruthlessly mine your personal data. So I vibe coded a fitness app for my phone and just used that with a chest strap.
Most of the time that's fine but for specific workouts it's less than ideal because I'd like to glance at my wrist and see my pace or whatever.
I resolved to get an open source watch so I could upload my own firmware but the options have been... trashy.
Then Opus 5.5 came out and it seems that every watch is open source if you try hard enough. Within a weekend it reverse engineered the COROS smart watch's firmware and now I'm uploading my own very sick program to it for tracking my workouts instead.
I don't really love the idea of every one of these companies finally investing in solid device security to close this off long term, but for now I'm enjoying having freedom.
The price seems to be having kids with like half a dozen different women? Sounds like hell.
Nothing. I'm just using the opportunity to say even highly influential billionaire CEOs can't get away with fucking around. Even if they're in SV where everyone is supposed to be sexually enlightened.
Jensen Huang just got busted having an affair with what's probably a Chinese spy.
Jensen is a wifeguy of 41 years. In some sense he probably never stood a chance.
Blow-ups like this reinforce my bias that while poly/open relationships exist, you can't get away with them if you're a high status man. Sure, if you're a billionaire CEO, your wife may say she's okay with a discreet affair but she'll deny it and throw you to the wolves (and take you to the cleaners) if it ends up on the front page of the NYT. Similarly, women having affairs with married billionaire CEOs may be driven crazy by being #2 bitch in a way that they wouldn't really mind if the man had normal status. And if they are okay with it, it's probably because they're spies.
Now Jensen's wife hasn't said anything about divorcing him, but he's publicly apologizing to her and his family for this, so I presume they at least need to keep up the appearance that they're not poly. Since poly is low status.
Am I wrong?
No no that would just be the background for waxing poetically about whether or not the Korean state is legitimate.
One day I hope to write a post like this about South Korea.
Do you know how many billions in foreign aid they get? We would have no beef with China if not for South Korea. Do you think all of those laundromats in DC are Korean owned by chance? Literally handling our dirty laundry. Wake up sheep.
Your retirement funds will end up buying it at some point, no? Everyone gets a share.
Yeah. it's just been aggravating to have people call me a slop peddler or whatever all of this time until finally and very recently elite programmers have begun to admit they use AI tools and the attacks have died down. Mostly it's from the neo luddites who refuse the tools on anti-capitalist or climate worry reasons and they've retreated to mastodon and lobster.rs
I'm still having a bit of a personality hit from this super valuable skill that I know turning into a commodity as cheap as water before my eyes but it's also fun to ship like 20x faster. Every side project: DONE
I am seeing some colleagues descend into a form of light AI psychosis. For satire, this Kai Lentit video hits very close to home: https://youtube.com/watch?v=WV6A1Zf3F2Q
Annoyingly I've been all-in AI coding since 2023 and I don't have much to show for it. Now that all but the most extreme luddites are converted I have no edge. It's not like you have all that much skill in AI to build up before you can crush out utils with a modern coding agent.
Oh well.
I probably have full blown AI psychosis at this point but decided to go hard on personal digital security.
I run self hosted Immich, a Google Photos alternative. But it requires docker and is kind of bloated on the server side. So I'm having a bot rewrite it in Rust and I'm planning to lock it down hard in the most fascist systemd unit possible. Uses 1/10th the RAM so far.
The Emudhra CA private key is 4 thing made me wonder about my IoT devices being vulnerable to upstream MitM attacks so I'm installing a custom nft tap on my router to intercept and check outbound TLS.
I have two different home lighting systems. Wrote a daemon that drives them and also an app for my phone that has a unified dashboard for all of the lights. Home Assistant is bloat.
Replaced a WordPress site with a Rust version that runs on bare metal, no OS. Can't trust anything;
I currently use a Telegram bot to message me anything interesting about the household but rolled out a phone app that basically stays always on and connected so my servers can push to them directly. No need to rely on Google Firebase Push crap or Telegram.
Also decided to integrate globally shared copy/paste for all of my devices. Basically copy/paste works between Mac, Linux and Android now. With an option to share with the household common clipboard.
Used Claude to hack my fridge because I found out it has fucking Wi-Fi and I needed to see if it was actually still joined to something (yes, searching the previous owner's network) and figured out how to shut the WiFi off entirely.
Might see if I can leverage that Emudhra CA thing to MitM attack my IoT devices myself, perhaps I can intercept and take over the functions they expect a C&C thing in the cloud to be providing.
From the description I thought she was standing in front of a completely spread open obviously upside down flag, which would have been quite the statement. This, I didn't even notice it was upside down since it's curled up? I see it now that I'm looking for it.
It seems much easier to believe everyone's just retarded with the hanging it wrong and then trying to cover it with a deepfake and then being too embarrassed to admit it.
Thanks for starting a thread about this!
Okay, so LLMs couldn't do arithmetic but then they could.
Then you could hand them a smartphone pic of a college textbook problem plus your answer and they'd tell you what the right answer is and tutor you on solving it if your answer was wrong.
Now they're cranking out proofs of open problems experts struggled with for years, and the complaint is the proofs aren't elegant and experts can't follow them?
Every step of the way someone said "this is the ceiling", so what's the specific limit you think kicks in right now, and why here?
- Prev
- Next

The way you describe hacking changing is exactly what happened to trading. Humans still in the loop, but too slow for individual trading decisions. The job is more about overall strategies and setting risk parameters for when to pull the plug on trading.
More options
Context Copy link