enricozb

9 ms·

61.
by enricozb 2y ago
> Every Nintendo handheld up to the 3DS contains a GameBoy inside it! I think this was quoted from elsewhere within the post but, is this true? If by "up to" we're not including the 3DS, the DSi and DSi XL still don't
62.
by enricozb 2y ago
Hmm I'll have to look into this. After some basic playing around with this feature it might be workable. In my head I had my editor taking over the current program in the terminal, and after exiting it would return to the previous prog
63.
by enricozb 2y ago
Kakoune _barely_ has a scripting language. It has essentially a set of commands and some basic string substitution, one of which will let you drop to a shell (something akin to substitute this string with the result of evaluating its conten
64.
by enricozb 2y ago
One thing I was looking for just yesterday was a way to dump my terminal's (alacrity) scrollback - escape sequences and all - to stdout. I wanted to pipe it to my text editor to search. Alacrity doesn't seem to have this unfortuna
65.
by enricozb 2y ago
Love this sort of "eye candy". Reminds me of the kind of style I was looking for when theming my jailbroken iOS devices. I loved William Silvester's "Jaku", it had similar skeuomorphisms in its design, and the textu
66.
by enricozb 2y ago
What I was referring to is that we don't know if ZFC, for example, is consistent. And it is only consistent if there are unprovable statements. And of course, you can't know which statements are unprovable (because then you would
67.
by enricozb 2y ago
Such is the nature of math as well.
68.
by enricozb 2y ago
While there indeed may be bugs, it's my understanding that any trust needs to be placed only on the kernel. > various stacks of libraries that other humans have written If you're referring to mathlib here, I'm not sure thi
69.
by enricozb 3y ago
I don't have a PhD in biology (or in anything), but isn't temperature a single number "explaining" a gazillion interactions we will never "understand"?
70.
by enricozb 3y ago
I really wish there was a more react/swiftui-esque TUI library. One day I'll get around to fixing the fundamental flaws in my crate [0] [0]: https://docs.rs/intuitive/latest/intuitive/
71.
by enricozb 3y ago
Surfing. Never been so addicted to a form of exercise before.
72.
by enricozb 3y ago
There's a cool repository of wildlife sounds here (including birds): https://xeno-canto.org/
73.
by enricozb 3y ago
;)
74.
by enricozb 3y ago
Everything about this group is fascinating. They are digital nomads on a boat. Every article [0] is a peek into an existence I didn't think or even consider was possible. I always get thrown into a rabbit hole when I visit their site.
75.
by enricozb 3y ago
Reminds me of his "Change" off of "26 mixes for cash": https://www.youtube.com/watch?v=ecHLSoJeAAA However, that's from a sampled drum beat. I generally agree though that this generated snippet does
76.
by enricozb 3y ago
I tried (and sort of failed) to build something like this for rust [0] (warning it's broken at the moment). It's a lot harder than I expected. Especially since the terminal has no notion of focus, and with Rust it's really ha
77.
Tracking Issue for experimental yeet expressions (Rust)(github.com)
2 points by enricozb 3y ago|0 comments
78.
by enricozb 4y ago
I think there is a typo when defining v(e), it says both v(e) = e and v(e) = empty set.
79.
by enricozb 4y ago
Some related links (specifically that they perform "high school" algebra on types): - Seven trees in one [0], a paper showing a bijection between binary trees and seven-tuples of binary trees. - The algebra of algebraic data types
80.
by enricozb 4y ago
It's not quite ready yet, but I'm writing something similar for Rust [0]. It's much more similar to React (with respect to components, and hooks), and the DSL is inspired by SwiftUI. Disclaimer: Version 0.6.x has a pretty sev
81.
Sepulka(en.wikipedia.org)
3 points by enricozb 4y ago|0 comments
82.
by enricozb 4y ago
Wouldn't it be more accurate to state that it's NP-complete? In the first step of the proof they show that SR-Dec is in NP.
83.
by enricozb 4y ago
What's this ascii char 0x11 (device control 1) char at the end of this post's title? It's also present in the article's title.
84.
by enricozb 4y ago
Absolutely! I saw that lazygit recently(?) added scrollbars, and I'm actually working on adding this as a new component.
85.
by enricozb 4y ago
Similarly to how React does it I'd imagine. There is a static vector of `State` elements that is initially empty and is filled on the first render with each call to use_state. When calling use_state on subsequent renders, this vector i
86.
by enricozb 4y ago
I've written a few TUIs in Rust, and the amount of code needed for the UI components always felt excessive. For a while, I had been toying with the idea of being able to write components in a SwiftUI-like DSL and have state managed lik
87.
Show HN: Intuitive – A Rust crate for writing declarative TUIs(docs.rs)
5 points by enricozb 4y ago|5 comments
88.
by enricozb 4y ago
Is there any situation in which signals couldn’t replace useState?
89.
by enricozb 4y ago
Same here, I'm so bored that I typed in "I am bored" into https://hn.algolia.com/ and found this post.
90.
by enricozb 5y ago
Love his stuff, especially Sidney’s Sizzler and the United Acid Emirates album. His brother, Squarepusher, is a bit different but also really good.

More ›