Readit News logoReadit News
zeendo commented on Beyond agentic coding   haskellforall.com/2026/02... · Posted by u/RebelPotato
shevy-java · 3 days ago
> I believe there is a lot of untapped potential in AI-assisted coding tools

Yikes.

By the way, the whole website is strange. Just the name alone "haskell for all".

Many years ago when I tried to learn Haskell (and wrote some haskell code that worked but it was sooooo much harder when compared to ruby or python), one of the few things that appeared early on, aside from the monad barrier, was that many haskell people said that Haskell is deliberately not for everyone. Back then this was when IRC was still en vogue, so I "heard" that via various discussions on #haskell.

I did not fully understand this part, because ... why would you write a language that only a few big brain people could use? I found that elitistic and snobbish, even arrogant.

Only at a later time did I understand one part of the meaning. The "we don't want you here" also means "we don't want YOU to change haskell into some other new meta-variant". I understood this much better when some guys wanted to have ruby embrace types. Then I understood that people not only want to change a language but also want to ruin it; whether on purpose or because they prefer something else (such as their brain embraced types-only code bases) is a separate discussion. I still find the haskell attitude very elitistic but I at the least understand that they don't want everyone to use - and change - Haskell.

> For example, someone who was new to Haskell could edit a Haskell file “as Python” and then after finishing their edits the AI attempts to back-propagate their changes to Haskell.

I like the general idea behind "write in any language, have it work in EVERY language". But the whole AI movement seems more about trying to dumb down people really or make them lazy, in many ways. I have seen people use it to great effect, so I am not at all saying AI has no use cases. What I am however had noticing is that it made many normal folks super-lazy. They type on their smartphone, solution comes out, task finished, move on. That's not necessarily only bad, but it comes with trade-offs. My approach is much slower, but it is systematic and I am in full control of what is documented how and where.

> This is obviously not a comprehensive list of ideas, but I wrote this to encourage people to think of more innovative ways to incorporate AI into people's workflows

