- 14
- 3 876
FUN OCaml
Germany
เข้าร่วมเมื่อ 19 พ.ย. 2024
Fun OCaml is an open source hacking event dedicated to OCaml enthusiasts and professionals around the globe!
Here we publish recordings of the conference talks!
Here we publish recordings of the conference talks!
The Story Behind the Fastest Image Comparison Library - Dmitriy Kovalenko - FUN OCaml 2024
Dmitriy Kovalenko's FUN OCaml 2024 talk recording!
Overview by Dmitriy:
I am the author of dmtrKovalenko/odiff which claims to be and it is the fastest in the world (on my banchmarks lol) implementation of the pixel-by-pixel image comparison library which is written in OCaml (and a little bit of C). This is a story about standing the project. Why not to write it in C or Rust? How do we tune the garbage collector to avoid major collections at all? All this and much more like the hidden superpower of unboxed floats and some challenges about naked pointers and upgrading to OCaml v5 in my talk!
odiff: github.com/dmtrKovalenko/odiff
Connect with us
Website: fun-ocaml.com/
Twitter: x.com/FunOCaml
Bluesky: bsky.app/profile/fun-ocaml.com
Overview by Dmitriy:
I am the author of dmtrKovalenko/odiff which claims to be and it is the fastest in the world (on my banchmarks lol) implementation of the pixel-by-pixel image comparison library which is written in OCaml (and a little bit of C). This is a story about standing the project. Why not to write it in C or Rust? How do we tune the garbage collector to avoid major collections at all? All this and much more like the hidden superpower of unboxed floats and some challenges about naked pointers and upgrading to OCaml v5 in my talk!
odiff: github.com/dmtrKovalenko/odiff
Connect with us
Website: fun-ocaml.com/
Twitter: x.com/FunOCaml
Bluesky: bsky.app/profile/fun-ocaml.com
มุมมอง: 388
วีดีโอ
MirageOS - Developing Operating Systems in OCaml - Hannes Mehnert - FUN OCaml 2024
มุมมอง 32728 วันที่ผ่านมา
Hannes Mehnert's FUN OCaml 2024 talk recording! Overview by Hannes: OCaml is a great systems programming language. We use it since more than a decade to develop MirageOS unikernels: run OCaml as a virtual machine, no Linux kernel involved. Since OCaml is statically typed (and type safe), and memory safe, we use a single address space, and avoided a lot of complexity of general purpose operating...
How the Multicore Garbage Collector works - Sudha Parimala - FUN OCaml 2024
มุมมอง 16928 วันที่ผ่านมา
Sudha's FUN OCaml 2024 talk recording! Overview by Sudha: In a first, OCaml 5.0 shipped with native support for parallelism and concurrency. This was a multi-year effort by the Multicore team and the OCaml development team that culminated in OCaml 5.0. The most challenging aspect was designing a multicore-capable garbage collector that remains backwards compatible in terms of features, performa...
Using odoc to Write Documentation - Paul-Elliot Anglès d'Auriac - FUN OCaml 2024
มุมมอง 10028 วันที่ผ่านมา
Paul-Elliot Anglès d'Auriac's FUN OCaml 2024 talk recording! Overview by Paul-Elliot: This talk is a gentle introduction to the documenting part of the OCaml ecosystem. We will see how to use `odoc` to build nice documentation for your `dune`-based project, from a bare repository to a documentation with both API pages and documentation pages. odoc: github.com/ocaml/odoc Connect with us Website:...
Universal React in OCaml - David Sancho Moreno - FUN OCaml 2024
มุมมอง 38728 วันที่ผ่านมา
David Sancho Moreno's FUN OCaml 2024 talk recording! Overview by David: server-reason-react implements react-dom/server and some of React's internals in OCaml. Its purpose is to natively render HTML markup from the server for a Reason React application. This pushes the idea for universal code (sharing code between the browser and native) and this talk is the story of all of this, and what are t...
Type engineering in OCaml, Illustrated on the OCaml Compiler - Florian Angeletti - FUN OCaml 2024
มุมมอง 14628 วันที่ผ่านมา
Florian Angeletti's FUN OCaml 2024 talk recording! Overview by Florian: With four different kinds of variants and four different implementations of an object system, OCaml provides many options to design types to fit domain problems. However, it can be sometimes tempting to escalate type complexity, at the cost of code readability. It is therefore important to find a compromise between code com...
The Future of Dune - Leandro Ostera - FUN OCaml 2024
มุมมอง 33028 วันที่ผ่านมา
Leandro Ostera's FUN OCaml 2024 talk recording! Overview by Leandro: In this talk Leandro Ostera, the PM of OCaml Build System team at Tarides shows the future of developer experience in dune. He will present the new features that are being developed and the roadmap for the next releases. Try the Dune Developer Preview: preview.dune.build Connect with us Website: fun-ocaml.com/ Twitter: x.com/F...
Building Incremental and Reproducible Data Pipelines - Patrick Ferris - FUN OCaml 2024
มุมมอง 13428 วันที่ผ่านมา
Patrick Ferris's FUN OCaml 2024 talk recording! Overview by Patrick: We present the good and the bad of building a dataflow engine in OCaml. The engine underpins a complex ecological analysis of avoided deforestation projects in tropical moist rainforests. We will discuss: Onboarding experienced developers who are new to OCaml. - Building an operating system in OCaml to run Python/R code.Develo...
A 'Melange' of Tooling Coming Together - Antonio Monteiro - FUN OCaml 2024
มุมมอง 24628 วันที่ผ่านมา
Antonio Monteiro's FUN OCaml 2024 talk recording! Overview by Antonio: Melange is a new compiler for OCaml targeting JavaScript. Melange codebases integrate with the OCaml Platform: install from OPAM, build with Dune, preprocess with `ppxlib`, format with OCamlformat and publish with `dune-release`. Merlin, OCaml-LSP and `odoc` work out of the box. In this talk, I will tell you about the Melang...
Let Signals in OCaml - Rizo Isrof - FUN OCaml 2024
มุมมอง 26728 วันที่ผ่านมา
Rizo Isrof's FunOCaml 2024 talk recording! Overview by Rizo: Signals and fine-grained reactivity are two popular concepts in the JavaScript world, thanks to their simplicity, ergonomics and excellent performance. What are signals? What is their type? How can we use them in OCaml? Let's build a reactive UI library from scratch to find out! From simple callbacks, layers are added to support batch...
Learning OCaml with Tiny Code Xmas - Michael Dales - FUN OCaml 2024
มุมมอง 29328 วันที่ผ่านมา
Michael Dales's FUN OCaml 2024 talk recording! Overview by Michael: Each year the demo community run Tiny Code Xmas - using fantasy consoles like TIC-80 and PICO-8 to teach people to do retro graphics effects and size coding. But I didn't want to learn size coding, I wanted to learn OCaml! So for my first OCaml project I built a small fantasy console engine using OCaml, and implemented both Tin...
OCANNL, the `neural_nets_lib` - Lukasz Stafiniak - FUN OCaml 2024
มุมมอง 4828 วันที่ผ่านมา
Lukasz Stafiniak's FUN OCaml 2024 talk recording! Overview by Lukasz: Using OCANNL, we will build a toy feed forward network, we will train it, visualize its outputs. We will take a peek at the actual computation generated at various levels of abstraction: tensor node assignments, optimized C-language-like programs, translations to actual C (for CPUs, or CUDA but it is still work-in-progress). ...
Maybe OCaml Was the Friends We Made Along the Way - Dillon Mulroy - FUN OCaml 2024
มุมมอง 55728 วันที่ผ่านมา
Dillon Mulroy's FUN OCaml 2024 talk recording! Overview by Dillon: In my decade-long journey as a software engineer, the most transformative experience came from an unexpected source: learning and using OCaml. I will share how this functional programming language reshaped my approach to problem-solving, coding practices, and overall mindset about programming. Beyond the technical skills, OCaml ...
Easy GADTs by Repeating Yourself - Eduardo Rafael - FUN OCaml 2024
มุมมอง 49928 วันที่ผ่านมา
Eduardo Rafael's FUN OCaml 2024 talk recording! Overview by Eduardo: Traditionally GADT's are used for lightweight tasks as the code complexity increases quite. I will be arguing that this is mostly a lack of common "design patterns" and maybe some tools. The talk will go through describing what you can fundamentally do with GADT's, how you should think about them and a general technique to mim...