Andrey Popp
@andreypopp.bsky.social
What book are you going through? I’ve enjoyed Software Foubdations for Coq/Rocq and would love to try Lean using some similar in format book (lots of exercises, book content is in the code comments).
September 4, 2025 at 4:17 AM
What book are you going through? I’ve enjoyed Software Foubdations for Coq/Rocq and would love to try Lean using some similar in format book (lots of exercises, book content is in the code comments).
I think mlx works pretty good with lsp to be honest. And type safe. There are some improvements could be made but overall pretty happy.
July 29, 2025 at 6:54 AM
I think mlx works pretty good with lsp to be honest. And type safe. There are some improvements could be made but overall pretty happy.
Seen ocaml-mlx/mlx? github.com/ocaml-mlx/mlx
GitHub - ocaml-mlx/mlx: OCaml .mlx syntax dialect which adds JSX syntax expressions
OCaml .mlx syntax dialect which adds JSX syntax expressions - ocaml-mlx/mlx
github.com
July 29, 2025 at 6:49 AM
Seen ocaml-mlx/mlx? github.com/ocaml-mlx/mlx
Что значит отправить URL? Судя по зависимостям — там только чтобы его из строки парсить (и обратно).
April 28, 2025 at 11:01 AM
Что значит отправить URL? Судя по зависимостям — там только чтобы его из строки парсить (и обратно).
oh, in tmux there are lots of "quality of life" improvements over screen: can zoom-in/zoom-out a pane, floating windows and many more
January 19, 2025 at 3:21 PM
oh, in tmux there are lots of "quality of life" improvements over screen: can zoom-in/zoom-out a pane, floating windows and many more
But it’s possible to resolve constraints in any order (Applicative before Traversable in the example above), no? How would that work with currying?
January 11, 2025 at 6:02 AM
But it’s possible to resolve constraints in any order (Applicative before Traversable in the example above), no? How would that work with currying?
feels like this discussion happens again and again 😅 between same persons
January 8, 2025 at 6:39 AM
feels like this discussion happens again and again 😅 between same persons
ah! though the demos you share here and on twitter are cool!
December 23, 2024 at 1:04 PM
ah! though the demos you share here and on twitter are cool!
ok, fair, so what’s NEWLANG? and can we collaborate?
December 8, 2024 at 12:50 PM
ok, fair, so what’s NEWLANG? and can we collaborate?
wait, I've max-multicasted DISTRO, it's alone ~40 votes
December 8, 2024 at 12:25 PM
wait, I've max-multicasted DISTRO, it's alone ~40 votes
Yeah, will need a runtime.
December 8, 2024 at 9:07 AM
Yeah, will need a runtime.
yep, but actually it looks like it is made for xtensa (esp32-S), now there is esp32-C also available which is RISCV, would be interesting to see what's missing from OCaml's official RISCV support.
December 8, 2024 at 8:47 AM
yep, but actually it looks like it is made for xtensa (esp32-S), now there is esp32-C also available which is RISCV, would be interesting to see what's missing from OCaml's official RISCV support.
I'm pretty sure OCaml runs on esp32, well, even Python/Lua can do that...
December 8, 2024 at 8:31 AM
I'm pretty sure OCaml runs on esp32, well, even Python/Lua can do that...
DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO
December 8, 2024 at 5:39 AM
DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO
There are things like that — a lib of combinators (+ppx optionally) for type representation. Then functions which accept type representation and do something useful — show, compare, serde, … I remember there was a survey of these in discuss some time ago
December 8, 2024 at 5:15 AM
There are things like that — a lib of combinators (+ppx optionally) for type representation. Then functions which accept type representation and do something useful — show, compare, serde, … I remember there was a survey of these in discuss some time ago
oh... a very useful extension, but I'd prefer something like:
include Comparable(Self)
where Self is a "current module"
include Comparable(Self)
where Self is a "current module"
December 7, 2024 at 2:32 PM
oh... a very useful extension, but I'd prefer something like:
include Comparable(Self)
where Self is a "current module"
include Comparable(Self)
where Self is a "current module"
no, I mean what’s calling convention, how does
It pass the record fields? Not heap allocated?
It pass the record fields? Not heap allocated?
December 6, 2024 at 4:17 PM
no, I mean what’s calling convention, how does
It pass the record fields? Not heap allocated?
It pass the record fields? Not heap allocated?
only if it does so efficiently!
December 6, 2024 at 3:48 PM
only if it does so efficiently!
But it doesn’t detect grammar conflicts, doesn’t track source locations, …
December 6, 2024 at 4:00 AM
But it doesn’t detect grammar conflicts, doesn’t track source locations, …
Agree that it is strange, though this is how it works now — formatting is done through dune rpc (ocamllsp calls dune through rpc) for some unclear to me reasons...
December 2, 2024 at 7:51 AM
Agree that it is strange, though this is how it works now — formatting is done through dune rpc (ocamllsp calls dune through rpc) for some unclear to me reasons...
if you have dune watch running then dune files can be formatted through ocamllsp, so works out of the box.
December 2, 2024 at 7:24 AM
if you have dune watch running then dune files can be formatted through ocamllsp, so works out of the box.
If you need any help/have questions wrt. workflow or in general, please feel free to reach out!
November 29, 2024 at 2:00 PM
If you need any help/have questions wrt. workflow or in general, please feel free to reach out!