|
| 1 | +- title: 0xCaml From a System Engineer's Point of View - Dmitriy Kovalenko - FUN OCaml |
| 2 | + 2025 |
| 3 | + description: "0xCaml From a System Engineer's Point of View\r\n\r\nDmitriy Kovalenko |
| 4 | + (LightSource)\r\n\r\nABSTRACT\r\n\r\nI do a lot of Rust, C, Zig and whatever else |
| 5 | + cursed systems programming languages are there. So recently 0xCaml popped out |
| 6 | + and I was def interested if ..." |
| 7 | + url: https://watch.ocaml.org/videos/watch/48e84692-9e43-47c5-8d54-60550299e988 |
| 8 | + thumbnail: https://watch.ocaml.org/lazy-static/thumbnails/1d15c2cc-4ea4-41df-a558-1aeff51e6cd8.jpg |
| 9 | + published: 2025-11-10T00:00:00.000Z |
| 10 | + author_name: Unknown |
| 11 | + author_uri: https://watch.ocaml.org/ |
| 12 | + source_link: https://watch.ocaml.org/ |
| 13 | + source_title: Watch OCaml |
1 | 14 | - title: '25 Years of OCaml: Xavier Leroy' |
2 | 15 | description: Professor Xavier Leroy -- the primary original author and leader of |
3 | 16 | the OCaml project -- reflects on 25 years of the OCaml language at his OCaml Workshop |
|
81 | 94 | author_uri: https://watch.ocaml.org/ |
82 | 95 | source_link: https://watch.ocaml.org/ |
83 | 96 | source_title: Watch OCaml |
| 97 | +- title: A Vision for OCaml in the AI Era - Thibaut Mattio - FUN OCaml 2025 |
| 98 | + description: "A Vision for OCaml in the AI Era\r\n\r\nThibaut Mattio\r\n\r\nABSTRACT\r\n\r\nAI |
| 99 | + is reshaping software development, yet OCaml's adoption in AI workflows remains |
| 100 | + limited. This talk explores how the OCaml community can proactively embrace AI |
| 101 | + to make OCaml a pro..." |
| 102 | + url: https://watch.ocaml.org/videos/watch/b959eeaf-e8c1-48e4-9d16-f8084a7bdda9 |
| 103 | + thumbnail: https://watch.ocaml.org/lazy-static/thumbnails/f79f69db-2da5-4be0-b126-9f15338762c6.jpg |
| 104 | + published: 2025-12-02T08:31:50.359Z |
| 105 | + author_name: Unknown |
| 106 | + author_uri: https://watch.ocaml.org/ |
| 107 | + source_link: https://watch.ocaml.org/ |
| 108 | + source_title: Watch OCaml |
84 | 109 | - title: A review of the growth of the OCaml community |
85 | 110 | description: "" |
86 | 111 | url: https://watch.ocaml.org/videos/watch/f9d0b637-8aec-4bff-8c32-cd16b58023b6 |
|
138 | 163 | author_uri: https://watch.ocaml.org/ |
139 | 164 | source_link: https://watch.ocaml.org/ |
140 | 165 | source_title: Watch OCaml |
| 166 | +- title: Analyzing Programs with SMT Solvers - Tikhon Jelvis - FUN OCaml 2025 |
| 167 | + description: "Analyzing Programs with SMT Solvers\r\n\r\nTikhon Jelvis (Semgrep)\r\n\r\nABSTRACT\r\n\r\nWe |
| 168 | + can use SMT solvers like Z3 to analyze programs and answer difficult questions |
| 169 | + about our code. By generating and solving complex constraints, we can improve |
| 170 | + error mes..." |
| 171 | + url: https://watch.ocaml.org/videos/watch/501e4907-e1a2-4a03-b19a-659c98847333 |
| 172 | + thumbnail: https://watch.ocaml.org/lazy-static/thumbnails/b2800b78-1099-4598-8d92-78611ebc89dc.jpg |
| 173 | + published: 2025-11-12T00:00:00.000Z |
| 174 | + author_name: Unknown |
| 175 | + author_uri: https://watch.ocaml.org/ |
| 176 | + source_link: https://watch.ocaml.org/ |
| 177 | + source_title: Watch OCaml |
141 | 178 | - title: Arakoon - a distributed consistent key-value store |
142 | 179 | description: "Arakoon - a distributed consistent key-value store, by Nicolas Trangez.\r\n\r\nArakoon |
143 | 180 | is a simple consistent distributed key value store. Technically, it\u2019s an |
|
551 | 588 | author_uri: https://watch.ocaml.org/ |
552 | 589 | source_link: https://watch.ocaml.org/ |
553 | 590 | source_title: Watch OCaml |
| 591 | +- title: 'Frameworks: No, Libraries: Yes. Developing a product in OCaml from Scratch |
| 592 | + - FUN OCaml 2025' |
| 593 | + description: "Frameworks: No, Libraries: Yes. Developing a product in OCaml from |
| 594 | + Scratch\r\n\r\nMalcolm Matalka (Terrateam)\r\n\r\nABSTRACT\r\n\r\nTerrateam is |
| 595 | + an open source infrastructure management product written in OCaml. In order to |
| 596 | + stay lean and flexible, Terrateam ..." |
| 597 | + url: https://watch.ocaml.org/videos/watch/4c7b5d96-7a93-42bd-9729-daaedd331c8f |
| 598 | + thumbnail: https://watch.ocaml.org/lazy-static/thumbnails/e2a19621-9541-4eb1-9756-434cb5693664.jpg |
| 599 | + published: 2025-11-14T00:00:00.000Z |
| 600 | + author_name: Unknown |
| 601 | + author_uri: https://watch.ocaml.org/ |
| 602 | + source_link: https://watch.ocaml.org/ |
| 603 | + source_title: Watch OCaml |
554 | 604 | - title: From 2n+1 to n |
555 | 605 | description: "\r\nOCaml relies on a type-agnostic object representation centred |
556 | 606 | around values which unify odd integers and aligned pointers. The last bit of a |
|
563 | 613 | author_uri: https://watch.ocaml.org/ |
564 | 614 | source_link: https://watch.ocaml.org/ |
565 | 615 | source_title: Watch OCaml |
| 616 | +- title: 'From OCaml 4 to 5 and from Parmap to Effects: A legacy code transition story |
| 617 | + - FUN OCaml 2025' |
| 618 | + description: "From OCaml 4 to 5 and from Parmap to Effects: A legacy code transition |
| 619 | + story\r\n\r\nSPEAKERS \r\n\r\nNathan Taylor (Semgrep)\r\nNat Mote (Semgrep)\r\n\r\nABSTRACT\r\n\r\nOCaml |
| 620 | + 5's support for shared memory parallelism and effects-based concurrency opens |
| 621 | + up new ways..." |
| 622 | + url: https://watch.ocaml.org/videos/watch/fbbca08e-f222-4c38-8ccc-f9cce61d9e6a |
| 623 | + thumbnail: https://watch.ocaml.org/lazy-static/thumbnails/9b1f1be3-23f5-4d6a-87ac-b7ee820a7637.jpg |
| 624 | + published: 2025-11-07T00:00:00.000Z |
| 625 | + author_name: Unknown |
| 626 | + author_uri: https://watch.ocaml.org/ |
| 627 | + source_link: https://watch.ocaml.org/ |
| 628 | + source_title: Watch OCaml |
| 629 | +- title: Generating Static Websites the Functional Programming Way - Xavier Van de |
| 630 | + Woestyne - FUN OCaml 2025 |
| 631 | + description: "Generating Static Websites the Functional Programming Way\r\n\r\nXavier |
| 632 | + Van de Woestyne (Tarides)\r\n\r\nABSTRACT\r\n\r\nStatic site generators like Jekyll, |
| 633 | + Zola, and Hugo are effective, but fall short for complex sites like personal encyclopedias, |
| 634 | + wikis, or ..." |
| 635 | + url: https://watch.ocaml.org/videos/watch/e9c12245-eea3-4b71-87e3-4a467ddb0ffb |
| 636 | + thumbnail: https://watch.ocaml.org/lazy-static/thumbnails/c0fc97cb-478e-4e05-93b4-a7292dbe096d.jpg |
| 637 | + published: 2025-11-08T00:00:00.000Z |
| 638 | + author_name: Unknown |
| 639 | + author_uri: https://watch.ocaml.org/ |
| 640 | + source_link: https://watch.ocaml.org/ |
| 641 | + source_title: Watch OCaml |
566 | 642 | - title: Generic Programming in OCaml |
567 | 643 | description: Florent Balestrieri, Michel Mauny |
568 | 644 | url: https://watch.ocaml.org/videos/watch/0aae98b9-3d0c-427b-af09-802b671dd66e |
|
662 | 738 | author_uri: https://watch.ocaml.org/ |
663 | 739 | source_link: https://watch.ocaml.org/ |
664 | 740 | source_title: Watch OCaml |
| 741 | +- title: 'I Can See The Pixels: Designing Cross-Stitch Patterns in OCaml - Mindy Preston |
| 742 | + - FUN OCaml 2025' |
| 743 | + description: "I Can See The Pixels: Designing Cross-Stitch Patterns in OCaml\r\n\r\nMindy |
| 744 | + Preston (yomimono)\r\n\r\nABSTRACT\r\n\r\nI was unsatisfied with existing cross-stitch |
| 745 | + pattern generating software, which was mostly structured like pixel-based paint |
| 746 | + programs. Those ..." |
| 747 | + url: https://watch.ocaml.org/videos/watch/6d859b22-d09a-442a-b1a2-d9e3227a0ce9 |
| 748 | + thumbnail: https://watch.ocaml.org/lazy-static/thumbnails/98596982-5b59-4dde-90fe-0198387c1ecc.jpg |
| 749 | + published: 2025-11-15T00:00:00.000Z |
| 750 | + author_name: Unknown |
| 751 | + author_uri: https://watch.ocaml.org/ |
| 752 | + source_link: https://watch.ocaml.org/ |
| 753 | + source_title: Watch OCaml |
665 | 754 | - title: Implementing an interval computation library for OCaml |
666 | 755 | description: "Implementing an interval computation library for OCaml, by Jean-Marc |
667 | 756 | Alliot, Charlie Vanaret, Jean-Baptiste Gotteland, Nicolas Durand and David Gianazza.\r\n\r\nIn |
|
987 | 1076 | author_uri: https://watch.ocaml.org/ |
988 | 1077 | source_link: https://watch.ocaml.org/ |
989 | 1078 | source_title: Watch OCaml |
| 1079 | +- title: "OCaml at LexiFi - Nicol\xE1s Ojeda B\xE4r - FUN OCaml 2025" |
| 1080 | + description: "OCaml at LexiFi\r\n\r\nNicol\xE1s Ojeda B\xE4r\r\n\r\nABSTRACT\r\n\r\nLexiFi |
| 1081 | + is likely to have been the first real industrial user of OCaml, back when it was |
| 1082 | + funded in 2000. In this talk, I will present some of the things we have learned |
| 1083 | + along the way. Some of the ..." |
| 1084 | + url: https://watch.ocaml.org/videos/watch/28bb8857-ccb8-4888-876f-ba74d238a0cd |
| 1085 | + thumbnail: https://watch.ocaml.org/lazy-static/thumbnails/e8f3a6fe-8bd6-4e31-b59e-7f57c9870927.jpg |
| 1086 | + published: 2025-11-19T00:00:00.000Z |
| 1087 | + author_name: Unknown |
| 1088 | + author_uri: https://watch.ocaml.org/ |
| 1089 | + source_link: https://watch.ocaml.org/ |
| 1090 | + source_title: Watch OCaml |
990 | 1091 | - title: 'OCaml behind the scenes: Exceptions' |
991 | 1092 | description: "In this talk, Fabrice Buoro explained what happens at the deepest |
992 | 1093 | level when your OCaml program raises or catches an exception. This inside knowledge |
|
1264 | 1365 | author_uri: https://watch.ocaml.org/ |
1265 | 1366 | source_link: https://watch.ocaml.org/ |
1266 | 1367 | source_title: Watch OCaml |
| 1368 | +- title: 'Performance Pitfalls: Tales From a Python/OCaml Codebase - Emma Jin - FUN |
| 1369 | + OCaml 2025' |
| 1370 | + description: "Performance Pitfalls: Tales From a Python/OCaml Codebase\r\n\r\nEmma |
| 1371 | + Jin (Semgrep)\r\n\r\nABSTRACT\r\n\r\nSemgrep is a tool that enables developers |
| 1372 | + to search their code for security vulnerabilities, built with an OCaml engine |
| 1373 | + and a Python frontend. This has c..." |
| 1374 | + url: https://watch.ocaml.org/videos/watch/1dd46b85-e119-436a-ab62-f6b9e673e7e0 |
| 1375 | + thumbnail: https://watch.ocaml.org/lazy-static/thumbnails/59ea8a75-d46d-4bb0-a2b3-015597b1bbee.jpg |
| 1376 | + published: 2025-11-09T00:00:00.000Z |
| 1377 | + author_name: Unknown |
| 1378 | + author_uri: https://watch.ocaml.org/ |
| 1379 | + source_link: https://watch.ocaml.org/ |
| 1380 | + source_title: Watch OCaml |
1267 | 1381 | - title: Persistent Networking with Irmin and MirageOS |
1268 | 1382 | description: "" |
1269 | 1383 | url: https://watch.ocaml.org/videos/watch/97dd9634-28e4-4066-96e4-9c2036ee4bb2 |
|
1321 | 1435 | author_uri: https://watch.ocaml.org/ |
1322 | 1436 | source_link: https://watch.ocaml.org/ |
1323 | 1437 | source_title: Watch OCaml |
| 1438 | +- title: "Purely functional gRPC and HTTP/2 with OCaml - Adam Cholewi\u0144ski - FUN |
| 1439 | + OCaml 2025" |
| 1440 | + description: "Purely functional gRPC and HTTP/2 with OCaml\r\n\r\nAdam Cholewi\u0144ski |
| 1441 | + (Dialo)\r\n\r\nSession page: https://fun-ocaml.com/2025/production-grade-network-protocols/\r\n\r\n\r\nConnect |
| 1442 | + with FUN OCaml:\r\nTwitter: https://x.com/FunOCaml\r\nBluesky: https://bsky.app/profi..." |
| 1443 | + url: https://watch.ocaml.org/videos/watch/0198f159-d03f-42ff-84b9-c79aa24737e4 |
| 1444 | + thumbnail: https://watch.ocaml.org/lazy-static/thumbnails/f22f6969-dd1c-4ce8-96a1-19870fc37560.jpg |
| 1445 | + published: 2025-11-13T00:00:00.000Z |
| 1446 | + author_name: Unknown |
| 1447 | + author_uri: https://watch.ocaml.org/ |
| 1448 | + source_link: https://watch.ocaml.org/ |
| 1449 | + source_title: Watch OCaml |
1324 | 1450 | - title: 'R&B: Towards bringing functional programming to everyday''s web programmer' |
1325 | 1451 | description: 'Speaker: Hongbo Zhang' |
1326 | 1452 | url: https://watch.ocaml.org/videos/watch/af37368d-085d-431d-923f-cd1d81dfdbe9 |
|
1392 | 1518 | author_uri: https://watch.ocaml.org/ |
1393 | 1519 | source_link: https://watch.ocaml.org/ |
1394 | 1520 | source_title: Watch OCaml |
| 1521 | +- title: "Slipshow: A Full-Featured Presentation Tool in OCaml - Paul-Elliot Angl\xE8s |
| 1522 | + d'Auriac - FUN OCaml 2025" |
| 1523 | + description: "Slipshow: A Full-Featured Presentation Tool in OCaml\r\n\r\nPaul-Elliot |
| 1524 | + Angl\xE8s d'Auriac\r\n\r\nABSTRACT\r\n\r\nSlipshow is a tool to create interactive |
| 1525 | + presentations. Started as a JavaScript project, it is now fully written in OCaml |
| 1526 | + and features a runtime eng..." |
| 1527 | + url: https://watch.ocaml.org/videos/watch/0b4e06b9-3657-472f-abeb-fa6e6ff1823e |
| 1528 | + thumbnail: https://watch.ocaml.org/lazy-static/thumbnails/836c12c8-6cb5-4b26-a88b-a53ddf238fa5.jpg |
| 1529 | + published: 2025-11-11T00:00:00.000Z |
| 1530 | + author_name: Unknown |
| 1531 | + author_uri: https://watch.ocaml.org/ |
| 1532 | + source_link: https://watch.ocaml.org/ |
| 1533 | + source_title: Watch OCaml |
1395 | 1534 | - title: Specialization of Generic Array Accesses After Inlining |
1396 | 1535 | description: "Specialization of Generic Array Accesses After Inlining \u2014 by |
1397 | 1536 | Ryohei Tokuda, Eijiro Sumii, Akinori Abe" |
|
0 commit comments