siraben

101 ms·

451.
by siraben 6y ago
For a cheaper version of this (400 vs. 2300 Euros) on the reMarkable tablet, see remarkable_news[0], which runs as a systemd service and periodically refetches the URL of choice. [0] https://github.com/Evidlo/remarkable
452.
by siraben 6y ago
Another source[0] also confirms. [0] https://www.reuters.com/article/us-usa-new-york-bomb-idUSKBN...
453.
by siraben 6y ago
> then you get tail-calls for every function, which effectively obviates the stack. This is true, however CPS moves the work from the stack to the heap, so a deep enough recursion would exhaust the heap instead. Using a trampoline[0] in
454.
by siraben 6y ago
Update from tbodt on the iSH Discord: @everyone We got a call this evening from someone who runs App Review. They apologized for the experience we had, then told us they've accepted our appeal and won't be removing iSH from the s
455.
by siraben 6y ago
Considering that iSH is about to be removed from the App Store[0] and that the beta can only hold 10,000 people[1], using AltStore is one of the easiest ways to get iSH on iOS now. [0] https://news.ycombinator.com/item?id=25
456.
by siraben 6y ago
No, this is to illustrate that despite Nix being purely functional it doesn't necessarily mean you lose velocity when doing things interactively. In production I usually use Docker. Nix can generate Docker images though, so I'd li
457.
by siraben 6y ago
Yeah, better documentation is sorely needed in Nix, heck, I can't even look up docstrings in the repl (by default, there is nix-doc[0]. I asked around on IRC about a typechecker for Nix, and people refer me to the Dhall[1] and Nickel[2
458.
by siraben 6y ago
Oh, I completely forgot about[0], which talks about TCO in the imperative context (but applies to functional languages as well)! [0] https://dspace.mit.edu/bitstream/handle/1721.1/5753/AIM-443....
459.
by siraben 6y ago
That is a good question. Although tail-call is easy to describe and understand I've haven't implemented it myself. I'd also appreciate pointers to resources.
460.
by siraben 6y ago
If your langauge is functional (has closures), I would recommend checking out[0] which is a full end-to-end tutorial on compiling a functional language to C and could be adapted to LLVM, using Haskell as the implementation language. Basical
461.
by siraben 6y ago
macOS + Nix user here. How is the experience of using nix-darwin? I haven't used it yet for fear of breakage (unlike in NixOS). I still have Homebrew but only for Casks, do you know if this too can be Nixified? > I even went as far
462.
by siraben 6y ago
I even "DE hopped" using NixOS, trying out 3+ different DEs for fun, and once I was done I just had to revert to an older generation, no nasty leftovers.
463.
by siraben 6y ago
And even when you do screw things up, like accidentally deleting things in the Nix store, it's quite easy to recover as well.[0] [0] https://nixos.org/manual/nix/stable/#sec-nix-store
464.
by siraben 6y ago
It's not so bad actually. To add a new package there's only two files you have to touch, add a new default.nix somewhere in the pkgs/ tree and add your package to pkgs/top-level/all-packages.nix. Looking at any of
465.
by siraben 6y ago
This is a good overview of NixOS however it's very limited and barely scratches the surface of what Nix can do. I consider it a complete replacement for the "reproducible environment" problem that some programming languages
466.
Canadian Cross Compilation(en.wikipedia.org)
1 points by siraben 6y ago|0 comments
467.
by siraben 6y ago
One parsing technique that covers a lot of ground for little code is parser combinators[0]. And the more space and time efficient Parsec library[1]. Recursive descent is not difficult to hand-roll but the correspondence between the code and
468.
by siraben 6y ago
Org mode also has a great spreadsheet system[0], making it easy to work with plaintext tables! I used Org mode in a school assignment to generate a gnuplot graph from an Org data table (which also had calculated data using formulas). This
469.
by siraben 6y ago
Yeah the speed bothers me somewhat. I haven't tried that method, might be worthwhile.
470.
by siraben 6y ago
What device are you running SailfishOS on? I'm considering switching to a FOSS-based OS on an Android device at some point but I'm concerned about specs being poor and lack of availability of apps (living off FDroid's repos w
471.
by siraben 6y ago
I find that the slowness can be made more bearable with catting /dev/location and using tmux. Having tried termux on Android myself, I agree that the experience there is a lot better.
472.
by siraben 6y ago
Curiously at some point I also had SSL errors with youtube-dl, I installed mine via pip3, and I think updating it fixed the problem. Re: permission errors, might be due to the fact that you are root by default and should add a new non-root
473.
by siraben 6y ago
If anyone is curious I've uploaded the half-page derivation found in Chapter 3 of Linear Algebra Done Right here[0]. [0] https://imgur.com/a/BTKMWU2
474.
by siraben 6y ago
I've been using iSH for more than 2 years now, and I'm glad to see that it's made it to the app store. Here are some good use cases I've used iSH for: - youtube-dl videos to Files app - SSH into remote servers - performi
475.
by siraben 6y ago
When I took a course in linear algebra, we learned about linear transformations and vector spaces in the abstract first. Then when we got to matrices it was viewed as a way to represent linear transformations. Also it led to a natural deriv
476.
by siraben 6y ago
In the final update post[0] the author says There isn’t any option left to circumvent the Chrome Store. Starting with Chrome 53, extensions cannot be side-loaded anymore. Is it possible that Firefox will undergo such a restriction in the
477.
by siraben 6y ago
What I'm curious about is the ability for the AI to cope with transcribing technical vocabulary. Even on the MIT OpenCourseWare lectures the transcription mistakes seem to be highest with unusual technical words (I usually watch them
478.
Notes on a Haskell Compiler(crypto.stanford.edu)
4 points by siraben 6y ago|0 comments
479.
The Myth of RAM(ilikebigbits.com)
3 points by siraben 6y ago|1 comments
480.
Haskell Language Server 0.5.0: Case splitting and auto filling of typed holes(github.com)
4 points by siraben 6y ago|0 comments

More ›