KC Sivaramakrishnan's Upcoming Academic Talks on Programming Languages and Computer Science Research
By
matt_d
A baker's-dozen of insight crammed into one ring.
Summary
This content appears to be a list of upcoming or recent academic talks and presentations by KC Sivaramakrishnan, focusing on programming language evolution (specifically OCaml), automated verification of replicated data types, AI tools for research, and parallel runtime systems. The talks are scheduled at various universities and institutions throughout 2025.
Key quotes
· 4 pulledEvolving the OCaml Programming Language
Automatically Verifying Replicated Data Types
Superpowers for the Curious: Using AI tools in your research journey
OCaml's Parallel Runtime System
You might also wanna read
The History of Pipes, Forks, and Zombies in Unix Systems
This article discusses the history and concept of pipes in Unix systems, focusing on Doug McIlroy's original vision of coupling programs lik
A 7-line interpreter: Implementing a functional programming language in minutes
The article presents a minimal 7-line interpreter for a functional programming language, demonstrating the eval/apply design pattern from St
Demystifying Floating Point Numbers: An Interactive Guide
An in-depth technical blog post that demystifies floating point numbers, explaining their internal representation and behavior. The author i
ciechanow.ski·1mo agoThe Seven Foundational Programming Paradigms: Understanding Core Concepts Beyond Specific Languages
The article argues that instead of focusing on specific programming languages, learners should understand the fundamental 'ur-languages' or
Introduction to C Programming: Understanding the Foundational Language
This appears to be the beginning of a book about the C programming language, specifically Chapter 1 titled 'Getting Started.' The content in
A Compiler Writing Journey: Building a Self-Compiling C Subset Compiler
A GitHub repository documenting a personal journey to write a self-compiling compiler for a subset of the C language. The project provides p
github.com·2mo ago