prydt

+1 These are incredible lectures and there's another series from Rick Roderick on the history of western philosophy that I also love: https://youtube.com/playlist?list=PLxPmwaGMOAvsZp9vavFkyxYFZ...

I no longer want to support OpenAI at all. Regardless of benchmarks or real world performance.

I think this is because the prevailing narrative around this bubble is:

A) AI gets very good and you'll lose your job.

OR

B) This whole thing is a bubble and because of how many eggs have been put in this single basket, when the bubble pops, you'll lose your job as we head into a recession.

It really does just seem like pure downside to the average person, not even to mention all the slop everywhere, deepfake revenge porn being democratized, and generally just having bad gpt wrappers shoved down your throat.

Edit: There really isn't a sense that AI is going to help the common person. Inequality is rising and AI seems to only fuel this fire. I hope that we as a society can actually distributed the fruits of AI to everyone... but I'm not holding my breath.

I think the implicit assumption here is that you are using a terminal-based code editor like neovim... which is not necessarily true.

I would highly recommend Wirth's Compiler Construction. Great, short book with a lot to say.

https://prydt.xyz

I've been really inspired to blog more thanks to HN. -- not much, but it's a start.

Came here to say this. Using opencode with the API works fine.

My interest in Rust comes from getting frustrated with C's type system. Rust has such a nice type system and I really enjoy the ownership semantics around concurrency. I think that C++ written "correctly" looks a lot like Rust and libkj [1] encourages this, but it is not enforced by the language.

[1] https://github.com/capnproto/capnproto/blob/v2/kjdoc/tour.md

Have you seen libkj [1]? I've used it and really enjoy working with it. It has a rust-like owned pointer and the whole library uses these smart pointers.

It has proper container classes based on B-trees and its also got an async runtime.

[1] https://github.com/capnproto/capnproto/blob/v2/kjdoc/index.m...

One of my favorite papers! This reminds me of Martin Kleppmann's work on Apache Samza and the idea of "turning the database inside out" by hosting the write-ahead log on something like Kafka and then having many different materialized views consume that log.

Seems like a very powerful architecture that is both simple and decouples many concerns.

Merry Christmas!

Ah thank you. That is a good list although I personally dislike the "Paxos Made Moderately Complex" paper... I think it adds too many different roles for very little benefit. When implementing multi-Paxos for class, I used that paper and felt it was more trouble than it needed to be.

I'll check out the other two papers though! Also just looking around and I found this paper https://arxiv.org/pdf/1103.2408 [PDF] which looks useful as well.

I think the CALM theorem and this whole line of research is so interesting and it is still carried on by the CRDT people. But I would love to see more of this.

I feel like it doesn't get as much attention as it deserves.

I've run a reading group for distributed systems for the last 2 years now and I do think that Raft is a better introduction to Consensus than any Paxos paper I have seen (I mean the Paxos Made Simple paper literally has bugs in it). But when I learned consensus in school, we used Paxos and Multi-Paxos and I do believe that there was a lot to be gained by learning both approaches.

Heidi Howard has several amazing papers about how the differences between Raft and Multi-Paxos are very surface level and that Raft's key contribution is its presentation as well as being a more "complete" presentation since there are so many fragmented different presentations of Multi-Paxos.

As a bonus, one of my favorite papers I have read recently is Compartmentalized Paxos: https://vldb.org/pvldb/vol14/p2203-whittaker.pdf which is just a brilliant piece on how to scale Multi-Paxos

I'm curious now. What is ifunc? (Had difficulty finding it through a search)

Love the list and the eBPF tools look super helpful.

LSM trees are a good example of a data structure optimized for memory hardware (both hdds and ssds).

High Scalability has always been a very fun read, and I've enjoyed it a lot over the years. I hope the site still stays up.

Does anyone know any other resources that are about similar topics?

This looks awesome! Great idea and UI.

Awesome! What are some good resources on making a simple UNIX like operating system? I know osdev wiki exists, anything else?

Stink bomb was honestly my 2nd favorite out of that collection (after magnetic rose). I think it was beautifully animated as well as just being really funny.

Crystal is definitely one of my favorite compiled languages. It feels like a happy medium between a dynamic language like Python and something fast but rigid like C++. The only real downside I can see is that the ecosystem is very small and the language is not as popular.

Thanks, this is a great read.

Where can one find those hash table theorists? (Just curious, that sounds really interesting actually)

If I recall correctly, Bakuman is a manga / anime about aspiring manga artists and this post is instead about animators who animate the anime.

Hope every has a great new year too!!!

Great job on using QT!!

This look amazing!

I really like Crystal, and while it hasn't reached a 1.0 yet, it is still great and used in production. I think the main selling point of Crystal is performance + nice syntax. The docs are great and will help anyone curious to learn Crystal along the way. Crystal's biggest problem is that it doesn't have the support of a company or a large base of users so the core team isn't funded as much as they'd like. All in all, I think it is a great language!