I’m getting ready to start the University of North Dakota’s online-for-credit Calc II class. This has been a challenging year so far. When things are challenging, I take comfort by engaging in something that lets me bring order to something. Right now, that means filling in some fundamental math that’s spotty for me. It starts with putting my surroundings in order, which here means setting up VSCode to author LaTeX because I like the tidiness of doing my homework this way. I’m old enough to think about retirement within a decade, and so I’m entertaining the idea of getting a math degree.
I’d like to learn how to prove theorems with Lean. I’ve tried previously and had some success, but eventually get stuck. I’m hopeful that other things I’ve learned in the year or so since I last worked on it will let me get further. I’d be up for collaborating.
Does anyone have examples of using Odin in a non-gaming context? It looks like an interesting language and as a C replacement I would guess it has a wide domain; would love to know more.
I’ve said this before in other places but I find it quite funny when people say something of this ilk about Odin and the “gaming context”. Game dev is one of the most general purpose domains out there. Graphics, networking, AI, physics, mathematics in general, etc. It’s a very broad domain which covers nearly every domain of informatics.
By way of analogy, I like to work with metal. There is a group of people near where I live that like to make wooden spoons. I admire and respect what they do, and appreciate it in a way that connects with my love of metal work, but without feeling like it’s the same.
So, I’d like to be able to see a piece of work and be able to envision myself doing something like that.
I fully agree that game dev covers a very broad domain. I’m sure there are non game developers that will look at the language for its intrinsic benefits and adopt it. I’m probably a later adopter than they are while still being an earlier adopter than most.
This is a really big deal for anyone building their own applications on top of LLMs - it’s the new cheapest high quality model, beating even Claude 3 Haiku on price, and it looks very capable. It’s a total replacement for OpenAI’s previous cheap model, GPT-3.5 Turbo - this is both cheaper and massively better.
Stephen, I disagree. It’s a complex topic. I don’t think your comment adds anything to the discussion. Nine days ago, you posted this in another thread:
Wow, this is a very rude an un-called-for move
I have a hard time reading your comment except in the same framing.
I’m getting ready to start the University of North Dakota’s online-for-credit Calc II class. This has been a challenging year so far. When things are challenging, I take comfort by engaging in something that lets me bring order to something. Right now, that means filling in some fundamental math that’s spotty for me. It starts with putting my surroundings in order, which here means setting up VSCode to author LaTeX because I like the tidiness of doing my homework this way. I’m old enough to think about retirement within a decade, and so I’m entertaining the idea of getting a math degree.
I’d like to learn how to prove theorems with Lean. I’ve tried previously and had some success, but eventually get stuck. I’m hopeful that other things I’ve learned in the year or so since I last worked on it will let me get further. I’d be up for collaborating.
Does anyone have examples of using Odin in a non-gaming context? It looks like an interesting language and as a C replacement I would guess it has a wide domain; would love to know more.
What “contexts” are you looking for?
I’ve said this before in other places but I find it quite funny when people say something of this ilk about Odin and the “gaming context”. Game dev is one of the most general purpose domains out there. Graphics, networking, AI, physics, mathematics in general, etc. It’s a very broad domain which covers nearly every domain of informatics.
Hey gingerbill! Thanks for writing this book!!!
By way of analogy, I like to work with metal. There is a group of people near where I live that like to make wooden spoons. I admire and respect what they do, and appreciate it in a way that connects with my love of metal work, but without feeling like it’s the same.
So, I’d like to be able to see a piece of work and be able to envision myself doing something like that.
I fully agree that game dev covers a very broad domain. I’m sure there are non game developers that will look at the language for its intrinsic benefits and adopt it. I’m probably a later adopter than they are while still being an earlier adopter than most.
Feedback: The landing page could use a table summarizing the key details. EG
To me personally, when deciding what to read more about, the focus is most important, followed by release cycle.
One more change to the landing page to consider: Less emphasis on who created it. Doesn’t feel relevant to picking one to start with.
You mean the very small footer?
Ah! Sorry! Clarifying: who created the various BSDs. Sorry for the ambiguity!
This is a really big deal for anyone building their own applications on top of LLMs - it’s the new cheapest high quality model, beating even Claude 3 Haiku on price, and it looks very capable. It’s a total replacement for OpenAI’s previous cheap model, GPT-3.5 Turbo - this is both cheaper and massively better.
More of my own notes on the release here: https://simonwillison.net/2024/Jul/18/gpt-4o-mini/
I also added support for the new model to my LLM CLI tool: https://llm.datasette.io/en/stable/changelog.html#v0-15
@simonw I really appreciate you. You’re my primary source for AI news.
Glendower: I can install postfix and send emails into the vasty deep.
Hotspur: Why, so can I, or so can any man;
But will the recipients receive them?
Stephen, I disagree. It’s a complex topic. I don’t think your comment adds anything to the discussion. Nine days ago, you posted this in another thread:
I have a hard time reading your comment except in the same framing.
This reply is exactly why YOU should read the book.