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@andreypopp.bsky.social
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 ๐ 0Seen 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 ๐ 0oh, 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 ๐ 0But 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 ๐ 0feels like this discussion happens again and again ๐ between same persons
08.01.2025 06:39 โ ๐ 1 ๐ 0 ๐ฌ 0 ๐ 0I'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.
ah! though the demos you share here and on twitter are cool!
23.12.2024 13:04 โ ๐ 1 ๐ 0 ๐ฌ 1 ๐ 0presenting?
22.12.2024 11:36 โ ๐ 0 ๐ 0 ๐ฌ 1 ๐ 0ok, fair, so whatโs NEWLANG? and can we collaborate?
08.12.2024 12:50 โ ๐ 1 ๐ 0 ๐ฌ 0 ๐ 0wait, I've max-multicasted DISTRO, it's alone ~40 votes
08.12.2024 12:25 โ ๐ 1 ๐ 0 ๐ฌ 1 ๐ 0Yeah, will need a runtime.
08.12.2024 09:07 โ ๐ 0 ๐ 0 ๐ฌ 1 ๐ 0yep, 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 ๐ 0I'm pretty sure OCaml runs on esp32, well, even Python/Lua can do that...
08.12.2024 08:31 โ ๐ 0 ๐ 0 ๐ฌ 1 ๐ 0DISTRO 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 ๐ 0There 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 ๐ 0oh... a very useful extension, but I'd prefer something like:
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?
only if it does so efficiently!
06.12.2024 15:48 โ ๐ 1 ๐ 0 ๐ฌ 1 ๐ 0But it doesnโt detect grammar conflicts, doesnโt track source locations, โฆ
06.12.2024 04:00 โ ๐ 1 ๐ 0 ๐ฌ 1 ๐ 0Agree 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 ๐ 0if 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 ๐ 0ocaml-re
02.12.2024 07:07 โ ๐ 3 ๐ 0 ๐ฌ 0 ๐ 0If 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 ๐ 0Mention 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 ๐ 0For 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...
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...
Best language for #adventofcode is an array language: K, BQN, โฆ
Extremely concise (means easy to iterate), data friendly, forces you to write fast code.
K is also very practical
28.11.2024 07:56 โ ๐ 1 ๐ 0 ๐ฌ 0 ๐ 0Oh, curious what are rich text editing challenges you have?
27.11.2024 12:51 โ ๐ 1 ๐ 0 ๐ฌ 0 ๐ 0