siraben

41 ms·

421.
by siraben 6y ago
Note: these points concern Nix, the situation may be different on Guix > * Do packages need to be 'ported' to Nix or its build / install system? If so, how much effort will it take and on what factors the effort required t
422.
by siraben 6y ago
I found reading code from Nixpkgs to be very valuable as well, and can't recommend it enough. I managed to get by using NixOS without writing my own derivations for several months until I inevitably ran into a need to package something
423.
by siraben 6y ago
> 1) do you consider variable reference to be an effect because you're getting a value from memory/disk/network? Or is it effectful simply because you're replacing a name with a value somehow? I'd love to underst
424.
by siraben 6y ago
IMO implementing hygienic macros properly is one of the hardest tasks in programming languages, especially since variable capture can cause subtle bugs.
425.
by siraben 6y ago
I highly recommend Oleg Kiselyov's talk titled "Having an Effect"[0] in which he talks about - purely functional model of computation and its pitfalls - Actor model, effectful programming with requests and responses and an im
426.
by siraben 6y ago
I use Emacs every day, I practically live in it. However there are some things that I wish I could have: - a good terminal mode so I don't need to switch to another terminal, the builtin terminals either lag badly after 10K lines of i
427.
by siraben 6y ago
This keybinding is meant to be used inside Emacs.
428.
by siraben 6y ago
Up to Catalina, macOS used to have the overpowered Emacs calculator[0] preinstalled. Default keybinding to activate it in Emacs is C-x * *. I especially like how it uses RPN but also has an algebraic mode, so one can use whichever is more
429.
by siraben 6y ago
The Nixpkgs maintainers are working on this as well. Currently around 29000+ packages build successfully for aarch64 with around 1000 failures.[0] [0] https://hydra.nixos.org/jobset/nixos/release-20.09-aarch64
430.
by siraben 6y ago
Is it enabled in VirtualBox by default?
431.
by siraben 6y ago
> Linux native is not in the cards but it won't matter, it will work fine virtualized with hardly any performance penalty. If for some reason you insist on native linux, it's time to recognize that Apple hardware is not for you
432.
by siraben 6y ago
> Installing a package is enough. For example, if you install the emacs package, Emacs.app would be available in ~/.nix-profile/Applications/Emacs.app. Right. I'm using home-manager on darwin and various apps like E
433.
by siraben 6y ago
For Nix users, here it is packaged[0] [0] https://github.com/NixOS/nixpkgs/pull/104276/files
434.
by siraben 6y ago
I don't think finding community is getting harder, it's just that the places to look for community are changing. As a Gen Zer, it seems that Discord is akin to the IRC of our generation. I was surprised by how many young hackers (
435.
by siraben 6y ago
Where can I find out how to do this?
436.
by siraben 6y ago
Which aspects of Nix would you say are "not practical"?
437.
by siraben 6y ago
That interesting. Reminds me of Haskell's Foldable[0] and Functor typeclasses, which abstracts over containers as well. [0] https://hackage.haskell.org/package/base-4.14.0.0/docs/Data-...
438.
by siraben 6y ago
Related issue[0]. I moved over from Homebrew to Nix around 5 months ago, haven't since needed to use Homebrew except for casks. [0] "Support for Apple Silicon (aarch64-darwin)" https://github.com/NixOS/ni
439.
by siraben 6y ago
You might be interested in the reverse engineering efforts[0] for the proprietary file format and the C++ library[1]. [0] https://remarkablewiki.com/tech/filesystem#lines_file_format [1] https://github.com&#
440.
by siraben 6y ago
Does anyone know what the state of Linux on Mac is since the introduction of the T2 chip and now this? Do people still run Linux on Mac and how has the experience been?
441.
by siraben 6y ago
I have the reMarkable 1. I've found the device sufficient to replace paper entirely. Due to the eink technology, the responsiveness depends on how much visual update there is on the screen. When you're writing it's very resp
442.
by siraben 6y ago
You can connect the device to your computer via USB and SSH into it. There's a web interface that you can access, or you can use rsync, scp, etc.
443.
by siraben 6y ago
The company provides a dev toolchain[0] and seems pretty committed to keeping the device open, even the CTO[1] hacks on it publicly, like this crossword app[2] with handwriting recognition. [0] https://remarkable.engineering&#x2F
444.
by siraben 6y ago
Having used the reMarkable 1 tablet for over a year now, the hackability is so refreshing to have in a consumer device. The tablet runs Linux and you can SSH into with root access. The hacking community is quite active, one frequently asked
445.
by siraben 6y ago
It makes me wonder how this sort of knowledge could be acquired in the first place. Many students studying CS haven't seen a command line before entering university, and intro classes usually encourage students to use some IDE. I'
446.
by siraben 6y ago
In a similar vein, see[0] which talks about rewrite systems from a more formal viewpoint. On the practice side, GHC performs rewrite rules[1], an example of which is "map/map" forall f g xs. map f (map g xs) = map (f.
447.
by siraben 6y ago
Fellow citizen of another SEA nation here, also looking forward to this trade agreement. It seems to me that over the last four years the Trump administration's increased isolationist attitude further incentivized a free trade agreemen
448.
by siraben 6y ago
Never thought I'd see Paul's Notes on the front of HN. My classmates and I used it so often when we learned calculus in high school, and it still is useful at the university level for multivariable, vector calculus and differentia
449.
by siraben 6y ago
Fellow Gen Z-er here. I recall reading Stallman's writings some time during high school (a few years ago), at first taking them seriously, using free software as a much as possible (even installed and used Trisquel at one point) but th
450.
by siraben 6y ago
This can be done on a smaller form factor at around 400 Euros with the reMarkable tablet, see [0]. [0] https://github.com/Evidlo/remarkable_news

More ›