Andrey Popp's Avatar

Andrey Popp

@andreypopp.bsky.social

256 Followers  |  192 Following  |  68 Posts  |  Joined: 06.08.2023  |  1.8172

Latest posts by andreypopp.bsky.social on Bluesky

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.

29.07.2025 06:54 โ€” ๐Ÿ‘ 3    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0
Preview
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

Seen ocaml-mlx/mlx? github.com/ocaml-mlx/mlx

29.07.2025 06:49 โ€” ๐Ÿ‘ 3    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

ะงั‚ะพ ะทะฝะฐั‡ะธั‚ ะพั‚ะฟั€ะฐะฒะธั‚ัŒ URL? ะกัƒะดั ะฟะพ ะทะฐะฒะธัะธะผะพัั‚ัะผ โ€” ั‚ะฐะผ ั‚ะพะปัŒะบะพ ั‡ั‚ะพะฑั‹ ะตะณะพ ะธะท ัั‚ั€ะพะบะธ ะฟะฐั€ัะธั‚ัŒ (ะธ ะพะฑั€ะฐั‚ะฝะพ).

28.04.2025 11:01 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

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

19.01.2025 15:21 โ€” ๐Ÿ‘ 3    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

But itโ€™s possible to resolve constraints in any order (Applicative before Traversable in the example above), no? How would that work with currying?

11.01.2025 06:02 โ€” ๐Ÿ‘ 2    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

feels like this discussion happens again and again ๐Ÿ˜… between same persons

08.01.2025 06:39 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Video thumbnail

I'm writing a fun little text editor in C and vulkan!

Like vim, it's modal. But there is no concept of a cursor in normal mode, only a selection. You can switch the selection "granularity" with h and l, then move the selection with j and k.

And ofc there are a ton more hotkeys for selection manip.

01.01.2025 22:31 โ€” ๐Ÿ‘ 14    ๐Ÿ” 5    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

ah! though the demos you share here and on twitter are cool!

23.12.2024 13:04 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

presenting?

22.12.2024 11:36 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

ok, fair, so whatโ€™s NEWLANG? and can we collaborate?

08.12.2024 12:50 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

wait, I've max-multicasted DISTRO, it's alone ~40 votes

08.12.2024 12:25 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

Yeah, will need a runtime.

08.12.2024 09:07 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

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.

08.12.2024 08:47 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

I'm pretty sure OCaml runs on esp32, well, even Python/Lua can do that...

08.12.2024 08:31 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

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

08.12.2024 05:39 โ€” ๐Ÿ‘ 4    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

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

08.12.2024 05:15 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

oh... a very useful extension, but I'd prefer something like:

include Comparable(Self)

where Self is a "current module"

07.12.2024 14:32 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

no, I mean whatโ€™s calling convention, how does
It pass the record fields? Not heap allocated?

06.12.2024 16:17 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

only if it does so efficiently!

06.12.2024 15:48 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

But it doesnโ€™t detect grammar conflicts, doesnโ€™t track source locations, โ€ฆ

06.12.2024 04:00 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

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...

02.12.2024 07:51 โ€” ๐Ÿ‘ 4    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

if you have dune watch running then dune files can be formatted through ocamllsp, so works out of the box.

02.12.2024 07:24 โ€” ๐Ÿ‘ 6    ๐Ÿ” 1    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

ocaml-re

02.12.2024 07:07 โ€” ๐Ÿ‘ 3    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

If you need any help/have questions wrt. workflow or in general, please feel free to reach out!

29.11.2024 14:00 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Mention melange as well? Used in industry. Maybe thereโ€™s a room for a chapter on melange written by an invited author?

29.11.2024 08:30 โ€” ๐Ÿ‘ 3    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

For example, there are resources but you cannot ask Claude to list them, they just appear in a dropdown you can select them, and then it's just a JSON blob hanging in the chat.

With prompts, when Claude asks you for param, it's just a text input in which you need to enter an URI of a resource...

28.11.2024 22:09 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Played with anthropic's modelcontextprotocol.io โ€” made a simple server exposing neovim to claude desktop

I think right now now only Tools are supported more or less ok in the Claude. Otherwise the UX is very rough...

28.11.2024 22:09 โ€” ๐Ÿ‘ 2    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

Best language for #adventofcode is an array language: K, BQN, โ€ฆ

Extremely concise (means easy to iterate), data friendly, forces you to write fast code.

28.11.2024 08:07 โ€” ๐Ÿ‘ 5    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

K is also very practical

28.11.2024 07:56 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Oh, curious what are rich text editing challenges you have?

27.11.2024 12:51 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

@andreypopp is following 20 prominent accounts