ForthMFS retweeted
introducing TScert, a sound core for TypeScript.
- TypeScript functions accepted only with a proof
- a checker whose soundness is proved in Lean
- first target: its own front end, 628 of 684 functions verified
a research project, unfinished by design. read it, inspect it 👇
- TypeScript functions accepted only with a proof
- a checker whose soundness is proved in Lean
- first target: its own front end, 628 of 684 functions verified
a research project, unfinished by design. read it, inspect it 👇
16
44
457
33,148
moonbit-community/mooncram is now built into the MoonBit toolchain and can be run using moon testcli!
#moonbit #moonbitlang
#moonbit #moonbitlang
github.com/moonbit-commun…
mooncram is a testing framework designed for MoonBit CLI applications. It has no shell dependencies and lets you (or your AI agent) write easy-to-read MoonBit CLI cram tests.
#moonbit #moonbitlang
0
1
2
155
github.com/moonbit-commun…
mooncram is a testing framework designed for MoonBit CLI applications. It has no shell dependencies and lets you (or your AI agent) write easy-to-read MoonBit CLI cram tests.
#moonbit #moonbitlang
mooncram is a testing framework designed for MoonBit CLI applications. It has no shell dependencies and lets you (or your AI agent) write easy-to-read MoonBit CLI cram tests.
#moonbit #moonbitlang
0
1
5
1,137
ForthMFS retweeted
Coming soon: write it in MoonBit, call it from C.
moon build will turn a package into one static library. Your code, its C stubs and the runtime all go into a single lib.a that any C program can link, and moon build tells you exactly where it put it.
@moonbitlang
moon build will turn a package into one static library. Your code, its C stubs and the runtime all go into a single lib.a that any C program can link, and moon build tells you exactly where it put it.
@moonbitlang
1
2
13
3,689
ForthMFS retweeted
Now, you can debug MoonBit program in new native backend in vscode, just like JS and llvm backend~ 😁
#moonbitlang #MoonBit
#moonbitlang #MoonBit
0
5
11
964
ForthMFS retweeted
Review github PRs directly in SeekMoon.
SeekMoon now supports:
- list all open PRs of a github repo
- checkout a PR locally
- review PR diffs and make github comments directly in the semantic diff panel
#MoonBit
SeekMoon now supports:
- list all open PRs of a github repo
- checkout a PR locally
- review PR diffs and make github comments directly in the semantic diff panel
#MoonBit
0
2
7
325
ForthMFS retweeted
Building a Docker-like Container From Scratch 🛠️
Learn about the key Linux namespaces by assembling a tiny but realistic container using only stock Linux commands: unshare, mount, and pivot_root. No runtime magic and (almost) no cut corners.
labs.iximiuz.com/tutorials/cont…
Learn about the key Linux namespaces by assembling a tiny but realistic container using only stock Linux commands: unshare, mount, and pivot_root. No runtime magic and (almost) no cut corners.
labs.iximiuz.com/tutorials/cont…
7
63
450
20,370
The Moondiff playground now lets you select and review a specific range of commits within a PR.
#moonbit #moonbitlang
#moonbit #moonbitlang
The Moondiff Playground has moved to moondiff.moonbitlang.com. We’re adding more practical features to make code reviews easier — you can now view your own PRs directly from the homepage, and when you open a PR, its current CI status is shown as well.
#moonbit #moonbitlang
0
0
4
77
ForthMFS retweeted
MoonBit makes error handling easy.
Suberrors are automatically promoted to Error. New SubError::_ patterns match all constructors of a suberror type and narrow Error back to SubError.
@moonbitlang
Suberrors are automatically promoted to Error. New SubError::_ patterns match all constructors of a suberror type and narrow Error back to SubError.
@moonbitlang
0
2
6
72
The Moondiff Playground has moved to moondiff.moonbitlang.com. We’re adding more practical features to make code reviews easier — you can now view your own PRs directly from the homepage, and when you open a PR, its current CI status is shown as well.
#moonbit #moonbitlang
#moonbit #moonbitlang
Been improving the MoonDiff Chrome extension — you can now hide test-block changes while reviewing diffs. More UI tweaks are on the way.
#moonbit #moonbitlang
0
1
5
1,577
ForthMFS retweeted
Proton 0.2.10 brings richer Windows integration, native themes, and simpler full stack development with MoonBit. Build your next desktop app.
We’re refining the Windows experience and would love to hear your feedback.
Try it with `moonx moonbit-community/proton_cli new`
We’re refining the Windows experience and would love to hear your feedback.
Try it with `moonx moonbit-community/proton_cli new`
0
6
13
682
ForthMFS retweeted
Preview of async SQLite in MoonBit:
- Run SQLite queries with other I/O, concurrently
- Slow queries never blocks the event loop
- Cancellable with cleanup, the connection stays reusable
Checkout this PR: github.com/moonbit-commun…
@moonbitlang #MoonBit
- Run SQLite queries with other I/O, concurrently
- Slow queries never blocks the event loop
- Cancellable with cleanup, the connection stays reusable
Checkout this PR: github.com/moonbit-commun…
@moonbitlang #MoonBit
0
2
17
7,745
Been improving the MoonDiff Chrome extension — you can now hide test-block changes while reviewing diffs. More UI tweaks are on the way.
#moonbit #moonbitlang
#moonbit #moonbitlang
Released moondiff, a Chrome extension for reviewing MoonBit code diffs. It supports token- and AST-based diffing and works directly on GitHub PR pages.
#moonbit #moonbitlang
0
1
4
711
Released moondiff, a Chrome extension for reviewing MoonBit code diffs. It supports token- and AST-based diffing and works directly on GitHub PR pages.
#moonbit #moonbitlang
#moonbit #moonbitlang
I’m developing a diff tool for the MoonBit language. Token-based diffing is now available, making semantically meaningful changes easier to highlight in certain scenarios.
playground: moonbit-community.github.io/ldiff
#MoonBit #moonbitlang
0
0
6
2,217
ForthMFS retweeted
How many examples are enough?
Traditional testing keeps adding cases. Property-based testing asks a different question: what inputs can break my assumptions?
In MoonBit, QuickCheck helps discover hidden bugs through generators, properties, and shrinking.
Read More : moonbitlang.com/blog/property-…
Traditional testing keeps adding cases. Property-based testing asks a different question: what inputs can break my assumptions?
In MoonBit, QuickCheck helps discover hidden bugs through generators, properties, and shrinking.
Read More : moonbitlang.com/blog/property-…
0
4
15
4,759
ForthMFS retweeted
Proton’s next release lets MoonBit apps see, control, and test the UI with first-class CDP support.
Install with `moon install moonbit-community/proton_cli` or `moon add moonbit-community/proton` to your project to enjoy CDP-powered GUI apps.
#moonbitlang
Install with `moon install moonbit-community/proton_cli` or `moon add moonbit-community/proton` to your project to enjoy CDP-powered GUI apps.
#moonbitlang
1
4
18
3,332
I’m developing a diff tool for the MoonBit language. Token-based diffing is now available, making semantically meaningful changes easier to highlight in certain scenarios.
playground: moonbit-community.github.io/ldiff
#MoonBit #moonbitlang
playground: moonbit-community.github.io/ldiff
#MoonBit #moonbitlang
0
1
7
414
ForthMFS retweeted
Another one for the experts: #locals.
Pass a lambda to makei or map and you normally pay a function-pointer call per element. #locals makes that call stop existing — same code, no rewrite.
Zero-cost abstraction, opt in per parameter.
@moonbitlang
Pass a lambda to makei or map and you normally pay a function-pointer call per element. #locals makes that call stop existing — same code, no rewrite.
Zero-cost abstraction, opt in per parameter.
@moonbitlang
MoonBit's performance ceiling, for the experts.
Most users never need it. But when performance matters, #owned gives you control over reference-counting — owning wins sometimes, borrowing others.
High-level ergonomics by default, low-level control when you go looking for it.
0
5
13
4,964