chrischen

5 ms·

1.
by chrischen 7d ago
Apple tv was a miss as well for like 4 generations.
2.
by chrischen 18d ago
Yea i've been frequently, and maybe last year being the most recent. There's definitely been a revolution in development but in my opinion public toilets are probably the least revolutionized out of everything in China.
3.
by chrischen 23d ago
China, clean?? Some of the worst toilets, public or private, I've encountered in China. Can't say how Europe compares but I'd rank China a distant last amongst Australia, Vietnam, Japan, America, Canada, and South Korea (ther
4.
by chrischen 1mo ago
To be fair, closing the straight of hormuz has probably put a dent in carbon emissions.
5.
by chrischen 1mo ago
I've been using Resgraph, but it's based off Rescript, a fork of ocaml.
6.
by chrischen 1mo ago
Curious how this compares to Melange which is used by Ocaml shops as well to double up on Ocaml for both front and backend (ahrefs being the major user and sponsor). Does this mean giving up a lot of the JS ecosystem (React, graphql, etc)?
7.
by chrischen 1mo ago
This is the workflow that Vs Code Copilot does. All the AI generated code changes are in a git worktree and you can step through them all. This is what I missed after Claude forced third parties to start charging API pricing and now I have
8.
by chrischen 2mo ago
Whew... reading just the title I thought this was about me having to write code by hand.
9.
by chrischen 3mo ago
They've also been making things smaller. Some would argue that it's a cultural thing, but being poor also means you have to start adopting austere cultural habits as a coping mechanism.
10.
by chrischen 3mo ago
If I understand the correctly the initial models were done by scraping the internet off public data. They now probably pay for access, especially to companies that hold the data. Even in the latter case, the content creators probably don&#x
11.
by chrischen 3mo ago
They already "stole" it. They aren't giving it back and they've established their valuations based off of that. If they start paying now, it's simply going to be impossible for any more upstarts to do this or even r
12.
by chrischen 3mo ago
This is the same argument people were making about how stealing music was the same as stealing a physical product.
13.
by chrischen 4mo ago
Yes but all the AI companies took all the public data, so when you pay for an AI model you are paying for the marginal service of building a model off that data, not for the data itself. What we should do is ensure that the data is availabl
14.
by chrischen 4mo ago
One the things I hate about Google is being forced to have location-aware search. I love how Kagi actually lets me override the country.
15.
by chrischen 4mo ago
I guess it doesn't matter if they allowed OpenAI to do it or not because it seems other models were allowed to train off it too. I guess we should probably be giving kudos to GitHub and Microsoft for not trying to charge for access to
16.
by chrischen 4mo ago
What exactly did they train? Copilot is powered by claude, gemini, or ChatGPT these days. Did they train autocomplete? I mean the code is open source so anyone can scrape it and train it too. I'm kind of glad they did train it because
17.
by chrischen 5mo ago
The US starts wars… they just often happen to be with dictatorships. The US definitely also supported dictatorships (like Taiwan and South Korea). You can argue all day about whether A is slightly more rotten than B, but if they are both ro
18.
by chrischen 5mo ago
The US starts wars… they just often happen to be with dictatorships. The US definitely also supported dictatorships (like Taiwan and South Korea).
19.
by chrischen 5mo ago
Whether a country massacres its own people is not really a good litmus test since there are countries that treat its own citizens well but foreigners really badly. One such country is… oh the US!
20.
by chrischen 6mo ago
A photo is easy to take but hard to reproduce.
21.
by chrischen 6mo ago
The whole concept of intellectual property rights is a social and legal construct designed to promote innovation in an economy. If you don't care about that, then there really isn't any moral or immoral aspect to it. The immoralit
22.
by chrischen 7mo ago
Yesterday I was trying to figure out if my expired nacho dip would be safe to eat and wanted to know how much botulism would be toxic if I ate it and so I asked Claude. It refused to answer that question so I could see how the current safeg
23.
by chrischen 8mo ago
It beeps at you if you stop paying attention, which is superior. Hands on wheel is an arbitrary design decision more likely to placate what a layman would think is necessary to ensure safe AI steering.
24.
by chrischen 9mo ago
This doesn't mean that it's over for SO. It just means we'll probably trend towards more quality over quantity. Measuring SO's success by measuring number of questions asked is like measuring code quality by lines of cod
25.
by chrischen 9mo ago
To be fair with the languages I use there are only a finite number of ways a particular line or even function can be implemented due to high level algebraic data structures and strict type checking. Business logic is encoded as data require
26.
by chrischen 9mo ago
Was it the github issues copilot integration? I found that to be slow compared to natively running copilot in the IDE.
27.
by chrischen 9mo ago
With coding agents AI almost never manually type code anymore. It would be great to have a code editor that runs on my phone so I can do voice prompts and let the coding agents type stuff for me.
28.
by chrischen 9mo ago
I also try to do verbose type classes using Ocaml's module system and it's been handling these patterns pretty well. My guess is there is probably good documentation / training data in there for these patterns since they are
29.
by chrischen 9mo ago
Actually I found the coding models to work really well with these languages. And the type systems are not actually complex. Ocaml's type system is actually really simple, which is probably why the compiler can be so fast. Even back in
30.
by chrischen 9mo ago
We already have verification layers: high level strictly typed languages like Haskell, Ocaml, Rescript/Melange (js ecosystem), purescript (js), elm, gleam (erlang), f# (for .net ecosystem). These aren’t just strict type systems but the

More ›