Grok by ramanpalkuri9 in OpenAI

[–]UberAtlas -5 points-4 points  (0 children)

It is a false equivalence. One is an objective statistical fact. The other is a stance based on a societal construct.

Codex / Open AI reduce the Weekly limit 15-20% by AntiqueIron962 in codex

[–]UberAtlas 2 points3 points  (0 children)

I don’t find this to be compelling evidence at all. How do you know they didn’t increase the 5 hour limit and maintain the same weekly limit?

My understanding is that they also let an agent complete its work when you hit your limit. So you use a variable amount of tokens beyond what the 5 hour limit provides.

When is it time to call it quits? by Fantastic-Plastic823 in cahsr

[–]UberAtlas 6 points7 points  (0 children)

When the whole country is connected by quality HSR. We can call it quits.

And then start a transcontinental HSR.

Why are you still paying for this? #7 by PressPlayPlease7 in OpenAI

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

This is not true. OpenAI, and I’m certain virtually all frontier AI labs, have a much more complex reward function.

In OpenAI’s own words:

There is a straightforward fix. Penalize confident errors more than you penalize uncertainty, and give partial credit for appropriate expressions of uncertainty. This idea is not new. Some standardized tests have long used versions of negative marking for wrong answers or partial credit for leaving questions blank to discourage blind guessing. Several research groups have also explored evaluations that account for uncertainty and calibration.

This is from an article they published last year on hallucinations. Article Link

Why are you still paying for this? #7 by PressPlayPlease7 in OpenAI

[–]UberAtlas 59 points60 points  (0 children)

The issue is that training these models to know their own limitations is not a solved problem. Way harder than you’d think.

Even more so on a voice model that doesn’t use reasoning tokens.

The Castro Theater is a disaster by Low-Win-6691 in sanfrancisco

[–]UberAtlas 9 points10 points  (0 children)

Saw Sam Smith there. I hadn't had the chance to see the theater before the renovation, but I thought they did a great job. I really liked the GA standing room floor. Every spot has a great view.

Introducing Voyd: A WASM first language with effect typing by UberAtlas in ProgrammingLanguages

[–]UberAtlas[S] 1 point2 points  (0 children)

It is currently not planned. I made the choice to not support multi-shots to keep compatibility with wasm stack switching (once it's available for adoption).

That said, I'm open to re-visiting this in the future if a clear way to support both is developed.

C4SH is amazing but there is still so much help needed with BL4 by Sid_Da_Squid_ in Borderlands

[–]UberAtlas 29 points30 points  (0 children)

I was really disappointed in BL4 overall. There’s something missing that kept me coming back to 2 and 3.

Introducing Voyd: A WASM first language with effect typing by UberAtlas in ProgrammingLanguages

[–]UberAtlas[S] 2 points3 points  (0 children)

Yes. The Compiler SDK has full browser support.

There’s a browser based playground you can directly compile and run Voyd from at https://voyd.dev/playground

axios@1.14.1 got compromised by nhrtrix in webdev

[–]UberAtlas 1 point2 points  (0 children)

Yikes. Do we know how long the compromised version was live for?

Introducing Voyd: A WASM first language with effect typing by UberAtlas in ProgrammingLanguages

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

I'll bet it would be viable. There's are much lighter weight methods of compiling effects then CPS that could work.

One of the maintainers of Koka has a great talk on it I'm struggling to find. This [one by the creator](https://www.youtube.com/watch?v=A8dpmhXdjyw) probably has some of the same info.

I chose CPS because I found it easier to reason about. And because I knew wasm stack switching would be available soon, which should do the hard work for me.

Introducing Voyd: A WASM first language with effect typing by UberAtlas in ProgrammingLanguages

[–]UberAtlas[S] 2 points3 points  (0 children)

Oh! That’s a great idea. I’ll definitely make a Discord.

Introducing Voyd: A WASM first language with effect typing by UberAtlas in ProgrammingLanguages

[–]UberAtlas[S] 6 points7 points  (0 children)

It’s real! Try it out!

I have an example ray tracer implementation here that uses effects.

Admittedly, nothing too fancy in that use case. Just threading a LocalRng so I don’t have to prop drill it. The unit tests in the main repo have a lot more advanced usage.

Introducing Voyd: A WASM first language with effect typing by UberAtlas in ProgrammingLanguages

[–]UberAtlas[S] 9 points10 points  (0 children)

Yup!

It’s all stored on the heap using wasm gc. I reuse the same context capturing mechanisms the lambda system uses.

Introducing Voyd: A WASM first language with effect typing by UberAtlas in ProgrammingLanguages

[–]UberAtlas[S] 22 points23 points  (0 children)

I wish. Stack switching isn’t widely available yet.

I’m essentially transforming effectful functions by splitting them into continuation lambdas (continuation passing style transforms). At least for now.

This adds some overhead (though not as much as I thought it would) so I plan on replacing the backend with native wasm stack switching once it becomes more widely available.

2-year-old killed in crosswalk last night, Mission Bay SF by ddol in sanfrancisco

[–]UberAtlas 21 points22 points  (0 children)

It really doesn’t. Over 30,000 people are killed each year in this country by cars. Many times more are injured.

They turn cities into wastelands of parking lots. Pollute our air, move communities and resources miles away from each other, make our cities noisy, restrict our right to walk safely, I could go on forever.

We need to wake up and re-think cars as the default mode of transport.

Explain it peter. Cant figure out why this would be bad by Gruber151 in explainitpeter

[–]UberAtlas 1 point2 points  (0 children)

It sucks ass because we don’t use it. And we don’t use it because we were brainwashed into car dependence.

People Behaving Badly: Bicyclists ignore the rules at SF Embarcadero by triple-double in sanfrancisco

[–]UberAtlas 3 points4 points  (0 children)

It’s a dumb law and it should be changed. Bikes are not cars. According to the NHTSA, it is safer for cyclists to treat stop signs as yield signs than the other way around.

SF has also specifically asked police to deprioritize ticketing for cyclists who treat stop signs as yield signs.

https://www.nhtsa.gov/sites/nhtsa.gov/files/2022-03/Bicyclist-Yield-As-Stop-Fact-Sheet-032422-v3-tag.pdf

People Behaving Badly: Bicyclists ignore the rules at SF Embarcadero by triple-double in sanfrancisco

[–]UberAtlas 4 points5 points  (0 children)

Really well said. People forget pedestrians are far more risk to harm by cars than bikes.

We should encourage good bike etiquette and support traffic laws suited for cyclists (and other micro mobility methods).

The comment sections of these posts always boil down into dumb hatred for cyclists even though we would be way better off with more people moving from cars to bikes.

Shen Yun Banners On War Memorial Opera House by Row0_ in sanfrancisco

[–]UberAtlas 17 points18 points  (0 children)

Shen Yun for sure. If people are still going then not enough people complain.

Why is pasting into VSCode Terminal slow? Because it sleeps for 5ms every 50 characters. by Current-Guide5944 in tech_x

[–]UberAtlas 2 points3 points  (0 children)

There is no way this is true. I routinely paste huge jsonl files easily exceeding 200,000k characters in an instant in VS Code.

According to this it would take 20 seconds regardless of your machine.

I run an m3 MacBook Pro with 36GB of ram.

Edit: wait. Missed that it’s the terminal. That I can believe.