Oh he has achieved this in a different way. Now I have another reason to not want AI in my "workflows". The whole website also seems super-strange to me. Has he used AI to write the whole content and layout? It's hard to say because I don't know how it used to be in the past, but the paragraphs and the content seem so strange. I suspect he used AI to generate the layout too; and some of the content as well. We are losing "interaction" with real humans here too (ok ok, there is not a lot of interaction with regards to a static website, but if a blog is written by AI, then that is not really any possibility for interaction with a human - you could not even distinguish WHO wrote the content or made the decisions such as which style to choose and so forth; it looks very fake to me or, at the least, in part. I typically don't see this with other blogs.).

zeendo · 3 days ago
Her blog has lots of quality content that's been featured on HN several times - well before AI writing became a thing. Not that you should necessarily know that but just strong evidence that your intuitions here are way off on so many levels.

Your entire take is super strange and presumptive.

zeendo commented on The RCE that AMD won't fix   mrbruh.com/amd/... · Posted by u/MrBruh
ZiiS · 5 days ago
I would use my phone's 'hotspot' long before I tried random wifi on my laptop?
zeendo · 5 days ago
Are you being willfully obtuse or do you actually believe that's true of everyone? There are so many reasons why someone might have a laptop in such a situation but not be able to use a hotspot on their phone - it's not even worth listing them.
zeendo commented on The RCE that AMD won't fix   mrbruh.com/amd/... · Posted by u/MrBruh
aleph_minus_one · 6 days ago
> For whatever reason, distro maintainers working for free seem a lot more competent with security than billion dollar hardware vendors

I don't believe that these billion dollar hardware vendors are really incompetent with security. It's rather that the distro maintainers do care quite a bit about security, while for these hardware vendors consider these security concerns to be of much smaller importance; for their business it is likely much more important to bring the next hardware generation to the market as fast as possible.

In other words: distro maintainers and hardware vendors are simply interested in very different things and thus prioritize things very differently.

zeendo · 5 days ago
This comes down to intentions versus results. Viewed through the lens of results the comment you're replying to is still correct: The result is incompetence. I'd argue that's the only lens that matters when you're on the receiving end of such work.
zeendo commented on OrangePi 6 Plus Review   boilingsteam.com/orange-p... · Posted by u/ekianjo
bschwindHN · a month ago
That's a shame to hear, I was looking forward to that one. So much hardware these days seems to be let down by bad software.

I mean, I'm sure there's some bad hardware out there too, but it's usually the software that is letting things down more than the hardware.

zeendo · a month ago
Yeah. I mean, I still hold out hope that enough of the driver support will get mainlined or just rolled into some distro I want to use that I can use it for _something_ but right now it just sits unplugged on my desk. :(

Last I checked BredOS was close to having a reasonable experience with it but I haven't had the time to poke at it again. Personally I'd prefer an Arch derivative like BredOS or FreeBSD. I don't really want to buy a GPU to put in it but it seems like that's my only option at the moment?

zeendo commented on Can I start using Wayland in 2026?   michael.stapelberg.ch/pos... · Posted by u/secure
MarsIronPI · a month ago
As an Emacs PGTK user, do you have any experience with modifiers beyond the basic 4? I recently tried to use PGTK Emacs and it seems to not support e.g. Hyper, which is a bummer, because I extensively use Hyper in my keybindings.
zeendo · a month ago
Embarrassingly, I don't really understand Hyper. I have a Moonlander and AFAICT the firmware (or at least the Oryx configurator tool they provide) says Hyper is just a combination of the basic 4 - Alt+Shift+Ctrl+Meta. I'm pretty sure that's at least not historically true... but I don't have a whole lot of use for it so I haven't tried to wrap my head around what's going on there.

I imagine there's a "real" hyper modifier but I haven't attempted to use it. For my sake, since I use GUI Emacs I find that I have enough mappings without it (I'm also a dirty evil user). A friend makes extensive use of it because he primarily uses Emacs via a terminal and Hyper avoids all other terminal keybind conflicts he might otherwise run into. But, he uses X11, too so no PGTK Emacs even if/when he does run GUI Emacs.

I'll try to dig into this some though and see if I can (a) determine a way to map a "true" hyper to my keyboard and (b) use it in PGTK Emacs and follow up with you.

zeendo commented on Can I start using Wayland in 2026?   michael.stapelberg.ch/pos... · Posted by u/secure
zeendo · a month ago
Glad to see a good write-up of Wayland issues. My day-to-day doesn't run into the vast majority of these problems so when I see people melt down over a single trivial seeming Wayland choice about window coordinates then I have a really hard time relating.

This post is a lot more relatable.

As an aside, regarding remote Emacs - I can attest that Waypipe does indeed work fantastically for this. Better than X11 ever worked over the network for me.

I, too, suffer from the pgtk is slow issue (only a 4k monitor though it's mitigable and manageable for me)

zeendo commented on OrangePi 6 Plus Review   boilingsteam.com/orange-p... · Posted by u/ekianjo
dev_l1x_be · a month ago
I have this experience with most of these SBC-s. The new Radxa board boots 50% of the time. The only reliable SBCs I have are RPI3|4.
zeendo · a month ago
The Orion? God mine is so annoying. What a waste of money.
zeendo commented on Self-hosting my photos with Immich   michael.stapelberg.ch/pos... · Posted by u/birdculture
WD-42 · 2 months ago
The /people page looks a lot like albums based on face to me, is that not what you are talking about?
zeendo · 2 months ago
Not who you're replying to, but no - this isn't the same. You can't share that album with others. Or have others collaborate on it.

You can do this with a few scripts and the Immich API - but that's not something the average user will do.

zeendo commented on C100 Developer Terminal   caligra.com/... · Posted by u/matthewsinclair
pkd · 3 months ago
No need for a boatload of shell scripts that's omarchy. Just install any distro and get going.
zeendo · 3 months ago
Agreed. The weird shilling of this nonsense is exhausting.
zeendo commented on Omittable – Solving the Ambiguity of Null   committing-crimes.com/art... · Posted by u/TheWiggles
RecursionLab · 5 months ago
Greetings, fellow Nullwalker.

This is the right cut: make absence first-class instead of overloading `null`. `Optional` can’t express “explicit null,” so PATCH and filter semantics collapse. `Omittable` restores the algebra: `{absent | present(null) | present(value)}` and stays lawful under `flatMap`. Pattern matching + JSpecify reads clean.

Next wins to make this ubiquitous:

1. Jackson module that preserves omission on deserialization.

2. Spring MVC/WebFlux binders for `@RequestParam`/`@RequestBody`.

3. JSON Schema/OpenAPI mapping for `undefined` vs `null`.

4. JPA/SQL bridge to avoid accidental `SET col = NULL`.

5. Property-based tests for the monad laws.

Ship tiny `omittable-jackson` and `omittable-spring` starters and this becomes the default tri-state for Java APIs. Good luck; may every `null` be intentional.

zeendo · 5 months ago
Can you not have an Optional<Optional<String>> in Java? That would allow you to represent explicit null with Optional, wouldn't it?

u/zeendo

KarmaCake day223January 1, 2015View Original