@talex5

@talex5@mastodon.social

 UK
roscidus.com/blog/
Joined January 2010
  • Tweets253
  • Following96
  • Followers461
1Media
Due to recent policy changes here, I'll be closing my Twitter account soon - I'm @talex5@mastodon.social if you want to continue following me.
3
626
No longer using this site retweeted
KC Sivaramakrishnan@kc_srk5 Oct 2022
The video of my @icfp_conference keynote on OCaml 5.0 is up 😄: youtube.com/watch?v=6BhmRz7e…
2
47
4
123
No longer using this site retweeted
KC Sivaramakrishnan@kc_srk19 Sep 2022
I also gave the keynote at the OCaml workshop on the "here and now" of OCaml 5.0 addressing how OCaml users may transition to 5.0: speakerdeck.com/kayceesrk/oc…

OCaml 5.0

OCaml Workshop 2022 Keynote OCaml 5.0, the next major release of the OCaml programming language is on the horizon. OCaml 5.0 brings native support fo…

speakerdeck.com
4
28
No longer using this site retweeted
OCaml Discuss@ocamldiscuss29 Aug 2022
Update on Eio (effects-based direct-style IO for OCaml 5) #OCaml ift.tt/RbfEaKc

Update on Eio (effects-based direct-style IO for OCaml 5)

Eio provides an effects-based direct-style IO stack for OCaml 5.0. It aims to be easy to use, secure, well documented, and fast. It consists of a generic cross-platform API, plus optimised backends...

discuss.ocaml.org
1
5
No longer using this site retweeted
Antonio Monteiro
@_anmonteiro27 Aug 2022
HTTP requests in OCaml direct style? Yes please (no I/O monad)
Antonio Monteiro
@_anmonteiro13 Aug 2022
Replying to @_anmonteiro
I'm excited about EIO and I'm thinking about converting Piaf to it
4
6
28
No longer using this site retweeted
David Spiegelhalter@d_spiegel26 Aug 2022
Isn't there an option missing? Truly awful survey question from Office for Product Safety and Standards at BEIS. But it does provide great material for teaching about manipulative phrasing gov.uk/government/consultati…
59
144
37
697
No longer using this site retweeted
Ian Henry@ianthehenry4 Jun 2022
Do you write OCaml? Can you never remember how to declare a polymorphic locally abstract type variable? Well then I have good news: introducing ocamlsyntax.com/, a cheat sheet for all the weird syntax that you only use once a year.
4
36
3
128
No longer using this site retweeted
OCaml Discuss@ocamldiscuss10 Feb 2022
MirageOS 4.0 Beta Release #OCaml ift.tt/z2xaFkG

MirageOS 4.0 Beta Release

On behalf of the Mirage team, I am delighted to announce the beta release of MirageOS 4.0! MirageOS is a library operating system that constructs unikernels for secure, high-performance network...

discuss.ocaml.org
7
16
No longer using this site retweeted
KC Sivaramakrishnan@kc_srk10 Feb 2022
Excited to see the first release of eio -- an effect handlers-based direct-style IO stack for OCaml 5.0 discuss.ocaml.org/t/eio-0-1-…

Eio 0.1 - effects-based direct-style IO for OCaml 5

Eio provides an effects-based direct-style IO stack for OCaml 5.0. It aims to be easy to use, secure, well documented, and fast. It consists of a generic cross-platform API, plus optimised backends...

discuss.ocaml.org
15
3
67
No longer using this site retweeted
KC Sivaramakrishnan@kc_srk22 Jan 2022
Awesome Multicore OCaml is looking good: github.com/patricoferris/awe…. Thanks, @patricoferris!

GitHub - ocaml-multicore/awesome-multicore-ocaml: A collection of libraries, experiments and ideas...

A collection of libraries, experiments and ideas relating to OCaml 5 (multicore + effects) - ocaml-multicore/awesome-multicore-ocaml

github.com
1
11
38
No longer using this site retweeted
Anil Madhavapeddy
@avsm10 Jan 2022
Xavier Leroy has just merged the multicore OCaml PR into mainline OCaml trunk. Next stop: releasing 5.0! github.com/ocaml/ocaml/pull/…

Multicore OCaml by kayceesrk · Pull Request #10831 · ocaml/ocaml

This PR adds support for shared-memory parallelism through domains and direct-style concurrency through effect handlers (without syntactic support). It intends to have backwards compatibility in te...

