Alok Singh

icon indicating a website link alok.github.io icon indicating an email [email protected]

icon location Berkeley, CA icon location If you’re a smooth operator, you can infinitely differentiate yourself.

Results 76 comments of Alok Singh

"Terminal does not support reporting screen size s via the TIOCGWINSZ ioctl"

Which source files should I look at? On Thu, Apr 12, 2018 at 4:27 AM Justin M. Keyes wrote: > Patch welcome > > — > You are receiving this...

"Terminal does not support reporting screen size s via the TIOCGWINSZ ioctl"

@justinmk @leonerd what work would be required to implement this? I finally learned C and may actually be able to implement this now.

"Terminal does not support reporting screen size s via the TIOCGWINSZ ioctl"

I’m also willing to put out a $100 bounty on this.

Investigate adding support for multiple organizations

fwiw, i'm an end-user who came looking for just this feature

Investigate adding support for multiple organizations

2

Is the "at most once" modifier useful for these macros

Maybe another year then? 😁

Lean 4 impl?

I'm more interested in its computational than proof ability. Nice thing about lean is it combines a real programming language with a theorem prover. Most languages pick just one.

Really cool

They're hiring https://topos.institute/contact On Thu, Jul 21, 2022 at 8:53 AM Felix Dilke ***@***.***> wrote: > Thanks! Appreciate the interest. > Now working on a complete retool of Bewl to...

`GoldenViewNext` acts as `GoldenViewSplit` if there is only one window

Seconded.

[suggestion] GoldenViewNext shouldn't jump to next tab

+1 to this. This behavior is rather jarring and disabling it makes it easy to cycle in between splits in a tab. It's not really in the spirit of how...