Rezigned

∀𝑥 ∈ 𝑝𝑒𝑜𝑝𝑙𝑒, ∃𝑥 ♡ λ

[Rezigned @rezigned]

@iokasimovm Maybe it's just me, but when I read the docs or want to understand more about something.

I'd like to try things out without having to set up all the tools ~ Or maybe i'm too lazy 😂)

[Rezigned @rezigned]

@DragorWW I just discovered this recently too. Really neat!
https://t.co/SdFqghwQMe

[Rezigned @rezigned]

Ioskeley Mono is a very beautiful typeface (pretty close to Berkeley Mono with a slightly different aesthetic of its own)

https://t.co/T6UTwIsdHz

[Rezigned @rezigned]

@vem4s156553 It's from my little Rust crate https://t.co/cR6egEGpC6

[Rezigned @rezigned]

Ioskeley Mono is a very beautiful typeface (pretty close to Berkeley Mono with a slightly different aesthetic of its own)

https://t.co/T6UTwIsdHz

[Rezigned @rezigned]

@iokasimovm That's true 😂. But i think your "Kodama" font is actually very nice too! (kind of modern/rounded/spaced-out)

[Rezigned @rezigned]

Funny how an AI agent that can build a C compiler from scratch and port Bun from Zig to Rust, yet fixing screen flickering still took this long 😅

[ClaudeDevs @ClaudeDevs]

First for our new full-screen renderer (which should get rid of bugs like screen flickering), we’ve made a number of fixes for different environments and terminals.

You can turn it with the command: /tui feedback

We're working on making it the default in Claude Code soon.

[Rezigned @rezigned]

@jarredsumner I'd love to here how many memory-related bugs have been closed by this.

[Rezigned @rezigned]

It’s crazy how the majority of supply-chain attacks on npm exploit pre- and post-install hooks.

But no one talks about this. Why hasn't the ecosystem moved to block this by default? (Except @bunjavascript and @pnpmjs )

[Edu Wass @eduwass]

since posting it yesterday tmux-palette now has:

- TPM install
- custom palettes
- shell-powered plugins
- popup actions
- live theme picker + custom themes
- narrow terminal mode
still tiny, still just Bun + tmux

check it out!
https://t.co/WNNXlYu8ik

[Rezigned @rezigned]

@eduwass Definitely!

[Rezigned @rezigned]

@eduwass Yes, that'd be much better! Nice project👍

[Rezigned @rezigned]

I’m working on a project that allows you to write a single Model + Logic and render it anywhere (based on the TEA design but platform-agnostic). Almost there!

EGUI (macroquad), CLI (crossterm), TUI (ratatui), etc.

[Rezigned @rezigned]

@iokasimovm @q_uiver_app @varkora My favorite Natural Transformation diagram (but the components are vertical)

[Rezigned @rezigned]

@iokasimovm @mitsuhiko I see, it's an interesting workflow (using Vim in each pane makes arrow keys work flawlessly).

I usually use Vim's panes for coding, which makes it hard to switch between Vim panes vs. tmux panes! 😂

[Rezigned @rezigned]

@iokasimovm @mitsuhiko How do you hop between panes quickly? is it <prefix> + q + <number>?

[Rezigned @rezigned]

@iokasimovm Yes, it's like Haskell + Dependent Type + Theorem Proving.

I think it's interesting that "Propositions as Types" are built-in e.g. we can provide a proof (a program) that a functor instance satisfies a proposition (a type - Prop)