enricozb

13 ms·

151.
by enricozb 6y ago
This is what I figured would be the reason to remove comments, because they would hold some other non-human information. It's unfortunate that people do this. The main reason for comments for me would be for config files, which maybe s
152.
by enricozb 6y ago
I wish JSON had 1) trailing commas 2) comments (I'm not sure if this is a good idea or not but every once in a while I impulsively write comments)
153.
by enricozb 6y ago
Those progress bars look delicious
154.
by enricozb 6y ago
Depends on who the paper is for. Theoretical CS papers for example, often don't have any code, but sometimes have pseudocode (for example in page 4 of PRIMES is in P [0]), to describe their algorithms. If the paper is written for peopl
155.
by enricozb 6y ago
Have you ever read a perl program?
156.
by enricozb 6y ago
Since when does static typing imply monads...
157.
by enricozb 6y ago
This is the video source of the gif at the top of the article [0]. I was pretty interested in Penrose when I first saw it but I still haven't seen a "cool" example of its use. Either something that's easy in Penrose but
158.
by enricozb 6y ago
It looks like you're right. I guess I don't really understand then why we can't just log in as root in vanilla iOS
159.
by enricozb 6y ago
Since ML outputs are usually "fuzzy", how does one check that the output is actually correct when using a technique like this in the field?
160.
by enricozb 6y ago
It doesn't install OpenSSH by default, but it does set up a root user with a default password "alpine". It's recommended that you change this.
161.
by enricozb 6y ago
Would love to see an FP language on there, preferably OCaml
162.
by enricozb 6y ago
I can already imagine trying to debug a templated type error with code that was generated at compile time...
163.
by enricozb 6y ago
Both are beautiful in their own ways. I think ReasonML, or even SML or OCaml might be a gentler introduction since they let you write imperative code (more closely to what you probably write already) whenever you need to. For example, I thi
164.
by enricozb 6y ago
Is it still the case that when you have an error in your script (and aren't using RStudio) that you don't get the line number of the error, you just get a traceback?
165.
by enricozb 6y ago
I use Youtube for music, so I usually have a tab open for prolonged time. However, I also waste some time on Youtube by randomly opening a tab. Is there any way you plan on handling this use case?
166.
by enricozb 7y ago
One of my favorites: Greerg: #123321
167.
by enricozb 7y ago
I have never been able to get EPUBs to reliably work on remarkable. My solution is to convert them to PDFs.
168.
by enricozb 7y ago
Awesome. I've been looking for more Lean resources outside of Theorem Proving in Lean [1]. [1]: https://leanprover.github.io/theorem_proving_in_lean/
169.
by enricozb 7y ago
> no known physical laws seem to require a single direction. What would a physical law that required a single direction look like?
170.
by enricozb 7y ago
If you want to "overload" a function. Do def area(shape): return shape.area() and implement it appropriately in your type.
171.
by enricozb 7y ago
It hurts my heart how conflicted I am about this device. The hardware _is_ there. I love using the original reMarkable tablet _when it works_. But damn there are some stupid software decisions, alongside some absolutely genius ones. (Discla
172.
by enricozb 7y ago
Pretty sure you can attach to an already attached tmux session as well, which I believe has the same behavior that you’re describing. I’ve never used screen, is what you’re describing different than what I’m talking about?
173.
by enricozb 7y ago
Hopefully as theorem provers improve and become more expressive, we can begin to state these theorems and even formalize proofs of them, letting a computer verify the proof for us. Check out Lean[1] if this sounds interesting to you. [1]:
174.
by enricozb 7y ago
Check out Kakoune[1] for a different take on an editor’s scripting language. It offloads as much as possible to existing Unix tools such as bash, sort, fmt, etc. It uses a clever system of string substitutions that’s a bit unintuitive at fi
175.
by enricozb 7y ago
Deepcell[1] is a framework I worked on for a bit during my undergrad. It can do cell segmentation & tracking for different imaging types. [1]: https://github.com/vanvalenlab/deepcell-tf/blob/master/RE
176.
by enricozb 8y ago
Using kakoune for the first time made me understand how much better the vim keybindings could be. I switched the weird begin & end of line navigations (0 and $) to (gl and gr) as they are in Kakoune, and I also added the move view (v* i
177.
by enricozb 8y ago
Could this be used on a local network? I have a pretty beefy PC but I like the comfort of sitting outside with my chromebook. Is there any way to host this service myself, so it doesn't have to go through any servers first?