bob1029

bob1029

昨天讨论

[延迟]

bob1029

昨天讨论

[延迟]

bob1029

昨天讨论

https://news.ycombinator.com/item?id=48630029#48631807

bob1029

昨天讨论

[延迟]

bob1029

前天讨论

[延迟]

bob1029

前天讨论

> Software of this kind of complexity has all kinds of behavior that has never been broken

This space of things is astronomically larger than the space of things expressly covered by any test suite.

"Program testing can be used to show the presence of bugs, but never to show their absence." -Edsger W. Dijkstra

bob1029

前天讨论

Project Kilby is probably the most intelligent approach to this problem so far.

https://www.chevron.com/newsroom/2026/q2/chevron-signs-20-ye...

The idea is to bring the data centers, power generators and energy supply together in the ~same physical space so the only thing you have to transmit is data. Moving energy is way more expensive than moving information.

bob1029

3天前讨论

I've been running a custom enterprise agent on 5.4 and it's been very good so far. I am looking forward to trying it with the monster model to see if we can approach some additional business cases.

I think if you are not seeing reasonable performance in your agent loops as of 5.5, it's likely there is a deficit with how the loop, prompt or tools interact with the environment.

bob1029

3天前讨论

The eCVT is definitely an end game transmission technology. Arguably the simplest drive train you can buy today short of pure electric. Even a manual transmission is more likely to fail.

bob1029

3天前讨论

It's pretty amazing what you can get in terms of power density these days.

https://www.amazon.com/Digital-Power-Amplifier-IRS2092S-Chan...

bob1029

3天前讨论

Here's the official docs if it helps

https://learn.microsoft.com/en-us/dotnet/csharp/roslyn-sdk/t...

bob1029

3天前讨论

I think semi-automation with contextual and domain-specific tooling is the key to the best quality outcomes.

For example, with browser automation, giving the LLM raw access to the literal DOM generally results in disaster for tasks that need to be stable across more than 5-10 interactions. The better approach is to write an intermediate layer that understands each view and can provide a list of tools that are precisely tailored for each case. E.g.:

  https://myapp/Login
  - <raw dom - hundreds of kb>
  - Available Tools: <arbitrary javascript>

  https://myapp/login
  - We detected that this is the application's login page. 
  - It has the following visible elements:
    + Username
    + Password
    + Login Button
  - Available Tools:
    + PerformLogin
    + Quit

The later case takes a lot more effort, but it also reduces a Turing complete problem space into a binary decision at this particular step.

bob1029

4天前讨论

I don't think kernel goes far enough. We are pushing down the wrong path. We don't need kernel level anti cheats.

I think there should be real world legal consequences for exploiting information systems like this. "Gaming" shouldn't magically exempt a business sector from reasonable protection against fraud and abuse. Just because it's easy to do or involves bits in a computer (that isn't physically on the game developer's premises) should not magically exempt bad actors from prosecution. Yes, it's your computer, those are technically your bits, but this is about how these things are used and the context within which they are.

We have the CFAA in the US, but you'd need a fairly loose interpretation to cover most forms of cheating today. I don't really see the distinction between client and server when the actions taken on the client side cause a dramatic loss in quality of service for other clients connected to that same server or p2p relay.

South Korea has laws on the books as of 2016.

https://dotesports.com/overwatch/news/ow-hacker-sentenced-pr...

bob1029

4天前讨论

Honeypot & statistics are a much more interesting avenue of anti-cheat to me. The most egregious cheaters tend to get banned the most quickly with these techniques (e.g. a 200-1 K/D ratio = a lot of samples per unit time).

When it comes to cheating in video games, I subscribe more to the Dune philosophy than the LOTR philosophy. The ends (experience) definitely justify the means. Making sure that all cheaters are punished ~equally regardless of the effect of their infractions is fantastic in principle, but I'd rather if we could simply remove the ones that are obviously & openly ruining the experience.

False positives suck, but there is no reason to pander to the .01% performers if you are trying to keep a multiplayer game community alive. Esports has demonstrated this is a terrible approach. We had community servers that would ban people simply for being too good before all the matchmaking stuff started up. The anti-cheat was vibes based and arguably superior to anything going on today. It wasn't "fair", but it was generally a much better experience as a player.

bob1029

4天前讨论

> We will reduce management layers to no more than 5, and where possible, 3.

This reads like something from The Office.

bob1029

5天前讨论

> Computer science is neither about computers nor is it a science.

https://youtu.be/-J_xL4IGhJA

bob1029

5天前讨论

I pitched this to management as a way to get a very expensive fine tuning job done for free. They're not quite across that line yet but we're getting closer every day.

bob1029

5天前讨论

I'm struggling with the assertion that these models cannot provide reasonably deterministic guarantees.

I am using gpt to populate JSON objects conforming to a list of natural language constraints for purposes of generating fake customers. I am finding that gpt5+ never fucks up. Not even a little bit. I've ran this test hundreds of times with 20+ constraints and it's been perfect every time.

Stable information yields stable control flow. Humans are much more likely to forget one of the many constraints during testing. This happy mistake may incidentally cover an edge but it also means we lose coverage elsewhere.

I think whether or not the LLM should be allowed to directly author deterministic control flow (code) is mostly the same thing. If you have a lot of constraints you want to satisfy all at the same time, this can give you a hit very close to the ideal target very quickly. Not knowing exactly what you want is when the LLM takes you for a ride.

bob1029

5天前讨论

> I shot down similar arguments in favor of outsourcing overseas for years. Outsourcing any critical logic to an LLM is even worse.

Outsourcing to another continent of humans and supplementing workflows with LLMs are entirely different operational universes. I think it is fair to put them on the same spectrum, but they're really far apart.

I'd argue outsourcing is a far more aggressive abdication of ownership of the technology than bringing an LLM agent in house and having it light a few fires under a few asses.

bob1029

5天前讨论

https://en.wikipedia.org/wiki/Traffic_bollard

提交

Pseudo-Chinese

IBM 4769

Evolution "Doesn't Need" Mutation. Here's Proof. - Blaise Agüera y Arcas [video]

Recursive Knowledge Synthesis for Multi-LLM Systems

WebView2, a browser for WinForms in .NET 5

One Killed in train derailment near Barcelona days after deadly rail collision

How to build agents with filesystems and bash

Recursive Language Models W: Alex Zhang [video]

Union Pacific 4014

Making Deltron 3030 [video]

Can a Modified Rivian Take the EV Cannonball Record? [video]

Bepuphysics 2.4 [video]

EA has released the Godot-based Battlefield 6 Portal SDK

Effects of the entropy source on Monte Carlo simulations

"Code Your Own Engine": Gearbox CEO Responds to Borderlands 4 Criticism

评论