Skip to main content
Scour
Discover
Docs
Login
Sign Up
Discover
About
Docs
Changelog
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
KC Sivaramakrishnan - Scalable Functional Programming
kcsrk.info
KC Sivaramakrishnan
·
1w
1 week ago
An O(x)Caml book that runs · KC Sivaramakrishnan
Discussed on
Hacker News
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for An O(x)Caml book that runs · KC Sivaramakrishnan
KC Sivaramakrishnan
·
5w
5 weeks ago
Shrinking the OxCaml JS_of_OCaml bundle: 285 MB to 4 MB
Discussed on
Hacker News
and
Lobsters
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Shrinking the OxCaml JS_of_OCaml bundle: 285 MB to 4 MB
KC Sivaramakrishnan
·
6w
6 weeks ago
Capsules: Compile-time lock discipline in OxCaml
Discussed on
Hacker News
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Capsules: Compile-time lock discipline in OxCaml
KC Sivaramakrishnan
·
6w
6 weeks ago
Data Race Freedom in OxCaml
Discussed on
Hacker News
and
Lobsters
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Data Race Freedom in OxCaml
KC Sivaramakrishnan
·
7w
7 weeks ago
From Convergence to Confidence: Push-Button Verification for RDTs
Discussed on
Hacker News
and
Hacker News
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for From Convergence to Confidence: Push-Button Verification for RDTs
KC Sivaramakrishnan
·
52w
52 weeks ago
Testing x-ocaml, OCaml notebooks as a WebComponent · KC Sivaramakrishnan
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Testing x-ocaml, OCaml notebooks as a WebComponent · KC Sivaramakrishnan
KC Sivaramakrishnan
·
55w
55 weeks ago
Uniqueness for Behavioural Types · KC Sivaramakrishnan
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Uniqueness for Behavioural Types · KC Sivaramakrishnan
KC Sivaramakrishnan
·
59w
59 weeks ago
Joining my group · KC Sivaramakrishnan
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Joining my group · KC Sivaramakrishnan
KC Sivaramakrishnan
·
99w
99 weeks ago
Off-CPU-time analysis · KC Sivaramakrishnan
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Off-CPU-time analysis · KC Sivaramakrishnan
KC Sivaramakrishnan
·
335w
335 weeks ago
Teaching OCaml and Prolog through Jupyter Notebooks · KC Sivaramakrishnan
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Teaching OCaml and Prolog through Jupyter Notebooks · KC Sivaramakrishnan
KC Sivaramakrishnan
·
467w
467 weeks ago
A deep dive into Multicore OCaml garbage collector · KC Sivaramakrishnan
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for A deep dive into Multicore OCaml garbage collector · KC Sivaramakrishnan
KC Sivaramakrishnan
·
470w
470 weeks ago
(Monadic) Reflections on Concurrency · KC Sivaramakrishnan
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for (Monadic) Reflections on Concurrency · KC Sivaramakrishnan
KC Sivaramakrishnan
·
555w
555 weeks ago
Profiling the stack · KC Sivaramakrishnan
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Profiling the stack · KC Sivaramakrishnan
KC Sivaramakrishnan
·
577w
577 weeks ago
Pearls of Algebraic Effects and Handlers · KC Sivaramakrishnan
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Pearls of Algebraic Effects and Handlers · KC Sivaramakrishnan
KC Sivaramakrishnan
·
578w
578 weeks ago
Effective Concurrency with Algebraic Effects · KC Sivaramakrishnan
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Effective Concurrency with Algebraic Effects · KC Sivaramakrishnan
Log in to enable infinite scrolling
Keyboard Shortcuts
Navigation
Next / previous post
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Discover
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help
Like
Save
Not for me
Report