Tim McGilchrist

I’m no longer using this account. If you want to follow me about OCaml and other tech use @tsmc@hachyderm.io

@KosmosKrypto Yes you can with Asahi Linux (they don’t yet support M3/4) asahilinux.org

@lambda_foo Can I run linux arm on a m2 pro?

Who’s using OCaml on Linux Arm64?

Latest XCode 16 includes DWARF5 support. That will help with building debug support for OCaml.

@DanielW_Kiwi Asahi Linux is an option on Apple hardware.

@lambda_foo Oh very cool, I hadn't thought of the PI that's an obvious one. I've been hoping for a high powered ARM laptop. So far Apple and Microsoft have good options but none for Linux that seem any good.

@DanielW_Kiwi I’m using a mix of RPi4/5 for embedded stuff, Ampere servers, and cloud compute from vendors like Scaleway or Equinix.

@lambda_foo What hardware is good for Linux Arm64?

FP Syd kicking off tonight with neural networks and quadcopters.

Check out the ways you can participate in the #ICFP2024 #OCaml and #ML workshops remotely, via the live stream and Discord instance! 🐫 eu1.hubs.ly/H0c7Rh50

How to watch the OCaml workshop livestreams 👇

Anton Lorenzen's talk on locality, uniqueness and affinity in OCaml, at ICFP!

Reminder we are on tomorrow evening. Bring along your short talks. I’ll be demo’ing DWARF support for OCaml on MacOS.

FP-SYD is on next week with a lightning talk edition. Come along armed with your coolest and most interesting FP related short talks. RSVP on meetup #ocaml #haskell meetup.com/fp-syd/events/…

Getting Started with LLDB on OCaml lambdafoo.com/posts/2024-08-… #ocaml #lldb

FP-SYD is on tomorrow night. We'll be looking at Garbage Collection in GHC Haskell with Jost Berthold. RSVP on meetup.com/fp-syd/events/…

FP-SYD is on tonight in Sydney. The topic will be "Parsing permutation phrases" presented by Mark Hopkins. Expect some Haskell code samples. meetup.com/fp-syd/events/…

@ManasJayanth That would be cool. I’m deep in writing tex and formatting diagrams. The presentation is on Wednesday. I’ll share what I have afterwards.

@lambda_foo My notes cover the emitted assembly till exception handlers. Been procrastinating on effects. Also, feel free to the Implementation section. All the stuff before is just a refresher.

This month we have OCaml at FP-SYD. I’ll be talking about the implementation of effects in OCaml. Lots of assembly on the menu. RSVP at meetup.com/fp-syd/events/…

FP-SYD is on tonight, with a fantastic talk about reactive systems using F*. Late RSVPs welcome meetup.com/fp-syd/events/…

Why should you use #OCaml for your next project? 🤔 @lambda_foo talks abt how to deliver real-world systems, engineering design elements, solution tradeoffs, where to spend yr budget & the non-technical side that dictates whether the project succeeds. youtu.be/TxuLrsQZprE?si…

@yawaramin @ChShersh The package index is versioned in git so you can always pin to a specific version or use lock files.

@lambda_foo @ChShersh I don't think people will take kindly to the idea of a package index where packages can suddenly go missing and builds break and they have to fix it with manual work. We don't need our own left-pad

I'm still learning how the OCaml build tooling works. One of the recent issues about scaling of opam-repository got my attention. My take: I believe there needs to be a more sustainable approach to manually curating a central repository of packages rather than relying on volunteers to manually review and approve PRs. I appreciate all the hard work done by people in their free time for free! But that's a huge amount of busy work 😱🤯 I also still want to get an answer to the question: why do you need a central package repository at all? Can't you just be a thin wrapper around downloading packages from GitHub with the ability to pin by commits? You can put a thin proxy/caching layer between but that's about it. github.com/ocaml/opam-rep…