Tim McGilchrist

8.1K posts

Tim McGilchrist banner
Tim McGilchrist

Tim McGilchrist

@lambda_foo

Providing thought leadership since 1801. Haskell and OCaml programmer. Co-Organiser of FP-SYD. https://t.co/CvgHnwKodT

Sydney, Australia Inscrit le Aralık 2008
562 Abonnements651 Abonnés
Tim McGilchrist
Tim McGilchrist@lambda_foo·
I’m no longer using this account. If you want to follow me about OCaml and other tech use @tsmc@hachyderm.io
English
1
1
5
452
Tim McGilchrist
Tim McGilchrist@lambda_foo·
Who’s using OCaml on Linux Arm64?
English
2
1
2
657
Tim McGilchrist
Tim McGilchrist@lambda_foo·
Latest XCode 16 includes DWARF5 support. That will help with building debug support for OCaml.
English
1
1
3
568
Daniel 🦔
Daniel 🦔@DanielW_Kiwi·
@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.
English
1
0
0
32
Tim McGilchrist
Tim McGilchrist@lambda_foo·
@DanielW_Kiwi I’m using a mix of RPi4/5 for embedded stuff, Ampere servers, and cloud compute from vendors like Scaleway or Equinix.
English
1
0
1
55
Tim McGilchrist
Tim McGilchrist@lambda_foo·
FP Syd kicking off tonight with neural networks and quadcopters.
Tim McGilchrist tweet media
English
0
0
3
165
Tim McGilchrist retweeté
Yaron (Ron) Minsky
Yaron (Ron) Minsky@yminsky·
Anton Lorenzen's talk on locality, uniqueness and affinity in OCaml, at ICFP!
Yaron (Ron) Minsky tweet media
English
1
9
80
9.9K
Tim McGilchrist
Tim McGilchrist@lambda_foo·
Reminder we are on tomorrow evening. Bring along your short talks. I’ll be demo’ing DWARF support for OCaml on MacOS.
English
0
0
1
74
Tim McGilchrist
Tim McGilchrist@lambda_foo·
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/…
English
0
0
1
105
Tim McGilchrist
Tim McGilchrist@lambda_foo·
@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.
English
2
0
1
32
prometheansacrifice (esy.sh)
prometheansacrifice (esy.sh)@ManasJayanth·
@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.
English
3
0
1
50
Tim McGilchrist
Tim McGilchrist@lambda_foo·
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/…
English
1
7
22
1.7K
Tim McGilchrist retweeté
YOW! Conferences
YOW! Conferences@yow_conf·
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…
YouTube video
YouTube
English
0
10
20
1.6K
Tim McGilchrist
Tim McGilchrist@lambda_foo·
@yawaramin @ChShersh The package index is versioned in git so you can always pin to a specific version or use lock files.
English
1
0
1
19
Yawar Amin
Yawar Amin@yawaramin·
@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
English
1
0
1
15
Dmitrii Kovanikov
Dmitrii Kovanikov@ChShersh·
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…
English
11
1
21
4.8K