HNHacker News
TopNewBestAskShowJobs

mirpa

59 karma · joined July 3, 2023

submissionscomments
mirpa··on Haskell Foundation 2026 Update
Think problem is not in advanced features but in stability, integration and streamlining - compared to Rust/cargo.
mirpa··on The Zig project's rationale for their anti-AI contribution policy
Why don't you ask LLM?
mirpa··on The Zig project's rationale for their anti-AI contribution policy
I red it and its terrible nonsense.
mirpa··on The Zig project's rationale for their anti-AI contribution policy
Zig devs don't find LLMs to be net positive, what is so hard to understand? You can write your own compiler with LLM yourself, nobody is standing in your way.
mirpa··on France's government is ditching Windows for Linux, says US tech a strategic risk
It is open source. Many companies which contribute to it are American, but nobody from America can tell you what you can or cannot do with it - unlike Microsoft or Apple with their proprietary OS being forced by US government.
mirpa··on Škoda DuoBell: A bicycle bell that penetrates noise-cancelling headphones
Yes, company Škoda is from Czech Republic where we have shared-use paths for cyclists and pedestrians. It is not "necessary". You should not be wearing noise canceling headphones while being in traffic - it makes you more liable in case of accidents.
mirpa··on Age Verification as Mass Surveillance Infrastructure
All you need is one authority which defines who can verify age threshold (government). Those who can verify age threshold need to know your age and identity (bank). Those who are bound to restrict access based on age only need to know in which country you live (website). Nothing else is needed eg. bank, identity and age is not known to the website, website is not known to your bank or government.
mirpa··on Common drug tests lead to tens of thousands wrongful arrests a year
Why do you have to wait in jail for lab result?
mirpa··on The Age Verification Trap: Verifying age undermines everyone's data protection
Non of which is necessary to verify you crossed age threshold. Websites are just lazy, maybe on purpose. Accepting this kind of low effort age verification would be foolish.
mirpa··on Gentoo Linux 2025 Review
I tried to list available packages on NixOS and nix-env consumed more than 6 GB Ram. Everyone told me not to use nix-env; everyone except NixOS manual. Trying to understand NixOS environment is a deep rabbit hole.
mirpa··on 2026 will be my year of the Linux desktop
I had to edit windows registry to fix the worst misfeatures of start & context menu. I never found solution to random wake up after suspend or missing icons after wake up - MS support was useless. Linux desktop even with non-zero amount of issues can't frustrate me nearly as much as Windows. All games I ran so far on Linux worked as good or better as/than on Windows. I keep Windows installed just in case some game really won't work, but combination of SteamDeck (Proton) and Vulkan did wonders for Linux compatibility kudos to Steam/Valve. And I would not want to do software development on Windows, that is number one reason I am using Linux (not that I am using Unreal Engine). Recent MS fever dream with LLMs only adds to general frustration with Windows.
mirpa··on A year without caffeine (2013)
Stopping greatly reduced issues with my stiff neck and I also noticed that my hands are not nearly as cold as before. I drink black tea time to time, but it is nowhere near as addictive as coffee so I have no trouble with moderation.
mirpa··on Linux gamers on Steam cross over the 3% mark
I started using Proton recently and it is quite impressive. Some games have native support, some use Vulkan, others want to run on SteamDeck. I haven't booted Win 11 in more than a month. Not having to dual boot any time I want to switch work/fun is great - even if reboot doesn't take that long these days. I tend to play older, single player games, not everything is perfect, but I like it much more than being frustrated by Windows - using Fedora btw.
mirpa··on Hard Rust requirements from May onward
CVE-2024-3094 is it? You can argue that in C it is much easier to obfuscate your exploit. Implementing something in C is also a lot more work, so you might be also inclined to use 3rd party library.
mirpa··on John Carmack on mutable variables
That depends on your definition. Programming languages often deviate from mathematics when it comes to definition of variables, functions etc. That is by choice, Haskell tried to be as close to mathematical definition as possible.
mirpa··on In Defense of C++
It reminded me of Firefox attempts at rewriting part of C++ codebase and failing - because of C++ complexity; but succeeding later because of Rust https://blog.rust-lang.org/2017/11/14/Fearless-Concurrency-I...
mirpa··on Ross Ulbricht granted a full pardon
While you might argue which drug is dangerous and which isn't, ban on drugs is not arbitrary decision. You can't do whatever you want with your body, because you might loose control and hurt others. Drug abuse affects others as well (financially, mentally, physically...). I am victim of someone's drug abuse. I never took any drugs. So if you are looking for victims of drug abuse, here I am.
mirpa··on Zed on Linux Is Here
I think you need extension which will integrate language server. I installed extension for Haskell and it works out of the box.
mirpa··on Zed on Linux Is Here
I can certainly tell difference between 60 and 120 Hz in fast paced games, but I would not notice it in UI.
mirpa··on Building a data compression utility in Haskell using Huffman codes
You might try: https://github.com/turion/rhine-koans it is tutorial for FRP library Rhine, well commented with tests
mirpa··on Why your brain is 3 milion more times efficient than GPT-4
> I can ask ChatGPT extremely specific programming questions and get working code solving it.

I can do the opposite.

mirpa··on An icon taskbar for the Gnome Shell
Gnome has practically no learning curve. Everything you need is top left/right corner and win/esc key.
mirpa··on An icon taskbar for the Gnome Shell
Simplicity is feature on its own, you can't please everyone and you have other choices. Considering feature parity - I used small window managers in the past: Fvwm, Fluxbox, Pekwm... what made me eventually stick with Gnome was that It made things like Wifi, printing, mounting disk... seamless - on par with Windows. That is a lot more important for most users than customization, which can be overwhelming in environment like KDE (I haven't used it in years).
mirpa··on An icon taskbar for the Gnome Shell
I don't think UX is controversial, if you look at it from the perspective of average person. I was annoyed time to time by changes in Gnome UI. But I would not say I find KDE, XFce, Windows 11, Mac... more productive. I switched my old man from Windows to Gnome and had zero complains (which is rare). Having Gnome default makes sense as switching will not be a problem for advanced users. I personally don't have reason to switch.
mirpa··on Vala Programming Language
See Gnome on Linux.
mirpa··on Vala Programming Language
Adding flags to gcc should be just a matter of pkg-config. In bindings to high level languages that should be handled automatically.
mirpa··on The Claro Programming Language
Interaction between lifetimes in REPL would probably diminish any advantages REPL has to offer. REPL is easy to do in GC languages, trade off Rust made by choosing not to use GC. Best next thing you can use are tests which are part of Rust's tooling.
mirpa··on The KDE desktop gets an overhaul with Plasma 6
If you have specific workflow where the golden path is suboptimal, sure. But I would not think that average user has any preferences and for many users Gnome is very reasonable.
mirpa··on The KDE desktop gets an overhaul with Plasma 6
And Windows 11... web content in start menu, unproductive, extremely distracting - ugh
mirpa··on GoboLinux
You can go around case sensitivity in user facing applications by using fuzzy search. Even command line tools can use Tab for autocompletion. Case for case sensitivity is not in ability to have two files which differ in case, but simplicity of underlying code that has to deal with paths.
Page 1 of 2Next →