In my head I have a category for reliable restaurants to go to when you are planning something with people and you want to make sure to have a consistent, predictable experience and restaurants that are worth waiting for or going at a weird time.
810 karma · joined March 17, 2019
In my head I have a category for reliable restaurants to go to when you are planning something with people and you want to make sure to have a consistent, predictable experience and restaurants that are worth waiting for or going at a weird time.
Reasoning/chain of thought seem like diminishing returns to me and I worry they are a bit of a dead end/local optimum. Reasoning models call the language models tens of times so it will be tens of times less efficient than the underlying language model but the quality is not tens of times better. It also feels finicky to me. The bump from Chat GPT-3 to Chat GPT-4 was a reasonable positive shift across the board. The reasoning models produce answers with a different vibe, maybe better overall but worse at some tasks better at others. I can use O1 at no additional cost so I do use it fairly often but I often consciously opt for 4o either because I prefer the results of the quality boost from O1 isn't worth the wait.
I don't even necessarily think we disagree on the conclusion. In my opinion, our notion of "reasoning" is so ill-defined this question is kind of meaningless. It is reasoning for some definitions of reasoning, it is not for others. I just don't think your shift of the burden of proof makes sense here.
I love types and advocate their use whenever possible. They help a lot but they are a spectrum. Thanks to static analysis tools like TypeScript or even eslint you can get a bit towards automated checks on front end code. Also even compiled languages can miss some things, different languages have type systems that give you different kinds of guarantees. For example, Java has NPEs that can't be caught at compile time.
This also doesn't bode well for AI progress. It feels like the kind of thing you release if you want to release something but haven't made much progress on improving the fundamental language model. Even chain of thought itself, while interesting, is a bit disappointing compared to language model improvements. It is more comparable to automated prompt engineering than a fundamental improvement of the model to represent knowledge and problem solving. This development seems to be doubling down on this direction.
Meanwhile, we take it for granted that there is a protocol for audio calls and text messages but not for video calls. I would like to more easily video call people with iPhones, and doing so would be technically possible but I can't because Apple benefits from the network effect. If I were to get an iPhone it would not be because Apple did a better job at creating a video call feature, it will be because people I know have iPhones and I want to call them. This seems like it gives incumbents in the space a large advantage because they can compete on having a user base and not on quality.
Ironically, Apple itself developed such a protocol for events and RSVPs (ICS), at a time when they didn't have market dominance. This caught on and it is great. I can make a calendar event in Google Calendar, Outlook, or Apple Calendar and invite anyone from any of those platforms. They can RSVP and I can track their RSVPs and they can also create events in their systems and invite me. This is the kind of thing I like to encourage where possible.
If this approach doesn't really generalize well, it negates a lot of the usefulness of these methods and suggests we are further away than we might think.
IAC is complicated, tedious, poorly documented, risky to deploy, and never perfectly aligns with what is actually going on in production but it is still better; a lot better. Manual infrastructure is also all of these things except you have nothing to grab onto if you are trying to understand an environment and what is safe to change.
If your app is very simple and you can use an out of the box solution, you should avoid IAC. But the moment you want to do something custom you need it.
Also, I don't think trying to emulate AWS's support and consistent API makes sense as a strategy for other cloud providers. They will never beat AWS at their own game, it is light years ahead. If cloud providers want to survive they need to fill a different niche and try different things.
I know this is an unpopular opinion but I think google cloud is amazing compared to AWS. I use google cloud run and it works like a dream. I have never found an easier way to get a docker container running in the cloud. The services all have sensible names, there are fewer more important services compared to the mess of AWS services, and the UI is more intuitive. The only downside I have found is the lack of community resulting in fewer tutorials, difficulty finding experienced hires, and fewer third party tools. I recommend trying it. I'd love to get the user base to an even dozen.
The reasoning the author cites is that AWS has more responsive customer service and maybe I am missing out but it would never even occur to me to speak to someone from a cloud provider. They mention having "regular cadence meetings with our AWS account manager" and I am not sure what could be discussed. I must be doing simper stuff.
People also want to define conscious in terms of the concept they feel is most importantly different about humans. So this definitions conversation gets mixed with a what concepts are important conversation.
For example, the thing that I think is important is subjective experience. I think this is the most important difference between beings that need to be given moral consideration and those that don't and this is always what I have thought of as consciousness. However, I often have conversations where I am just talking past someone because they are interested in something else entirely. I hope we can start defining this upfront and having separate conversations here.
I often hear the lack of productivity growth in the construction industry used as a justification for why companies like this are needed but you could also interpret that as the absence of incentives to increase productivity.
I am not quite sure what the bottleneck is, but it seems related to a combination of zoning, the ever-rising cost of land, housing's dual role as a commodity and an asset, a highly fragmented industry with perverse incentives, and interests entrenched by a combination of momentum and policy.
However, there is just more going on in an event sourcing model. Instead of saving data to a location and retrieving it from that location you save data to one location, read it from another location, and you need to implement some sort of linker between the two (or more).
This also comes down to my personal subjective experience. I actually really like event sourcing but I have worked on teams with these systems and I have found that the majority of people find them much harder to reason about than traditional databases.
From what I can tell in the article it seems their differentiator is Event Sourcing and having arbitrary complex index builders on top of the events. It seems similar to EventStoreDB[1].
I have always been interested by the concept of an event sourcing database with projections and I want to build one eventually so it is interesting to see how they have approached the problem.
Also they mention on their site:
> Rama is programmed entirely with a Java API – no custom languages or DSLs.
It makes sense why they have gone this route if they want a "Turing-complete dataflow API" but this can be a major barrier to adoption. This is a big challenge with implementing these databases in my opinion because you want to allow for any logic to build out your indexes/projections/views but then you are stuck between a new complicated DSL or using a particular language.
1: https://developers.eventstore.com/server/v23.10/#getting-sta...
I live in a mildly dense city and a lot of my neighborhood uses street parking. I almost never drive for short trips and a major reason I got a car at all is for longer more infrequent trips. I'd be happy to take a train instead but it is twice the price of flying and takes twice as long as driving. Instead of trains we'll get EVs and their infrastructure subsidized, no matter how much it ends up costing.
It's not just direct subsidy. Some local ordinances now require buildings to provide chargers so people who don't drive will pay more in housing costs.
Sure it is possible but we have way more evidence neurons have a sensory component, or at least things made of neurons.
Are people who live in apartments just out of luck then? Discouraging investors from owning single family homes could encourage more speculation on multifamily homes.
> Having a (val, err) tuple IS more easy than returning a monad.
Arguments about which concept is easier for people to understand pretty quickly descend into subjectivity but I don't believe this is universally true. Why am I getting a value when there's an error? What do I return as my value when returning errors? Explaining to someone that a function returns (val, err) and only one of these values will be significant is more or less the same as describing a result.
Option is even simpler. It's a list that can have at most one item. Or, you know how in python you can set a variable to None? Here's how to do it in a strongly typed language.