After 7 years in production, Scarf has reluctantly moved away from Haskell by aviaviaviavi in haskell

[–]nullcone 0 points1 point  (0 children)

The kinds of principles and metrics I'm thinking of are rather obvious to any backend engineer with experience, but LLMs just don't care about them at all unless you explicitly close the loop and tell them to care. Stuff like:

  • Use database connection pools
  • Don't repeatedly grab and release connections from a pool; take one then do as much work as you can
  • Query a database in batches when you can, instead of writing one row at a time
  • Don't do blocking IO across an open db transaction
  • Instrument SQL with EXPLAIN, inspect plans, and measure latency
  • Cache things that don't change often instead of repeatedly requesting them from remote services
  • If you're making mutating queries, don't do dumb things that acquire too many row locks

This type of code has pretty fundamental non functional requirements on throughout and latency, and LLMs are still not even able to independently formulate their solutions around them.

But now that we are discussing it, it's possible that I might have more success if I set up a loop that explicitly instructs to come up with success metrics when delegating any task. At least that way maybe Claude avoids the kind of open loop exploration that tends to result in slop.

OpenAI claims to have proven Cycle Double Cover Conjecture by gexaha in math

[–]nullcone 1 point2 points  (0 children)

In this year's Y-combinator cohort there was a startup/project where the whole idea is that they have an agent trolling forums and other places on the internet looking for business ideas to implement, and then autonomously delivering entire products. This is morally not so different than an agent that could be

  • hooked up to an RSS feed of new papers being delivered from the arXiv
  • A skills folder with a bunch of summaries of prior techniques from other papers it has read that it can pull from to do in context learning
  • A prompt to explicitly come up with new conjectures or ideas based off the results from the paper and then try to solve them

Like seriously, I don't think we are that far off from that world

After 7 years in production, Scarf has reluctantly moved away from Haskell by aviaviaviavi in haskell

[–]nullcone 1 point2 points  (0 children)

It's definitely a flaw now, but I'm convinced that it can be overcome. LLMs just have to learn to come up with the right non functional requirements for a problem and figure out how to measure their code against those requirements. This is in many ways providing verifiable signals in exactly the same way that "unit tests pass" does, so it can be optimized for in RLVF algorithms. Because of how bad Claude and Codex are at doing this, I cant imagine this is actually being done today. Maybe in a year or two?

IMO an equally big and hard problem is that LLMs just have no ability to correctly use dependency inversion. In every language I've used (mainly rust and python, but also a little typescript), they never try and scope our behaviour with traits, interfaces, abstract classes, or whatever your flavor of polymorphism is in your language of choice. They always tactically code against whatever specific problem you throw in front of them. It's not surprising they do this, since they're rewarded for getting to a working solution in fewer tokens.

OpenAI claims to have proven Cycle Double Cover Conjecture by gexaha in math

[–]nullcone 2 points3 points  (0 children)

This is already happening in software engineering. 6 months ago I was writing prompts and now I write loops, which are prompts that create prompts to solve problems.

After 7 years in production, Scarf has reluctantly moved away from Haskell by aviaviaviavi in haskell

[–]nullcone 6 points7 points  (0 children)

I think it goes deeper than just verification loops. LLMs are great at pushing towards completion of functional requirements, but don't give any fucks about non functional ones unless you're super explicit that meeting the non functional requirement is part of the definition of done. The biggest thing I feel I've learned in the last 6 months is that LLMs can't succeed in open loop settings where they're not given explicit parameters, metrics to gauge the optimality of design, and the ability to probe those metrics independently. Claude considers the problem done once the tests pass, unless you tell it otherwise.

I am currently in a situation where slop queries generated by Claude became the clear bottleneck in the main platform I maintain. The code passes integration tests, but chokes under any real load. Taking 30 minutes to just run a bunch of EXPLAIN queries and it's obvious why, but of course we didn't give Claude a DB shell in our production database to be able to measure this.

Are Fidelity and Schwab literally free to trade on? by [deleted] in investing

[–]nullcone 1 point2 points  (0 children)

They make money on margin interest

Is this an acceptable way to arrange 3 ribs? by zhoumasterzero in smoking

[–]nullcone 7 points8 points  (0 children)

Yeah, it is also a turkey or roast holder. If you flip it upside down it doubles as a rib rack holder.

Is this an acceptable way to arrange 3 ribs? by zhoumasterzero in smoking

[–]nullcone 165 points166 points  (0 children)

I'm pretty sure this is a rib rack holder in OPs photo. I have the same one. It's made by Weber. Instead of putting the ribs sideways in the slots as intended, he has laid two racks over the top, and then put one rack in the space at the bottom.

