TonyFettes

24 posts

TonyFettes

TonyFettes

@TonyFettes

Katılım Temmuz 2015
92 Takip Edilen36 Takipçiler
TonyFettes
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
TonyFettes tweet media
English
0
3
8
1.1K
TonyFettes retweetledi
whitepie
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
whitepie tweet media
English
0
5
16
6.5K
TonyFettes
TonyFettes@TonyFettes·
Elm-like async IO (process spawning here), where effects, subscriptions are all fully extensible and testable. Made possible with @moonbitlang #MoonBit
TonyFettes tweet media
English
0
3
7
2.7K
TonyFettes
TonyFettes@TonyFettes·
"Mom, can we have weak references?" "We have weak references at home." Weak references at home: @moonbitlang #MoonBit
TonyFettes tweet media
English
0
1
6
1.1K
TonyFettes retweetledi
Informatheux
Informatheux@informatheux·
Quelqu'un m'a envoyé ça et faut que je le partage :
Informatheux tweet media
Français
0
34
136
9K
TonyFettes retweetledi
CircuitShepherd
CircuitShepherd@CircuitShepherd·
Use a string of mirrored current sources to adjust them all with a single analog potentiometer:
English
6
102
610
35.3K
TonyFettes retweetledi
Apprentice
Apprentice@monadivalence·
Imagine having this much automation in interactive theorem proving in Agda/Lean
English
1
2
6
431
TonyFettes
TonyFettes@TonyFettes·
@WenzhangYang 刚刚在 ICSE 听了一个类似的 talk,也是做 code translation,GPT-4 被 c2rust 暴打...
中文
1
0
6
923
az
az@WenzhangYang·
编译器比赛,用LLM的拿了冠军。哈哈哈哈哈哈哈哈哈哈哈哈哈哈
中文
6
1
51
10.1K
TonyFettes
TonyFettes@TonyFettes·
@HKSHAO though I'm not 100% on AGI, I'm pretty sure DSL/constrained LLM output space might be a good way to reach super-human performance...
English
0
0
1
29