Thank you bertails for the post. I work in IoT and we are also moving in that direction. I was of course hesitant, because of the criticism of semantic web on the ...web ;-), but this approach is used very successfully in our market for many years:

- https://haxall.io/ basically a reinvented copy of sem-web, but so much nicer from a dev perspective

- Used by https://skyfoundry.com/product

- https://brickschema.org/ the new star, built on sem-web

- Used by https://www.mapped.com/ where one of the founders worked on Brick

- https://docs.open223.info also a model that has caught interest in the market

- https://qudt.org/ de-facto standard for units and conversions

We started just a couple of months ago, but I have not regretted the decision, yet.

The downside of a lesser known tech-stack is always the missing OSS tools, e.g. for authoring, ownership management, review workflows etc. Counting on you guys to open source some good stuff ;-)

When we are further down the road, I am interested to get in touch with you guys, if you are up for it?

edit: forgot the ontology part of the haxall project.

- https://www.project-haystack.org/doc/index

- Kitty terminal. My daily driver.

- Wikipedia

- Used to donate to visidata and will probably again, if I need it for work again

Thanks for your VisiData donation! Donations like yours continue to motivate us to continue to maintain the tool, and in fact we're putting out a new release in the next few weeks.

This article lists likely candidates for three categories and only one even contains Prevost.

I think the value lies in the mapping of heterogenous sources to one network that can be queried. How you arrive at conclusions derived from the information is human interpretation.

I’d be interested in how the facts were validated against the sources. Like debugging the mapping process.

This post is a treasure. I have too many itches to scratch and would want to know at least a ballpark figure for the time investment.

One suggestion for the already complete and detailed post: what is the personal/professional gain you get for your time investment? In this case maybe: „program design became clearer after having worked through SICO.“ or „I can discuss design more formally now“ or just „It was interesting and everyone talked about it, so I needed to know“

I would think some parts of the book are more valuable than others. That goes for every book including classics like TAOCP and the compiler dragon book.

It would be interesting to know what parts are pure gold and worth deep study and which parts can be skimmed or consulted as a reference.

I was lucky enough to read it during my studies and to have a teacher that made very good Slides focusing on the most interesting parts.

I think finding someone that guide you through the book allows to go way faster than alone.

Now, while the concepts were extremely illuminating, I think following the book but doing the exercises in haskell is also a nice path. Haskell was another lecture following the one on SICP by the same teacher, and it uses most of the same ideas, sometimes formulated a little differently, but on a more modern language.

I still remember my exam where we received ~6 pages double column of printed lisp, no comments. The code was a compiler, and we needed to change it so that it can jump back in time using call with cc. Difficult to do in 3h and on paper but very fun.

If this site didn’t appear here, I’d think it’s a scam:

- site claims to simplify papers, but movies AI generated

- full of ads

- Can’t find „Coconut“ on the official Meta FAIR page

Is this the best site to link to?

The official pdf for the paper is at https://arxiv.org/pdf/2412.06769

I can find "Coconut" 54 times in the PDF. The movie does not look made up.

I was referring to aipapersacademy and not the arxiv link.

Also I didn’t mean the occurrence of the word „coconut“ in the paper, but thanks for counting.

I meant their publication site: https://ai.meta.com/results/?content_types%5B0%5D=publicatio...

The video is something I’d expect from AI.

I respect you for that joke.

All the prices for DIY robots seem to be defined by the servo motor prices.

I will start by building the Koch robot arm with servos harvested from my kids toys. Let’s see how good that works.

I agree, but I also hope for several revolutions in this space. Everything around educational offerings is horrible beyond compare:

- Classroom learning doesn’t cater to individuals

- Corporate learning programs that I came across were 100% useless

- Personal learning is unbelievably hard to organize (persistence, learning path, real world application…)

I had basically five wonderful experiences:

- Karpathy on YT ;-)

- Dash and Dot from Wonder Workshop

- Crafting Interpreters

- Gilbert Strang

Hope eureka labs becomes the sixth. Good luck Andrej!

I think a lot of group courses/recorded courses don't work/lead people to give up because the context provided is not intuitive to everyone's mind and requires significant googling (or ChatGPT chats) for a concept to click before moving on.

Having that ability to pause and clarify with for as long as needed (and have it dumbed down as much as needed) seems like a step in the right direction.

Yes. I was really happy, when I discovered GPT3, because I could ask infinit „but why“s without being worried about annoying the tutor. Would be great, if the LLMs wouldn’t be such push-overs. I’d like to hear more „you’re wrong!“.

Potentially stupid question: did she work with them and watched them live or is there some kind of recording?

Andreas worked professionally on WebKit at Apple and succeeded in writing SerenityOS from scratch.

So he is in a good position to decide on the approach and has proven he can finish things. I’d just trust him on this, if my opinion was even relevant.

But as it’s a for fun project, he can write a browser in Fortran and abandon it half-way ;-)