TonyFettes

[TonyFettes @TonyFettes]

Migrated the Ghostty terminal parser to MoonBit using Codex, and built a simple tmux on top of it.

Check it out: https://t.co/H2ffLd8e4U

#MoonBit @moonbitlang

[TonyFettes @TonyFettes]

Pattern-guard comes handy when processing event streams. You can easily stacks up complex priorities and overrides while maintaining a good readability.

If you are interested in the terminal library used in the picture, check out: https://t.co/NclszYyVHm

@moonbitlang #MoonBit

[TonyFettes @TonyFettes]

Preview of ds4.mbt: native MoonBit bindings for https://t.co/t11CCTWbGl, running DeepSeek V4 Flash locally on Metal.

Streaming reasoning, local GGUF inference, no API calls.

Thanks @antirez for such an amazing project.

@moonbitlang #MoonBit

[TonyFettes @TonyFettes]

The best harness engineering is the one shipped with language toolchain.

`moon coverage analyze` works amazingly well with GPT-5.5, helping me build great confidence in the 30k LOC of MoonBit it spits in one session.

#MoonBit @moonbitlang

[whitepie @whitepie__]

Closed enums force you to nail every case upfront. Need a new variant from another package? Fork the source or wrap it.

MoonBit's `extenum` is open — declare it once, and any package can plug in new constructors. Perfect for events, messages, plugins.

@moonbitlang

[TonyFettes @TonyFettes]

xterm.js meets Rabbita.

Use a real xterm.js terminal from MoonBit with Rabbita-managed lifecycle, subscriptions, resize/title events, and output.

The demo replays an asciinema recording as a proof of concept.

https://t.co/ZeQIjvdqLe

@moonbitlang #MoonBit

[TonyFettes @TonyFettes]

Elm-like async IO (process spawning here), where effects, subscriptions are all fully extensible and testable. Made possible with @moonbitlang #MoonBit

[TonyFettes @TonyFettes]

Libadwaita actually looks pretty solid on macOS...

Built with #MoonBit, btw.

@moonbitlang

[TonyFettes @TonyFettes]

Made GTK working in MoonBit!

@moonbitlang #MoonBit

[TonyFettes @TonyFettes]

Prototyping a MoonBit Objective-C bridge...

@moonbitlang #MoonBit

[TonyFettes @TonyFettes]

"Mom, can we have weak references?"
"We have weak references at home."

Weak references at home:

@moonbitlang #MoonBit

[TonyFettes @TonyFettes]

🥳🥳🥳

https://t.co/6W13jdtgJE

[Informatheux @informatheux]

Quelqu'un m'a envoyé ça et faut que je le partage :

[CircuitShepherd @CircuitShepherd]

Use a string of mirrored current sources to adjust them all with a single analog potentiometer:

[Apprentice @monadivalence]

Imagine having this much automation in interactive theorem proving in Agda/Lean

[TonyFettes @TonyFettes]

If you're interested in my talk, please checkout the video at https://t.co/XFO2odGqyH

[TonyFettes @TonyFettes]

Presented our work on how to design a PL for LLM code gen at @llm4code yesterday! If you're interested, please checkout our X account @moonbitlang and play with MoonBit at https://t.co/Tz7Qa7n5w2

[さわらつき @sawaratsuki1004]

Arch Linux

[TonyFettes @TonyFettes]

Presented our work on how to design a PL for LLM code gen at @llm4code yesterday! If you're interested, please checkout our X account @moonbitlang and play with MoonBit at https://t.co/Tz7Qa7n5w2

[TonyFettes @TonyFettes]

@WenzhangYang 刚刚在 ICSE 听了一个类似的 talk，也是做 code translation，GPT-4 被 c2rust 暴打...

[TonyFettes @TonyFettes]

Attending ICSE today, thank @moonbitlang for this opportunity! #ICSE2024