Viewing profile — 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=PLxPmwaGMOAv…

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 eg…

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…

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 cl…

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 …

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 …

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…

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 th…

[flagged]

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

Love the list and the eBPF tools look super helpful.