∀𝑥 ∈ 𝑝𝑒𝑜𝑝𝑙𝑒, ∃𝑥 ♡ λ
Bangkok, Thailand
Joined September 2011
- Tweets984
- Following603
- Followers89
- Likes2K
Rezigned retweeted
New blog post introducing string diagrams: this is a visual language that we can use to talk about many different kinds of type systems.
Then I use them to show how a monad really *is* a monoid in a category of endofunctors.
roboguy13.github.io/blog/str…
Rezigned retweeted
upmd is a TUI that makes Markdown docs runnable in your terminal.
You can run markdown code blocks as tasks, chain them into workflows, keep output beside the docs, run them in a CI and more.
@rezigned made upmd using @ratatui_rs & is Terminal Tool of the Week! ⭐️
Rezigned retweeted
Found a task runner that changes everything!
🌀 upmd — Turn Markdown code blocks into runnable tasks and dependency-aware workflows
💯 Keep instructions, commands, dependencies, and live terminal output together in the same document
🦀 Written in Rust & built with @ratatui_rs
⭐ GitHub: github.com/rezigned/upmd
#rustlang #ratatui #tui #markdown #devtools #cli #opensource
Rezigned retweeted
I sincerely hope that everyone who never reads the code anymore is having a great time. I know I am
upmd v0.2.0 is out! ✨ Turn your Markdown into executable workflows.
- Dependency-aware workflows with inline graph rendering (like Makefile, Justfile, etc.)
- Auto-detects up.md / UP.md in your working directory
- Parallel CLI task execution output
github.com/rezigned/upmd
Rezigned retweeted
Announcing today rio-vt and librio: Rio's terminal engine, now embeddable.
• rio-vt ~ a rust crate, the VT parser, grid, scrollback, selection, search, PTY and Sixel/Kitty/iTerm2 images.
• librio: ~ the same core as a C ABI for Swift & C, on macOS, Linux & Windows.
Rezigned retweeted
Since the @bunjavascript folks recently wrote about their experience moving from Zig to Rust, it seemed like a good time to write about our experience rewriting @roc_lang from Rust to Zig!
rtfeldman.com/rust-to-zig
I've tried many tiling window managers on macOS, and by far, OmniWM is the most feature-complete and responsive.
It also fixes the floating window issue in other managers that stopped me from using them.
barutsrb.github.io/OmniWM/
Rezigned retweeted
Introducing MorphoHDL, a minimal language prototype for growing boolean circuits! paradigms-of-intelligence.gi…
Early this year I wanted to design a size-agnostic graph rewrite rule system that could build functional boolean circuits. First I thought about "chemistry"-like reactive systems, but rules were too complicated with many different node types carrying multiple indices...
Then I realized, that cell division is much more natural way of building complex structures, and once I started to treat graph edges as buses instead of single wires, everything clicked. No new formalism — just taking good old recursion and seeing how far I can push it. Ripple-carry adder, Brent–Kung adder, multipliers ... and some Haeckel-esque creatures along the way! Hope you enjoy the report of my journey and the demos.
Finally! `upmd` is out 🚀 Run code blocks directly from Markdown files in a terminal UI or CLI.
upmd.rezigned.com/ (built with @ratatui_rs )
I'm really disappointed by Andrew Kelly's opinion on @jarredsumner in this post.
I've been a fan of his ever since his DOD talk and interviews, but this response is incredibly poor.
I find this post to be really disappointing...
It's explicitly framed as 'not a personal criticism', then goes on to include bunch of very personal criticisms about Jarred.
andrewkelley.me/post/my-thou…
Rezigned retweeted
Rewriting Bun in Rust
bun.com/blog/bun-in-rust
