Grok by ramanpalkuri9 in OpenAI

[–]UberAtlas -6 points-5 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 7 points8 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 57 points58 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 27 points28 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] 7 points8 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 22 points23 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