bramhaag

13 ms·

151.
by bramhaag 2y ago
As someone who programs Java daily and uses Neovim daily, I don't think I could be any less productive than when programming with Java in nvim. Some features that I do not have in nvim, but use daily in IntelliJ: Run configurations, pr
152.
by bramhaag 2y ago
Is it a matter of not caring, or is it simply the easier and better solution? Even if something is available on a streaming service, you have to deal with low bitrates, missing subtitles and audio tracks, wrong editions, and even ads.
153.
by bramhaag 2y ago
You missed one: > Who in their right mind would ever employ [Matt DeVillier]? Well, apparently, AMD, and that’s why we banned all of their products for life
154.
by bramhaag 2y ago
I occasionally set up notifications when apps make requests using NetGuard and let it run for a day. The result is always depressing, lots of apps phoning home that I haven't opened in days... I let it run today, and the worst offender
155.
by bramhaag 2y ago
Keep in mind that using LegacyFox is not a silver bullet. It will disable sandboxing and add-on signing, which will impact the security of your browser.
156.
by bramhaag 2y ago
There is also Keyoxide[1]. The goal is similar to Keybase (online identify proofs), but Keyoxide uses a decentralized approach where the identity proofs are stored on the key themselves. [1] https://keyoxide.org
157.
by bramhaag 2y ago
Fun article, thank you! One nitpick: some of the side-by-side code blocks overflow on mobile (Pixel 8 Pro, Firefox)
158.
by bramhaag 2y ago
For me personally, I have little motivation to do classical sudokus. They either have a not-so-elegant solve path (usually set by a computer) or are too difficult for me to solve. Variant sudokus on the other hand are a lot of fun. They oft
159.
by bramhaag 2y ago
I like Miniflux[0]. It being a hosted RSS reader means I can easily browse on my PC as well as on my phone. [0] https://github.com/miniflux/v2
160.
by bramhaag 2y ago
The vulnerability is an RCE in CUPS that allows an attacker to execute arbitrary commands when sending a print job. The disclosure has already been leaked: https://news.ycombinator.com/item?id=41662355
161.
by bramhaag 2y ago
Just curious, what do you usually use your phone for? Just calling and texting? Or maybe reading emails and browsing the web too?
162.
by bramhaag 2y ago
> e.g. IIRC his answer to "How do I set up tmux with kitty?" was something like "Don't, tmux is dumb" and closing it. Eventually I gave up. Heh, I switched from Kitty to Wezterm due to the exact same types of com
163.
by bramhaag 2y ago
Haskell is perfectly suitable for web dev, and has a great ecosystem for it. Servant[1] allows you to create type-safe APIs, and there are many libraries that allow you to define your HTML in a type-safe way. The Haskell wiki lists some oth
164.
by bramhaag 2y ago
Haskell Programming from First Principles[1] is extremely comprehensive, covering everything from lambda calculus to IO. For further self-learning, it might be interesting to learn about the underlying mathematical concepts, such as categor
165.
by bramhaag 2y ago
People who run this or something similar (Jellyfin, Plex, Navidrome, etc.), what do you use to easily add new music? Do you just log into Lidarr, or are there music players that have a nicer integration for this?
166.
by bramhaag 2y ago
Automated theorem proving is a concept that has been around for a long time already. Isabelle's sledgehammer strategy combines automatic theorem provers (E, Z3, SPASS, Vampire, ...) and attempts to prove/refute a goal. In theory t
167.
by bramhaag 2y ago
The Arch wiki is really good for things like this, and is hardly Arch specific (other than package names). Searching "YubiKey" brings me here: https://wiki.archlinux.org/title/YubiKey#Linux_user_authenti... .
168.
by bramhaag 2y ago
To be fair, he did say it was "pretty novel"...
169.
by bramhaag 2y ago
Not OP, but I use Aegis [1] for 2FA which can create encrypted backups. They're synced automatically to my NextCloud instance with the NextCloud app. [1] https://github.com/beemdevelopment/Aegis
170.
by bramhaag 2y ago
https://hedgedoc.org/
171.
by bramhaag 2y ago
Turing Complete[0] is a fun game similar to this where you create your own computer from NAND gates, including your own assembly language. [0] https://store.steampowered.com/app/1444480/Turing_Complete/
172.
by bramhaag 2y ago
> They don't have a permissive license Good > and are generally very rude. Any examples of this?
173.
by bramhaag 3y ago
I recently switched to Kagi, and this feature ensures that I can never go back to Google or DDG. Not having pinterest show up for every search I do is incredible (but should really be a basic feature of any search engine...).
174.
by bramhaag 3y ago
>"lilys.ai wants to see text and images copied to the clipboard" That's cute... No thanks :)
175.
by bramhaag 3y ago
This is neat! Is there a list of simple DIY hardware projects somewhere? I have a 3D printer and a bunch of microcontrollers laying around that don't get much use.
176.
by bramhaag 3y ago
Similar videos about cars: Chevrolet Suspension (1938): https://www.youtube.com/watch?v=ej7CRAIGXow How Differential Steering Works (1937): https://www.youtube.com/watch?v=yYAw79386WI How A Transmission Wor
177.
The GMP library's repository is under attack by a single GitHub user(gmplib.org)
98 points by bramhaag 3y ago|79 comments
178.
by bramhaag 3y ago
From their website: "NEWS 2023-06-16: The GMP server is under attack by several hundred IP addresses owned by Microsoft cooperation. We do not know if this is made with malice, if it is some sort of mistake, or if some of their cloud c