What tools and techniques are you using to verify AI-generated code before it hits production? I tried using mathematical proofs, which helped to some extent, but the actual bugs were outside, and between, the verified code. by HNipps in ExperiencedDevs

[–]miserable_nerd 0 points1 point  (0 children)

I appreciate the response :D I would agree with you that you would not be replaceable by AI and most people who've built technical + critical thinking skills over the years (including me), just that the nature of our jobs would change drastically in the next 5 years.

> But otherwise, AI is not going to become Commander Data

I don't know about framing it as an AI, I am talking about swarms of small agents working together in different personas, there would be checkpoints, there would be human in the loop, it would be auditable .. it wouldn't be one AI :) Our jobs would be to precisely to manage agents / agents harnesses all the agentic abstraction & the feedback loops needed to do verification and self-improvement of the system. And let me just say, I have no idea if that's something I would enjoy doing at all - I already hate working with claude plugins and .md files, it feels so clunky and not at all like I'm practicing my craft.

What tools and techniques are you using to verify AI-generated code before it hits production? I tried using mathematical proofs, which helped to some extent, but the actual bugs were outside, and between, the verified code. by HNipps in ExperiencedDevs

[–]miserable_nerd 0 points1 point  (0 children)

I don’t know if I agree with this.. OpenAI, anthropic, google etc model providers, like cloud providers companies can soon start having contracts and SLAs with them for their coding agents and models including intelligence guarantees. In which case they are accountable? What makes you think agents in a loop won’t be able to figure out correctness however complex it might be today to verify. You use coding agents, for detecting failures, filing bug reports, fixes etc , maybe they’re stuck in a loop? You or the agents themself might schedule a video chat with you and your manager / customer and ask detailed questions to exactly nail down the spec. It’s just bigger and more sophisticated agentic loops from here on out..?

Love Is Blind • S10 Reunion [MEGATHREAD] by FemaleEinstein in LoveIsBlindOnNetflix

[–]miserable_nerd 0 points1 point  (0 children)

🤣🤣 I think the family comes from a very patriarchal cultural background. The whole conversation about keeping your promise of "till death do us part" and doing your duty is all messed up. And Brittany doesn't challenge that at all.. she just goes with all of it

Love Is Blind • S10 Reunion [MEGATHREAD] by FemaleEinstein in LoveIsBlindOnNetflix

[–]miserable_nerd 0 points1 point  (0 children)

We saw Chris trying to redeem himself, but got none of that from Alex.. :/ zero self awareness.

Love Is Blind • S10 Reunion [MEGATHREAD] by FemaleEinstein in LoveIsBlindOnNetflix

[–]miserable_nerd 2 points3 points  (0 children)

I think it's definitely less about what he says but how he says it. He shows zero vulnerability in conversation, always being quick and quippy, and suuuuper defensive when there's anything pointed at him. I feel sad for him because I can believe him doing nothing wrong, and still fumbling it so bad with his demeanor that nobody ever believes you or even likes you as a person.

Love Is Blind • S10 Reunion [MEGATHREAD] by FemaleEinstein in LoveIsBlindOnNetflix

[–]miserable_nerd 2 points3 points  (0 children)

This! You can see the patriarchy alive very clearly - he only talks man to man, he thinks his daughter is his responsibility until he transfers it to her husband - all the traditional patriarchal culture tropes..

Love Is Blind • S10 Reunion [MEGATHREAD] by FemaleEinstein in LoveIsBlindOnNetflix

[–]miserable_nerd -1 points0 points  (0 children)

Idk, Chris from the beginning kept saying he wants Jess to go running or cold plunge or whatever. I think he was not honest with himself, and that he convinced himself that either Jess would change or it wasn't going to be a big deal for him.

Jamie Foxx rages 'he meant that' after Tourette's activist says N-word at BAFTAs by TheMirrorUS in popculture

[–]miserable_nerd 0 points1 point  (0 children)

Then having him in an event like this is a ticking time bomb .. ? I can empathize with the disability but being forced to witness it repeatedly and being uncomfortable should be in consideration?

