https://github.com/polytypic/blog
Links to some of my publications
https://github.com/polytypic/blog
articles programming talks
Last synced: about 2 months ago
JSON representation
Links to some of my publications
- Host: GitHub
- URL: https://github.com/polytypic/blog
- Owner: polytypic
- Created: 2015-11-17T06:34:18.000Z (about 10 years ago)
- Default Branch: main
- Last Pushed: 2025-02-11T13:55:11.000Z (10 months ago)
- Last Synced: 2025-02-11T14:25:06.727Z (10 months ago)
- Topics: articles, programming, talks
- Homepage:
- Size: 4.79 MB
- Stars: 38
- Watchers: 21
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
N.B. You can watch this repository if you want to be notified of new posts.
Posts:
- [Counters are not toys!](posts/2020-05-11-counters-are-not-toys.md)
- [Referentially transparent GUIs](posts/2020-05-11-referentially-transparent-guis.md)
- [Solid and Functional](posts/2014-08-18-solid.md)
- [Freedom of Expression has a Cost.](posts/2014-07-24-freedom-of-expression.md)
- [Equality forall and forever](posts/2014-07-14-equality-forall.md)
Talks:
- [A lock-free hash table for OCaml](https://polytypic.github.io/blog/a-lock-free-hash-table-for-ocaml/)
- [Building a lock-free STM for OCaml](https://icfp23.sigplan.org/details/ocaml-2023-papers/6/Building-a-lock-free-STM-for-OCaml)
- [Video](https://www.youtube.com/watch?v=Mt8wPCHU1ZU)
- [Slides](https://polytypic.github.io/kcas-talk/)
- [k-CAS for sweat-free concurrent programming](https://gist.github.com/polytypic/3214389ad69b16d28b957ced86e1b1a4#k-cas-for-sweat-free-concurrent-programming)
- [Video from presentation on 2023-02-15](https://www.youtube.com/watch?v=1z8PshvWOF8)
- [HTTP requests beyond promises](https://drive.google.com/file/d/1v47Q9ey1S_HeULZKC164M5AHhu9JCMsZ/view?usp=sharing)
- [The future is algebraic](https://polytypic.github.io/blog/the-future-is-algebraic/)
- [A pattern matcher in JavaScript](https://polytypic.github.io/blog/a-pattern-matcher-in-javascript/)
- [Screen capture from presentation](https://youtu.be/Wl5w60ERkrc)
- [Slides from HelsinkiJS edition](https://polytypic.github.io/blog/a-pattern-matcher-in-javascript_hkijs)
- [Transactional Locking](https://polytypic.github.io/blog/transactional-locking/)
- [Inverting Event Streams is a Choice](https://docs.google.com/presentation/d/1Yowsc3MV9xWqHJ3u11B0xYqqqeK368BW_dfZ9_H0WJI)
Gists:
- [Generalized approach to turn a functional data structure into a lock-free starvation avoiding data structure](https://gist.github.com/polytypic/3bff98742e26bcbbc8ca3e8dfac103d7)
- [Extending k-CAS with efficient read-only CMP operations](https://gist.github.com/polytypic/0efa0e2981d2a5fc4b534a0e25120cc9)
- [Simplified MSI model of shared memory](https://gist.github.com/polytypic/781a69a0a8e2d1f3ddcc4170887fc412)
- [Zio like monad in F# with extensible error handling](https://gist.github.com/polytypic/d4c646527ca1241f630e2c10dfc0af8d)
- [Learning day: ReDiSL](https://gist.github.com/polytypic/08929bfe060f9cafe0d45f2b4ebf9f38)
— This is a short writeup on a proof-of-concept Scala DSL for working
with Redis drafted using a HOAS GADT based compiler.