Deepak
@iokarki.bsky.social
Software engineer.
Distributed systems | Compilers & Runtime | Databases | HCI | Low level systems
Distributed systems | Compilers & Runtime | Databases | HCI | Low level systems
Reposted by Deepak
Launching my Programming Language Pragmatics talks! These short, accessible talks cover the material in the textbook, the 5th edition of which I wrote with Michael L. Scott. The first one introduces the topic and talks about why we study programming languages!
www.youtube.com/watch?v=hwL0...
www.youtube.com/watch?v=hwL0...
PLP 1.1: Introduction to Programming Languages
YouTube video by Jonathan Aldrich
www.youtube.com
August 6, 2025 at 11:30 PM
Launching my Programming Language Pragmatics talks! These short, accessible talks cover the material in the textbook, the 5th edition of which I wrote with Michael L. Scott. The first one introduces the topic and talks about why we study programming languages!
www.youtube.com/watch?v=hwL0...
www.youtube.com/watch?v=hwL0...
Reposted by Deepak
I gave Claude Code access to my Obsidian vault and asked it to give me some questions / prompts. It asked things like:
- What forces preserve mediocre interfaces?
- How do we escape vendor-imposed constraints on our thinking?
Here's a small taste:
- What forces preserve mediocre interfaces?
- How do we escape vendor-imposed constraints on our thinking?
Here's a small taste:
July 28, 2025 at 4:06 PM
I gave Claude Code access to my Obsidian vault and asked it to give me some questions / prompts. It asked things like:
- What forces preserve mediocre interfaces?
- How do we escape vendor-imposed constraints on our thinking?
Here's a small taste:
- What forces preserve mediocre interfaces?
- How do we escape vendor-imposed constraints on our thinking?
Here's a small taste:
Reposted by Deepak
Marc Brooker and Ankush Desai from AWS goes into details about:
* formal methods like TLA+ and the P programming language
* Deterministic simulation and Property-based testing
* the metastable failures
* formal methods like TLA+ and the P programming language
* Deterministic simulation and Property-based testing
* the metastable failures
Systems Correctness Practices at AWS - ACM Queue
PDF
queue.acm.org
February 10, 2025 at 7:40 AM
Marc Brooker and Ankush Desai from AWS goes into details about:
* formal methods like TLA+ and the P programming language
* Deterministic simulation and Property-based testing
* the metastable failures
* formal methods like TLA+ and the P programming language
* Deterministic simulation and Property-based testing
* the metastable failures
Reposted by Deepak
The program is up and tickets are live at www.hytradboi.com/2025/#program.
I'll keep updating this thread as the last 10 talks hit camera-ready.
I'll keep updating this thread as the last 10 talks hit camera-ready.
February 1, 2025 at 2:46 AM
The program is up and tickets are live at www.hytradboi.com/2025/#program.
I'll keep updating this thread as the last 10 talks hit camera-ready.
I'll keep updating this thread as the last 10 talks hit camera-ready.
Reposted by Deepak
Niv Dayan is uploading his lectures from CSC2525 Research Topics in Database Management to YouTube. Great set of topics, and first couple videos are well presented and easy introductions to the material!
Course: www.nivdayan.net/res...
Channel: www.youtube.com/@niv...
Course: www.nivdayan.net/res...
Channel: www.youtube.com/@niv...
January 23, 2025 at 10:54 PM
Niv Dayan is uploading his lectures from CSC2525 Research Topics in Database Management to YouTube. Great set of topics, and first couple videos are well presented and easy introductions to the material!
Course: www.nivdayan.net/res...
Channel: www.youtube.com/@niv...
Course: www.nivdayan.net/res...
Channel: www.youtube.com/@niv...
Reposted by Deepak
Really helpful analysis (or quick takes) of the Cloudflare incident write-up, with plenty of reading material for diving deeper.
It reminds me of the tension in security regarding auto-updates. One on hand, software needs to be updatable, on the other, auto updates are a hacking vector.
It reminds me of the tension in security regarding auto-updates. One on hand, software needs to be updatable, on the other, auto updates are a hacking vector.
New blog post on the latest Cloudflare incident writeup (h/t @vanlightly.bsky.social )
surfingcomplexity.blog/2024/11/28/q...
surfingcomplexity.blog/2024/11/28/q...
Quick takes on the latest Cloudflare public incident write-up
Cloudflare consistently generates the highest quality public incident writeups of any tech company. Their latest is no exception: Cloudflare incident on November 14, 2024, resulting in lost logs. I…
surfingcomplexity.blog
November 28, 2024 at 7:43 PM
Really helpful analysis (or quick takes) of the Cloudflare incident write-up, with plenty of reading material for diving deeper.
It reminds me of the tension in security regarding auto-updates. One on hand, software needs to be updatable, on the other, auto updates are a hacking vector.
It reminds me of the tension in security regarding auto-updates. One on hand, software needs to be updatable, on the other, auto updates are a hacking vector.
Reposted by Deepak
Huge props to @b0rk.jvns.ca for writing a blog post about the mess that is JavaScript packaging that not only provides great hands-on advice, but also manages to strike a positive tone about the whole thing! jvns.ca/blog/2024/11...
Importing a frontend Javascript library without a build system
Importing a frontend Javascript library without a build system
jvns.ca
November 19, 2024 at 4:14 PM
Huge props to @b0rk.jvns.ca for writing a blog post about the mess that is JavaScript packaging that not only provides great hands-on advice, but also manages to strike a positive tone about the whole thing! jvns.ca/blog/2024/11...
Reposted by Deepak
Vol:17 No:12 → Complex-Path: Effective and Efficient Node Ranking with Paths in Billion-Scale Heterogeneous Graphs
👥 Authors: Jinquan Hang, Zhiqing Hong, Xinyue Feng, Guang Wang, Dongjiang Cao, Jiayang Qiao, Haotian Wang, Deshe...
📄 PDF: https://www.vldb.org/pvldb/vol17/p3973-hang.pdf
👥 Authors: Jinquan Hang, Zhiqing Hong, Xinyue Feng, Guang Wang, Dongjiang Cao, Jiayang Qiao, Haotian Wang, Deshe...
📄 PDF: https://www.vldb.org/pvldb/vol17/p3973-hang.pdf
November 19, 2024 at 5:00 AM
Vol:17 No:12 → Complex-Path: Effective and Efficient Node Ranking with Paths in Billion-Scale Heterogeneous Graphs
👥 Authors: Jinquan Hang, Zhiqing Hong, Xinyue Feng, Guang Wang, Dongjiang Cao, Jiayang Qiao, Haotian Wang, Deshe...
📄 PDF: https://www.vldb.org/pvldb/vol17/p3973-hang.pdf
👥 Authors: Jinquan Hang, Zhiqing Hong, Xinyue Feng, Guang Wang, Dongjiang Cao, Jiayang Qiao, Haotian Wang, Deshe...
📄 PDF: https://www.vldb.org/pvldb/vol17/p3973-hang.pdf
Reposted by Deepak
Hello, Bluesky users!
I curate and maintain list of resources on testing distributed systems. You might have seen it before. It's a good one, if I may say so myself.
asatarin.github.io/testing-dist...
I curate and maintain list of resources on testing distributed systems. You might have seen it before. It's a good one, if I may say so myself.
asatarin.github.io/testing-dist...
Testing Distributed Systems
Curated list of resources on testing distributed systems
asatarin.github.io
November 19, 2024 at 5:26 AM
Hello, Bluesky users!
I curate and maintain list of resources on testing distributed systems. You might have seen it before. It's a good one, if I may say so myself.
asatarin.github.io/testing-dist...
I curate and maintain list of resources on testing distributed systems. You might have seen it before. It's a good one, if I may say so myself.
asatarin.github.io/testing-dist...