| | Bounding Data Races in Space and Time [pdf] (kcsrk.info) |
|
1 point by denotational 25 days ago | past
|
|
| | The OCaml System (kcsrk.info) |
|
9 points by g0xA52A2A on Jan 7, 2023 | past
|
|
| | OCaml 5.0 (prerelease) Manual: Effect handlers (kcsrk.info) |
|
2 points by nextos on June 17, 2022 | past
|
|
| | OCaml 5.0 (prerelease) Manual: Effect handlers (kcsrk.info) |
|
2 points by metadat on June 16, 2022 | past
|
|
| | OCaml 5.0 (prerelease) Manual: Effect handlers (kcsrk.info) |
|
2 points by todsacerdoti on June 16, 2022 | past | 1 comment
|
|
| | Effective Concurrency with Algebraic Effects in Multicore OCaml (kcsrk.info) |
|
148 points by slightknack on Oct 12, 2021 | past | 59 comments
|
|
| | Retrofitting Effect Handlers onto OCaml [pdf] (kcsrk.info) |
|
6 points by matt_d on Feb 26, 2021 | past
|
|
| | Mergeable Replicated Data Types [pdf] (kcsrk.info) |
|
2 points by godelmachine on Nov 25, 2019 | past
|
|
| | OCaml on Baremetal Shakti RISC-V Processor (kcsrk.info) |
|
233 points by lelf on March 29, 2019 | past | 76 comments
|
|
| | State of Multicore OCaml [pdf] (kcsrk.info) |
|
160 points by systems on June 28, 2018 | past | 103 comments
|
|
| | Eff Directly in OCaml [pdf] (kcsrk.info) |
|
3 points by michaelsbradley on Aug 12, 2017 | past
|
|
| | A deep dive into Multicore OCaml garbage collector (kcsrk.info) |
|
166 points by melqdusy on July 16, 2017 | past | 89 comments
|
|
| | Lock-free programming for the masses (kcsrk.info) |
|
188 points by antouank on June 15, 2016 | past | 29 comments
|
|
| | Lock-free programming for the masses (kcsrk.info) |
|
8 points by asb on June 13, 2016 | past | 4 comments
|
|
| | ARM-ed with Reason: Building Reason Apps for ARM Target with Docker (kcsrk.info) |
|
3 points by GemG on May 23, 2016 | past | 1 comment
|
|
| | Effective Concurrency with Algebraic Effects (kcsrk.info) |
|
2 points by wtetzner on April 1, 2016 | past
|
|
| | Featherweight Threads for Communication in SML (2001) [pdf] (kcsrk.info) |
|
16 points by eatonphil on Sept 14, 2015 | past
|
|
| | Pearls of Algebraic Effects and Handlers (kcsrk.info) |
|
1 point by colinprince on Aug 25, 2015 | past
|
|
| | Effective Concurrency with Algebraic Effects (OCaml Multicore) (kcsrk.info) |
|
6 points by amirmc on May 21, 2015 | past
|
|
