This is a terrific piece on architecture. If I had read it earlier, I probably wouldn't have written mine. 🙃 https://t.co/BKtrGKuiAl by @chrisuhl
He points out that we have gotten much better at modularizing systems in the days since the architect role was invented.
Wishlist:
- messages that send instantly (eg: like every other messaging app)
- open an unread message and the next screen starts at the unread message (don’t make me scroll for it)
- accurate unread message badge counts (like every other messaging app)
Delighted to release the third edition of Programming Languages: Application and Interpretation (PLAI). A complete rewrite based on many years of research and experience. Because that research is still ramping up, this is just the start of many changes.
https://t.co/ZkJIj3CsdZ
How a book written in 1910 could teach you calculus better than several books of today
[Calculus Made Easy, by Silvanus P. Thompson, 1910 - full text pdf: https://t.co/W4gspJGhHK or with the table of contents: https://t.co/55dkZzX4XV]
The deadline for abstract registration for the the USENIX ATC '23 Call for Papers is coming up on Thurs., Jan. 5. Complete paper submissions are due the following week on Thurs., Jan. 12. View the Call for Papers and submit your work soon: https://t.co/K2yKcNUgbA #atc23
A couple weeks back, I did a talk titled "Distributed Systems Solve Only Half My Problems (and I have a lot of problems)" at HPTS'22. Talks at HPTS aren't recorded, so here's a summary of what I said.
Today in #golang proposal review fun:
https://t.co/IgdbGm2764
And if you missed it earlier, why the hash function for NaNs in Go is random: https://t.co/2QKsQfsVq6
DynamoDB launched with the assumption that apps uniformly access data in tables. However we discovered workloads have non-uniform access patterns - over time & space. A twitter 🧵 explaining challenges faced & solutions built to magically adapt tables to changing traffic patterns
My talk on P and applying formal methods in practice is out. Gave a similar talk at #hpts, so if you missed it please check this out. The key idea I wanted to communicate was “importance of thinking abstractly and formally” and how P lowers the barrier to entry for developers