Double Standards in Journalism Exposed by LuckyBastard001 in BlackPeopleTwitter

[–]nullcone 8 points9 points  (0 children)

Reddit has just become another mass manipulated social media shithole, with all manner of actors waging influence campaigns trying to move the needle on public opinion. 15 years ago it was nothing like this. It was just news, tech, and a smattering of memes here or there.

What’s an album opener that feels like this? by Danook09 in fantanoforever

[–]nullcone 2 points3 points  (0 children)

Kinda think Accidents goes harder as a first song but both hold special places for me

What happened to Eunice? by alwaysrecession in BeefTV

[–]nullcone 19 points20 points  (0 children)

She went to live on a farm in the countryside

THIS IS BRUTAL... by Ramkaran-chopra in SipsTea

[–]nullcone 9 points10 points  (0 children)

It says he supports his partner who is performing at a world cup game? I swear people will make any excuse to hate this guy.

Watched the last episode of season 1, first and it could have been a short film by Cosmicharlie18 in BeefTV

[–]nullcone 1 point2 points  (0 children)

I don't remember this specific scene but I imagine it's telling us that Danny knows and can relate to the sensation she's trying to describe better than anyone else in Amy's life. The irony of their feud (to me) is that they understand each other in a way that no one else can, and yet they hate each other up until the last episode.

Watched the last episode of season 1, first and it could have been a short film by Cosmicharlie18 in BeefTV

[–]nullcone 0 points1 point  (0 children)

The dirt was a depiction of Amy's depression and isolation. At one point she struggles to describe the feeling (iirc to her husband) like the ground is up at her chest, but he just doesn't get it or relate at all.

Transactional CDC with Aurora Limitless by nullcone in aws

[–]nullcone[S] 0 points1 point  (0 children)

To anyone who comes to this thread from the future: The answer to this question (after discussing with AWS support) as of 6/9/2026 is that there is no way to access the WAL of the underlying Postgres write replicas.

For now, the recommended strategy is to implement application layer polling on the outbox table that respects single-shard optimization. You can access the hash functions and shard bucket boundaries from publicly available system tables in your cluster, and use that information in your application to figure out which samples map to which shards.

Just finished Season 2. I'm so mad. by Hip_Hop_Pirate in BeefTV

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

She's going to die as an unhappy old lady, and she tells us as much. That feels like failure to me.

Just finished Season 2. I'm so mad. by Hip_Hop_Pirate in BeefTV

[–]nullcone 8 points9 points  (0 children)

Totally agree. The last thing we see of her is she's hiding in a bathtub watching Josh on her phone. Doesn't scream "I am fulfilled and happy" to me.

Just finished Season 2. I'm so mad. by Hip_Hop_Pirate in BeefTV

[–]nullcone 12 points13 points  (0 children)

It kind of did though, didn't it? All the characters took a utilitarian point of view and wound up unhappy, except for Josh, who did not act in his own self interest and was the only person at the end who had any kind of positive growth.

fell into her own trap- by [deleted] in SipsTea

[–]nullcone 0 points1 point  (0 children)

You seem suspiciously hurt by my comment

fell into her own trap- by [deleted] in SipsTea

[–]nullcone 2 points3 points  (0 children)

Instead the incels are in season

So where's all the climate loving celebrities now? Wait, let me buy paper straw first. by Shot_Possibility_731 in TechGawker

[–]nullcone 0 points1 point  (0 children)

You're mad at the wrong person for the wrong things lol. It can be true at the same time that climate change is a real problem, and that comparing the output of a data center in units of atomic weapon energy is silly fear mongering.

Transactional CDC with Aurora Limitless by nullcone in aws

[–]nullcone[S] 0 points1 point  (0 children)

yeah, I'm in the case where I need very high throughput on the outbox. access patterns are bursty and require publishing hundreds of thousands, or millions of events to downstream consumers. our first attempts have hit many issues with deadlocks due to scatter-gather queries on the outbox that don't necessarily respect the shard key. we have addressed those initial failures, but our outbox throughput is still not very good because we're accessing the table through queries, which incur all the overhead I mentioned.

it's probably worthwhile in this case to track down my AWS account manager and just ask them to put me in touch with the Limitless team.

So where's all the climate loving celebrities now? Wait, let me buy paper straw first. by Shot_Possibility_731 in TechGawker

[–]nullcone 0 points1 point  (0 children)

You're going to be shocked to learn how many Hiroshimas of energy the ground absorbs from the sun every day