marmada

Will Cloudflare eventually open-source Pingora? I know there was a mention of open-sourcing it, but I haven't seen the code, which is a shame :/

I really like that for loops can be expressions. It seems obvious in hindsight, but hindsight is always 20/20 :)

Can someone confirm what intensity is high intensity?

E.g, I have a rowing machine that leaves mildly out of breath and makes my heart beat quickly, is that HIIT? Or is HIIT more like stair climbers, which cause me to almost collapse after doing them for 12+ minutes.

I've used Prisma before, and I will note that there pace of feature development seemed mind numbingly slow for a company as large as they were. Entirely possible I'm missing a lot of things, but it was just a big disappointment overall.

The good thing about all of this is that the law doesn't really matter. People will complain about copyright, but the tech is here and the law will follow.

Does anyone really thing this anti-Copilot case has a chance of winning when my guess is that Copilot adoption is exponential over time.

Strongest counter argument is the Supreme Court struck down abortion even though abortion was rising in popularity. So that's a bit worrisome.

I'm curious, what the is the bend of nix for your dev env vs using a docker container with everything pre-installed

This makes sense but also seems very annoying to do? E.g let's say you are storing state in the URL, and now the user wants to save it to their profile. You need to upgrade the state from "encoded into the URL" to "stored in my database", which seems annoying.

What is the reason structured logging is bad? I'm curious, as I felt like it made my life a lot easier.

I wonder if with Next.JS server components, we can just get rid of tRPC + trpc-sveltekit.

I was investigating doing a typescript compiler speedup. I think the time might have finally arrived where we can use ML to generate a faster compiler in a language like Zig.

Probably not for all portions of the compiler. But I think with some reinforcement learning, it ( ... might ...) be possible to automatically generate a robust Typescript parser in Zig.

I have a theory that in another decade ML models will do this better than any optimizing compiler -- similar to a hand written chess engine vs alpha go.

I'm a little more scared, I don't think a glorified Markov chain can -- for example -- explain monads in uwu speech.

It understands things to a degree for sure.

Ask it "why is this wrong" or try some of the "let's think this through step by step" prefixes

I think these days when you here someone say these LLMs are "markov chains" that's a lesson that they're 1. probably over 30 2. don't know much about neural nets :(

Transformers have a lot of fancy stuff going on in them: https://transformer-circuits.pub/2021/framework/index.html.

To share a good Copilot debugging story, once I was confused why some CSS wasn't working to make a div full width. I typed "The reason this div is not expanding to full width is:" and Copilot told me the answer was that tailwind has a max-width: 65ch attribute (or something like that). That turned out to be the issue.

These days, when Copilot writes code, if there's something I don't understand I assume it's me whose is wrong & not Copilot.

All these people whining about copyright need to consider: is the issue Copilot, or is the issue copyright.

Humans are trained on petabytes of data. From birth, we ingest sights, sounds, smells etc. Imagine a movie of every second of your life. And an audio track of every second of your life. Etc. Etc.

Humans get a lot of data.

Wasmtime / WASI does this extremely well.

This doesn't make any sense in this context and I think you know it bud.

I was making the point that stable diffusion != JPEG compression

By that case all art should be copyrighted since our brain stores a highly compressed version of everything we've seen.

I wager 100 TB => 4GB is different from JPEG compression and more similar to what happens in our brains. "Neural compression" so to speak

To all people complaining about bugs: 1. It's easy to find flaws in hard, ambitious projects. All ambitious projects start out as WIPs. 2. It is much harder to do an ambitious project.

Try to be in the 2nd group.

How does this work with things like WASI--back when I did WASM things I recalled that WASM relies on imported functions for things like Io, etc. so what functions is the Docker runtime providing here?

My hope (for codex, stable diffusion, etc.) is that the models become so popular that it will be impossible to legislate them for issues like copyright. I think there might be a limited window before legal repercussions start happening -- so hopefully the models are in extremely wide spread use by then

One thing I'm curious about is, fundamentally it looks like Zig is going to be the more popular language. I don't know why, but that's just my gut feel. It looks like Zig will get the traction that D never did.

So when I see comments like this that say "D also has X feature", I'm curious about why D didn't take off but Zig (likely) will.

My guess is the true reason is that HN has many people who are scared of threats to their identity.

Take for example all the comments about how AI won't be good enough. My best guess at what is going on is HN people feel threatened by AI (they realize doing standard programming is nothing special), so they are forced to downplay it.

It's like the famous quote: "it is hard to convince a man of something when his job depends on not understanding it", or whatever the quote actually is.

Another example is when people bash (even technical) crypto posts with very generic crypto bad claims. I roughly expect someone who doesn't know anything about, e.g zkSNARKs, to comment generic crypto-bad claims. They don't have enough knowledge to actually engage with the article so they post unrelated criticism.

The last thing is Dunning-Kruger. The Dropbox story is a solid example of Dunning-Kruger at work.

I think Copilot will make cheating easier. A benefit of this is that employers may look at side projects much more, which are harder to cheat

This is the most "just use rsync instead of Dropbox" HN-style argument I've ever heard.

It's sufficiently comical to be satire

This is too funny. I predicted that when I entered this post the first comment would be HN people bemoaning complexity. And indeed it was.

The commenter's proposed solution was WASM. Wasm doesn't solve the issues in this post. What does this post talk about:

- serving content from the edge (wasm doesn't do anything there) - asset optimization (wasm doesn't help)

- pre-rendering complex pages to static HTML+css (wasm doesn't help)

More broadly, minimizing network trips, pre-fetching data, etc. etc. these are all things where Wasm won't help any more or less than JS.

This seems good. Yes, good. No one complains when Tesla gives free software upgrades to car owners. So to be consistent, Tesla should have the ability to also enforce software limitations.

I think it is strongly likely that Copilot will be 1 million times better by the end of the decade. Increasing compute, new techniques, etc

The top comment on this post is complaining about a bug in Copilot generated code. 1 million times better Copilot won't do that.

I do not understand why this leak portrays Uber badly.

Is there anything wrong with having a kill switch? Is there anything wrong with breaking laws that entrench local monopolies.

Laws are not always good. I won't say this is the next civil rights movement, but sometimes extrajudicial measures are needed for reform.