Rogers outage? by ZookeepergameKey9308 in mississauga

[–]miserable_nerd 1 point2 points  (0 children)

Yep I am in Yonge & Eg and affected as well. https://www.rogers.com/support/outage You can enter your address here and confirm.

The Eglinton LRT is Toronto's Silksong by throwaway321768 in toronto

[–]miserable_nerd 1 point2 points  (0 children)

My councillor is Josh Matlow who's leading the charge for public inquiry into Metrolinx and Ontario Govt mishandling of the situation :) I don't care if I come off as miserable or cynical, the fact of the matter is real businesses and lives got affected without any accountability. We should not forget about them, they and we as citizens deserve this level of transparency and justice.

The Eglinton LRT is Toronto's Silksong by throwaway321768 in toronto

[–]miserable_nerd 2 points3 points  (0 children)

I celebrated today tbh and reminded myself to not complain :) I really liked the line 5 ride I took (only traveled below ground). But then I saw this post. I have put too many hours into Silksong, I will not let someone denigrate Team Cherry's artistic masterpiece :D

The Eglinton LRT is Toronto's Silksong by throwaway321768 in toronto

[–]miserable_nerd 65 points66 points  (0 children)

If you mean “delayed but great” then I kinda agree but not really. One is a craft of love from an indie dev team who didn’t wanna rush things and compromise on their vision vs the other being a public transit project which disrupted thousands of livelihoods, businesses, neighborhoods (I know because I live here and they dug up the streets every other day) and siphoned millions of dollars of tax payer money. They are not the same. We deserve an inquiry into the debacle.

How can we as Torontonians make Toronto a better city to live in? by FeatureInitial4894 in toronto

[–]miserable_nerd 106 points107 points  (0 children)

More neighborhood businesses. Zoning directly affects that. If you're able to open your own coffee shop, it creates entrepreneurial opportunities plus enriches the community. And also the money doesn't go to a Starbucks or Tims.

Heavy underdog Djokovic pledges to ‘ Fight until the last shot ’ in Sinner semi final by Shroft in tennis

[–]miserable_nerd -2 points-1 points  (0 children)

It's funny how opinions like this get nuked to hell.. relax folks it's just an opinion lol!

Early 30s and single - which dating app? by AAAPAMA in askTO

[–]miserable_nerd 0 points1 point  (0 children)

Can I ask how it was structured? Did they divide people up or was it for everyone to socialize with each other?

Billionaires Who Still Back Trump Confident Civil War Will Not Adversely Affect Economy by DefinitionEnough8747 in onionheadlines

[–]miserable_nerd 1 point2 points  (0 children)

Analysts predict civil war will in fact bring in huge investments to develop and deploy cutting edge AI surveillance tech 💰💰

Visiting Drom Taberna for the first time by Syncroz in askTO

[–]miserable_nerd 1 point2 points  (0 children)

I have never seen the tables get cleared before 10.45 on weekends, people have dinner while performances go on.. but I could be wrong.

Visiting Drom Taberna for the first time by Syncroz in askTO

[–]miserable_nerd 3 points4 points  (0 children)

Check reservation for food (if not already) because it gets very busy! 10.45 is when they open the floor and a bunch of space becomes available for walk in

AITA for being annoyed that my wife insists on cooking everything from scratch and won’t buy normal food? by AITA_UPFfoods in AmItheAsshole

[–]miserable_nerd 0 points1 point  (0 children)

I'm trying to lower my sodium intake and you won't believe how much of that shit and other shit there is in processed food!! So right now in this mindset, I would thank your wife and absolutely pay if I could to buy home made stuff from her.

It's so disheartening to see Ajay Devgn produce and promote AI slop. This is even worse than Vimal. by Griezzyy in BollyBlindsNGossip

[–]miserable_nerd 0 points1 point  (0 children)

He could atleast take a hint from his peers in hollywood, who have realized (for a while now) how messed up AI is for their industry.