HN user

struanr

38 karma
Posts2
Comments18
View on HN

Tiger Style is a coding philosophy focused on safety, performance, and developer experience. Inspired by the practices of TigerBeetle, it focuses on building robust, efficient, and maintainable software through disciplined engineering.

I have been using Syncthing fork since before the official app was discontinued, and can vouch for its quality. My favorite feature is that it allows conditional pausing of folders based on phone state, such as if the phone is charging or connected to WiFi. Just be warned that the version on Google Play was no longer updated last time I checked (Googles fault), so you're better downloading releases from the Github repo.

Completely anecdotally, but my personal experience over the past ~2.5 years of using Emacs has been the opposite of a dwindling community. Releases are frequent, often containing exciting new features; the community maintains many great packages, with new ones get released frequently; and I see more Emacs discussions online than I did when I started using Emacs, many of which involve new users. Emacs has a brutal learning curve, awful defaults and ancient bones, so will always appeal to a smaller number of people than VSCode or (Neo)Vim. However, for those willing to learn the arcane art, it can wield immense power.

Excited to try this. I was aiming to be done by Christmas, but this is my first AoC and reading other replies makes this seem a bit unrealistic. Decided to do it in elisp to try and improve my emacs-fu and lisp knowledge.

I use this; it does require changing the Firefox accelKey to something other than control, but works well. I also tried using nyxt but found it to be far too slow.

This looks great! It seems to solve the issue I always had with civilisation where the game becomes progressively easier as you advance ahead of the AI, leading to a late game which involves lots of management but little risk.

If you press '?' in the magit window a popup of available commads should appear. If I remember correctly from when I used to use DOOM emacs before switching to vanilla, evil (vi emulation) keybingings mean the keys listed in the magit popup are incorrect, however it should give you an idea of what commands are available and you can use other Emacs help facilities to find the Spacemacs keybindings.

Personally I went from Arch to NixOS and now back to Arch. Whilst I can appreciate the power of NixOS it felt like such a huge amount of abstraction and secret sauce it made it impossible to fit in my head. In addition, the documentation and debugging experience of the Nix language were very poor. Nix shell was useful for trying out programs temporarily, however I found it a poor substitute for native Python and Julia package managers, especially for scientific work where a requirements.txt is useful to a lot more people than a flake.nix

Going back to Arch has felt like a breath of fresh air. Everything is simple, easy to understand and incredibility well documented. Using a snapper pacman hook I can now revert my system to undo updates, which was the main functionality I found useful in NixOS.

For non Django code, the IPython REPL with the %pdb magic enabled drops you in a ipdb debugger on an exception. Doesn't allow resuming but still very useful.

Mathematica 14 3 years ago

An actively developed alternative is emacs-jupyter, which allows you to use an org file similarly to a notebook.

Mastering Emacs 3 years ago

Also worth swapping the control and caps lock keys (system wide if possible). Takes a while to relearn but much easier to reach with your pinky.

It's a pain to set up, but you can use the EFISTUB[1] capabilities of the Linux kernel to make it boot itself. Initramfs is then capable of decrypting argon2id LUKS2 partitions.

Since it requires keeping the kernel and other boot files on an unencrypted /boot partition, secure boot is a must to ensure the kernel hasn't been tampered with. Unfortunately, UEFI secure boot only supports signing one file, and so systemd-stub[2] can be used (doesn't require SystemD) to combine boot resources in a single PE binary, allowing them to be signed.

I haven't followed it personally, but this[3] tutorial seems to go over the points I covered.

[1]https://wiki.archlinux.org/title/EFISTUB [2]https://www.freedesktop.org/software/systemd/man/systemd-stu... [3]https://nwildner.com/posts/2020-07-04-secure-your-boot-proce...