Joined July 2015
- Tweets 27
- Following 93
- Followers 39
- Likes 228
14 Photos and videos
Jun 11
We have introduced a new operator `<?` to enable high-performance logging library.
This means if the logging level is not enabled, all the computations in the logging expression, even the construction of the entry, will not happen.
@moonbitlang #MoonBit
1
10
3,149
Jun 2
Migrated the Ghostty terminal parser to MoonBit using Codex, and built a simple tmux on top of it.
Check it out: github.com/moonbit-community…
#MoonBit @moonbitlang
3
10
1,350
May 25
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: github.com/moonbit-community…
@moonbitlang #MoonBit
1
8
1,088
May 18
Preview of ds4.mbt: native MoonBit bindings for github.com/antirez/ds4, running DeepSeek V4 Flash locally on Metal.
Streaming reasoning, local GGUF inference, no API calls.
Thanks @antirez for such an amazing project.
@moonbitlang #MoonBit
6
19
5,581
May 11
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
3
8
1,096
TonyFettes retweeted
May 8
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
5
16
6,597
Apr 30
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.
moonbit-community.github.io/…
@moonbitlang #MoonBit
4
9
1,644
Apr 16
Elm-like async IO (process spawning here), where effects, subscriptions are all fully extensible and testable. Made possible with @moonbitlang #MoonBit
3
7
2,659
Apr 9
Libadwaita actually looks pretty solid on macOS...
Built with #MoonBit, btw.
@moonbitlang
2
6
743
Mar 18
"Mom, can we have weak references?"
"We have weak references at home."
Weak references at home:
@moonbitlang #MoonBit
1
6
1,102
TonyFettes retweeted
24 May 2024
Quelqu'un m'a envoyé ça et faut que je le partage :
ALT Tableau intitulé What is syntax ? Lawful Good : Initial object of the semantics category Lawful Neutral : Category of contexts and substitutions Lawful Evil : Category of types and functions Neutral Good : Well-scope syntax True Neutral : Abstract syntax tree Neutral Evil : Labelled directed graphs Chaotic Good : alpha-equivalent class of strings Chaotic Neutral : Strings generated from rules Chaotic Evil : Gödel numbers go brrrrrrr
34
137
9,001
TonyFettes retweeted
29 Apr 2024
Use a string of mirrored current sources to adjust them all with a single analog potentiometer:
6
102
609
35,312
TonyFettes retweeted
22 Apr 2024
Imagine having this much automation in interactive theorem proving in Agda/Lean
1
2
6
432
24 Apr 2024
If you're interested in my talk, please checkout the video at youtube.com/watch?v=Bw2bd__g…
21 Apr 2024
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 try.moonbitlang.com
1
135
TonyFettes retweeted
22 Apr 2024
Arch Linux
21 Apr 2024
Arch Linux欲しい
94
676
5,477
335,403
21 Apr 2024
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 try.moonbitlang.com
1
7
2,278