enricozb

12 ms·

121.
by enricozb 5y ago
I think those slides [0] were written on a reMarkable tablet. I wonder if this was done live with some sort of screenshare. [0]: https://felleisen.org/matthias/7480-s21/1.pdf
122.
by enricozb 5y ago
I was on a 6+ hr plane ride over open water and therefore had no internet. I had my laptop and some work I wanted to complete, and it was an enlightening experience trying to program without internet connectivity. Reading local docs, perusi
123.
by enricozb 6y ago
There is also Shit, a git implementation in an almost POSIX shell [0]. Not my software. [0]: https://git.sr.ht/~sircmpwn/shit
124.
by enricozb 6y ago
Tangentially related: fiziko [0], a MetaPost library that can draw old-style physics illustrations. This is not my software. [0]: https://github.com/jemmybutton/fiziko
125.
by enricozb 6y ago
I'm not exactly in that position, but I am in the more junior side of things In my opinion, what helped me the most is: when an issue arises, like something during an on-call, have the person resolving the issue share their screen and
126.
by enricozb 6y ago
I'd like to assume he meant that he would walk them through installing Signal, and not just install it without them asking. I can't imagine what that interaction is like...
127.
by enricozb 6y ago
Make a habit of asking yourself around once an hour, “am I dreaming”, eventually (for me it took a week) this habit finds its way into a dream.
128.
by enricozb 6y ago
In case anyone is curious, the proof of LEM from AC is: Diaconescu's Theorem [0] [0]: https://en.wikipedia.org/wiki/Diaconescu%27s_theorem#:~:text... .
129.
by enricozb 6y ago
In the vaguest sense possible. Dreams for me feel very concrete but definitely aren't. If I was debugging something in a dream and became lucid, and attempted to read the "code" on the screen, it would be impossible. Just a s
130.
by enricozb 6y ago
This is a fair point. I usually only "jump" from directories that have at most 500k files, and the median is way closer to ~500 files. Even in the worst cases, at least with my i7 NUC and using fd instead of find, it's less t
131.
by enricozb 6y ago
Is there some functionality that `z` offers that fzf doesn't? I have a keybinding that essentially does `open $(fd | fzf)`, and that is how I go _anywhere_ in my file system. Completely changed how I use the shell. I personally find th
132.
by enricozb 6y ago
I think this is an important point to focus on when writing a new type-safe language. LEAN for example has a very impressive type system (honestly seems like magic sometimes), and clearly all of the "impossibility" is shoved into
133.
by enricozb 6y ago
This reminds me a lot of the WaveFunctionCollapse texture generation algorithm [0]. It "generates bitmaps that are locally similar to the input bitmap." Very cool! [0]: https://github.com/mxgmn/WaveFunctionCol
134.
by enricozb 6y ago
There can be parser considerations: a < b can be greedily interpreted as a comparison, despite the next character being a > a [ b can be greedily interpreted as accessing a field in a map, despite the next character
135.
by enricozb 6y ago
I personally don't like `curl | bash` because I don't know _how_ something will install: 1) What are all of the directories that something will insert itself into? 2) What of my files (.bashrc, etc.) will it modify? 3) If it mo
136.
by enricozb 6y ago
Are there better arguments for anything in pure math being a posteriori? I fail to see how 4CT (or any mechanized/computer-aided proof) could possibly support this idea.
137.
by enricozb 6y ago
This makes much more sense. I thought that my brain was unconsciously interpreting the meaning of the arrows, which was completely unbelievable to me.
138.
by enricozb 6y ago
How else would you write that you want to match all strings that don't contain string X? If you were matching at a specific position, you should use a negative lookahead (?!xyz), but I think in some cases you might need the mess above.
139.
by enricozb 6y ago
I thought the message broadcasting and asynchronous behavior of Snap is really cool, specifically how sprites can have multiple code blocks each responding to messages or events. I'm actually listening to a TEALS meeting right now! Fun
140.
by enricozb 6y ago
This is cool. Gives some intuition as to how object files work.
141.
by enricozb 6y ago
I'm talking specifically about the function calls, which are effectively the same in C, Rust, Python, Lisp, Haskell, and many others. No matter how terse, it's always some form of <name of function> <value1> <value2
142.
by enricozb 6y ago
They are biased to new readers of a codebase, not of a language, which is really just another way of saying that the code is very readable.
143.
by enricozb 6y ago
When giving an example on how infix notation reads better: // This is obviously not too right ",".splitBy("1,2,3,4,5") // This should be right, because it reads out more naturally &
144.
by enricozb 6y ago
I believe another word for enums (in the Rust sense, not in the C++ or Java sense) are tagged unions.
145.
by enricozb 6y ago
How do I go from not understanding economics/finance, to pretending to understand it? I feel like that finance uniquely is a field that every time I have tried to penetrate I get a mix of unintelligible jargon and mathematics as a faca
146.
by enricozb 6y ago
Unsure if this works for the RM2
147.
by enricozb 6y ago
Drawing and marking up PDFs works really well, I do this with math textbooks frequently, but you're correct that the highlighting is nothing more than a "drawing" You can't go to the pages you've highlighted, or eve
148.
by enricozb 6y ago
What a cool resource. I've been meaning to finish an MVP for a programming language I've been trying to write, and it's pretty encouraging how many languages use undecidable type systems.
149.
by enricozb 6y ago
> it's here to stay Would you be surprised if it just disappears in a year or two, like Vine, Orkut, Myspace, and other "giants" of their day did? I personally wouldn't because these things just come and go. I think i
150.
by enricozb 6y ago
minimalist != that login screen

More ›