github.com
10
114
13
401
No longer using this site retweeted
Anil Madhavapeddy
@avsm6 Jan 2022
The December 2021 OCaml multicore monthly is here, with lots of juicy detail about those 4074 commits to mainline OCaml! discuss.ocaml.org/t/multicor…

Multicore OCaml: December 2021 and the Big PR

Welcome to the December 2021 Multicore OCaml monthly report! The previous updates along with this update have been compiled by myself, @ctk21, @kayceesrk and @shakthimaan. Well, it’s finally here!...

discuss.ocaml.org
9
57
No longer using this site retweeted
Yaron (Ron) Minsky
@yminsky5 Jan 2022
A new Signals and Threads, this one discussing memory management with the inimitable Stephen Dolan. The discussion was wide-ranging and enormously fun. I learned a ton! signalsandthreads.com/memory…

Signals and Threads Podcast

Listen in on Jane Street’s Ron Minsky as he has conversations with engineers working on everything from clock synchronization to reliable multicast, build systems to reconfigurable hardware. Get a...

signalsandthreads.com
2
27
5
121
No longer using this site retweeted
Anil Madhavapeddy
@avsm21 Dec 2021
The multicore OCaml PR for 5.0 has just been opened to the main respository! Congratulations @kc_srk and team, and happy holidays! github.com/ocaml/ocaml/pull/…

Multicore OCaml by kayceesrk · Pull Request #10831 · ocaml/ocaml

This PR adds support for shared-memory parallelism through domains and direct-style concurrency through effect handlers (without syntactic support). It intends to have backwards compatibility in te...

github.com
3
59
7
235
No longer using this site retweeted
Anil Madhavapeddy
@avsm2 Dec 2021
A mammoth #OCaml multicore monthly in November, with the summary of the code review sessions the core development team conducted to finalise decisions for the OCaml 5.0 "minimal viable product" PR being generated. All good news: there are no blockers! discuss.ocaml.org/t/multicor…

Multicore OCaml: November 2021 with results of code review

Welcome to the November 2021 Multicore OCaml monthly report! This month’s update along with the previous updates have been compiled by me, @ctk21, @kayceesrk and @shakthimaan. Core Team Code Review...

discuss.ocaml.org
2
11
50
No longer using this site retweeted
Anil Madhavapeddy
@avsm26 Nov 2021
Effect handlers are therefore a "go" for OCaml 5.0 MVP, which opens the path for our high-performance direct-style multicore IO library to be usable in 2022! Now's a great time to start experimenting with it for yourselves github.com/ocaml-multicore/e…

GitHub - ocaml-multicore/eio: Effects-based direct-style IO for multicore OCaml

Effects-based direct-style IO for multicore OCaml. Contribute to ocaml-multicore/eio development by creating an account on GitHub.

github.com
1
3
1
15
No longer using this site retweeted
Anil Madhavapeddy
@avsm16 Nov 2021
The latest OCaml multicore monthly is out, with a big surge of progress towards the 5.0.0 diff being available! The core OCaml team is huddling in a series of working groups through November to perform the large code review of the whole tree. discuss.ocaml.org/t/multicor…

Multicore OCaml: October 2021

Welcome to the October 2021 Multicore OCaml monthly report! The previous updates along with this update have been compiled by me, @ctk21, @kayceesrk and @shakthimaan. As @octachron announced last...

discuss.ocaml.org
11
58
No longer using this site retweeted
Yaron (Ron) Minsky
@yminsky3 Nov 2021
A new Signals & Threads ep, with a different spin. Instead of a Jane Street engineer, I spoke with @avsm, systems researcher, OCaml impresario, and founder of OCaml Labs. I hope y'all have half as much fun listening as we did recording! signalsandthreads.com/what-i…

Signals and Threads Podcast

Listen in on Jane Street’s Ron Minsky as he has conversations with engineers working on everything from clock synchronization to reliable multicast, build systems to reconfigurable hardware. Get a...

signalsandthreads.com
4
17
1
90
No longer using this site retweeted
Tim McGilchrist@lambda_foo31 Oct 2021
I wrote a little something on Getting Started with OCaml in 2021. lambdafoo.com/posts/2021-10-…
3
20
68
Continuing my move to Wayland+KVM - getting Xwayland running in VMs was surprisingly difficult: roscidus.com/blog/blog/2021/…
2
4
Load more