prydt

5 ms·

1.
by prydt 4d ago
I didn't expect this to get posted here. Long time lurker here. I'm really interested in programming language design and ergonomics. What niche PL features would you like to see have more adoption?
2.
by prydt 4d ago
At least in my understanding of SSA, its a compiler implementation detail which makes writing optimizations simpler. I imagine you can implement flow typing without SSA. Can you elaborate what you mean?
3.
by prydt 4d ago
What's the nice short paper? (I'd be interested in reading it!)
4.
by prydt 4d ago
The contract programming in D is pretty much syntactic sugar for placing asserts at different parts of your program. Refinement types can be used as compile time checks for preconditions and postconditions, while this contract programming i
5.
by prydt 4d ago
The syntax is correct but I made a logical error since balance is being compared to itself (as opposed to the new balance at the end).
6.
by prydt 4d ago
Looks like its a typo :( The correct way to go about this would be to return the new balance and capture the return value in the first part of the out postcondition like: ```D double deposit(double amount) in (amount > 0, "Deposit a
7.
by prydt 16d ago
Yeah my biggest issue has been that none of my muscle memory transfers over and it adds another hurdle to ever getting back into the game.
8.
Enforcing the First as in BGP AS_PATHs(blog.cloudflare.com)
2 points by prydt 3mo ago|0 comments
9.
by prydt 6mo ago
+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...
10.
by prydt 7mo ago
I no longer want to support OpenAI at all. Regardless of benchmarks or real world performance.
11.
by prydt 7mo ago
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
12.
by prydt 7mo ago
I think the implicit assumption here is that you are using a terminal-based code editor like neovim... which is not necessarily true.
13.
by prydt 7mo ago
I would highly recommend Wirth's Compiler Construction. Great, short book with a lot to say.
14.
by prydt 8mo ago
https://prydt.xyz I've been really inspired to blog more thanks to HN. -- not much, but it's a start.
15.
by prydt 8mo ago
Came here to say this. Using opencode with the API works fine.
16.
DeepSeek Linear-Programming-Based Load Balancer(github.com)
3 points by prydt 10mo ago|0 comments
17.
Directives Are Becoming the New Framework Lock In(tanstack.com)
4 points by prydt 11mo ago|1 comments
18.
Clojure Zippers (2021)(grishaev.me)
111 points by prydt 11mo ago|7 comments
19.
Scalability and Load Testing for Valorant (2020)(technology.riotgames.com)
1 points by prydt 11mo ago|0 comments
20.
by prydt 1y ago
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 Rus
21.
Introducing: B200s and H200s on Modal(modal.com)
1 points by prydt 1y ago|0 comments
22.
by prydt 1y ago
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 runtim
23.
The Cambridge Report on Database Research(arxiv.org)
3 points by prydt 1y ago|0 comments
24.
by prydt 2y ago
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 mat
25.
by prydt 2y ago
Merry Christmas!
26.
LazyLog: A New Shared Log Abstraction for Low-Latency Applications [pdf](dassl-uiuc.github.io)
2 points by prydt 2y ago|0 comments
27.
by prydt 2y ago
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 pa
28.
by prydt 2y ago
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.
29.
by prydt 2y ago
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). Bu
30.
by prydt 2y ago
I'm curious now. What is ifunc? (Had difficulty finding it through a search)

More ›