lambda_foo

7 ms·

1.
by lambda_foo 11d ago
GTK4 bindings https://github.com/chris-armstrong/ocgtk
2.
IBM Z and LinuxONE Dual-ISA Processor(servethehome.com)
3 points by lambda_foo 22d ago|0 comments
3.
OCaml 5.5 Released(discuss.ocaml.org)
4 points by lambda_foo 3mo ago|0 comments
4.
by lambda_foo 7mo ago
The type system for effects is an ongoing research effort. For now you get unhandled effect exceptions at runtime. With Multicore OCaml we gained thread sanitizer support and a reasonable memory model. Combined they give you tools for reaso
5.
by lambda_foo 7mo ago
Strongly agree, plus OCaml has an expressive type system that lets you build abstractions that just aren’t possible with Go. The original article gives poor reasons for choosing Go.
6.
by lambda_foo 7mo ago
With OCaml 5 supporting effect handlers I expect MirageOS will go in that direction. It’ll make for more readable code than LWT.
7.
by lambda_foo 10mo ago
My own repo in the OP :-)
8.
by lambda_foo 10mo ago
It's really fascinating the different little evaluators that exist in DWARF. I started writing one for the DWARF expression format ( https://github.com/tmcgilchrist/durin/pull/7 ) that I'm integrating
9.
by lambda_foo 10mo ago
It is heavily WIP at the moment so I haven't published to opam just yet. You'll need to compile from source if you want to try it out. I'm filling in examples as I need them and publishing code when it isn't too terrible
10.
by lambda_foo 10mo ago
Author here, a bit cringe to see your WIP project posted here. My motivation for writing this from scratch is to simultaneously understand DWARF 5 in all its gory details, develop tooling to support my work on the OCaml compiler, and to bui
11.
by lambda_foo 10mo ago
Why have the OP in the loop at all if he’s just sending prompts to AI? Surely it’s a wonderful piece of performance art.
12.
by lambda_foo 10mo ago
Pretty much. I guess it’s open source but it’s not in the spirit of open source contribution. Plus it puts the burden of reviewing the AI slop onto the project maintainers and the future maintenance is not the submitters problem. So you’ve
13.
by lambda_foo 1y ago
The fact that Itanium had register windows was such a strange choice. I thought they had been shown to not be worthwhile like branch delay slots in MIPS. Basically hangovers from the early constraints of hardware implementations.
14.
by lambda_foo 1y ago
Thanks for sharing, I had no idea about this project. Could you share some more details about where this project is used? Links to those open positions for OCaml developers would be interesting too, not for myself :-)
15.
by lambda_foo 1y ago
Using DAP with VSCode and OCaml's bytecode debugger ( https://github.com/hackwaly/ocamlearlybird ) works reasonably well already. My blog post above can be modified to work with VSCode, but I'm primarily an Ema
16.
LLDB's TypeSystems: An Unfinished Interface(walnut356.github.io)
1 points by lambda_foo 1y ago|0 comments
17.
by lambda_foo 1y ago
David Christiansen did a more recent experience report from 2019 about using Dependently Typed Haskell at Galois. https://davidchristiansen.dk/pubs/dependent-haskell-experien... The video is on YouTube somewhere. Havin
18.
by lambda_foo 1y ago
Even if Oracle tried, SPARC performance was terrible and their value for money was too. We benchmarked a finance system (Transaction Processing) where we needed 3x the SPARC hardware to keep up with Intel/Linux. Once they bought Sun I
19.
by lambda_foo 2y ago
Sure, you will need to write a major mode but honestly it's not that hard to get syntax highlighting working. If you follow something like https://www.masteringemacs.org/article/lets-write-a-treesitt... plus using
20.
Why do frame pointers matter for OCaml?(lambdafoo.com)
18 points by lambda_foo 2y ago|0 comments
21.
by lambda_foo 3y ago
There is a pretty complete wasm_of_ocaml port to the Eliom web framework here https://github.com/ocsigen/eliom/pull/767 It seems like it’s a relatively easy swap from js_of_ocaml to WASM. That’s the option I’
22.
by lambda_foo 3y ago
They are targeting two different intermediate representations in the compiler. wasm_of_ocaml is a fork of js_of_ocaml that consumes OCaml bytecode and emits Wasm instead of JavaScript. Compared to wasocaml that uses the FLambda-based backen
23.
by lambda_foo 3y ago
Shout out to https://github.com/samuelkarp/runj which aims to provide OCI compatible runtime for FreeBSD jails. We are working on a Jails based sandbox implementation for running OCaml builds on FreeBSD, https:/&
24.
OCaml 4.13.0 (and 4.12.1) Released(discuss.ocaml.org)
6 points by lambda_foo 5y ago|0 comments
25.
by lambda_foo 12y ago
It's not clear to me why you'd choose OCaml over Haskell. I understand that OCaml isn't lazily evaluated like Haskell and has a simpler to understand compiler which gives a better understanding how the code will perform at ru
26.
by lambda_foo 16y ago
Nice to see others with the same attitude. It's a thing of beauty to see a room cleared of clutter and reduced to the bare minimum of furniture/stuff. We follow a very similar process in our house. If it hasn't been used in 6 months or so i