HNHacker News
TopNewBestAskShowJobs

dtech

8,591 karma · joined February 25, 2014

submissionscomments
dtech··on Java sealed classes and exhaustive pattern matching
strictly more powerful than what Java currently calls pattern matching, not nearly as powerful as eg Scala or Haskell
dtech··on Xbox wants you to pay 24 to 40 cents per hour to stream games you bought
That is very different, because the netcafe own those games. This would be like needing to rent the computer at the cafe, bringing your own purchased game, but then the netcafe also needs a license to allow you to play your own games at the computer.
dtech··on Using LLM for confidence scoring is a bad idea
It's literally what a LLM is, and it's not even a word it's a token which is about 2/3'rds of a word. It has nothing to do with speed of producing tokens. Others are not responsible for correcting your bad understanding of a true statement.
dtech··on Java sealed classes and exhaustive pattern matching
Kotlin has always had smart-casting in if and when (sort of switch) expressions, which are strictly more powerful than the current version of Java "pattern matching". Both don't do de-structuring which I would consider a basic requirement for pattern matching, but at least Kotlin didn't call it pattern matching.
dtech··on Java sealed classes and exhaustive pattern matching
> not to mention that we have yet to adopt a single Kotlin feature; our features usually take a different form, even though Kotlin, Java, and many other languages often rely on the same inspiration, which is usually the ML language

This seems disingenuous at best, or it's a symptom that I've noticed as a user more often that your JDK team seems to have blinders on and dismisses/ignores most other languages even if feature have proven themselves 10 times over.

There's several features Java added or is trying to add, usually 5-10+ years later than Kotlin, and that's ignoring Scala:

* Local type inference

* Switch expressions

* Records, although I found them barely usable because there is no copy() method or with-ers

* String templates unsuccessfully

* A very stripped down version of smart-casting with switch pattern matching

I'm sure there's tech-debt and esoteric compatibility concerns which make evolving Java hard, but from a developer's perspective it's just glacial to evolve and the result is weaksauce.

dtech··on DeepSeek-v4.1-Flash-1017
> the first thing I noticed was how slow it

This really depends on the provider, it's a very fast model with ours

dtech··on US sanctions force The Netherlands off Microsoft and toward alternative NixOS
> I heard the reason was that NL doesn't know if SUSE will be sold off again and might end up in the hands of some US PE, but here's the thing, you're the government, you can just block the sale of companies

The Dutch government can famously prevent sales of German and Luxembourgish companies yes.

dtech··on Prompting Claude Opus 5.5
Think 6 lines of verbal diarrhea on a constant definition
dtech··on Prompting Claude Opus 5.5
Yeah GPT 5.6 models did it a lot and Opus is absolutely awful on this. It's clearly encoding it's thinking/context into the comments. GPT-6 models seem to be better about it.
dtech··on On caring for user data: NeoVim caused Vim undo files to be deleted
What a weird straw-man. The comparison here is a program breaking compatibility with a file in ~/.cache/... and deleting it instead of providing compatibility. I'd do that without thinking about it twice.
dtech··on On caring for user data: NeoVim caused Vim undo files to be deleted
The data is stored in ~/.cache which has the contract that it user-wide cached data, which also means it can be deleted without severely impacting programs.

It seems the author has too high expectations of this feature, or vim is using an incorrect path to store this is they want to make it available more reliably

dtech··on A heap overflow and SSO misconfiguration to compromise OpenAI internal repos
only if unreviewed LLM code - as is becoming increasingly the standard - isn't introducing new RCEs constantly
dtech··on Let's make quality the norm again
The thing is mainly there are no quality options available. It's mostly all cheap shit or slightly more expensive, but still equally shit. So how can this reveal preference if there are no options?

I would argue the surge in vintage clothing ecosystems is an indication there is an unmet demand.

dtech··on JetKVM Mini
Wow that's exactly what I am looking for. Don't know if it's worth $720 though, oof
dtech··on JetKVM Mini
Not really related to this, but are there good non-IP KVM's left? I'm in the market for one so we can move two home office desks into 1, but all the ones I find seem kinda shit. Asking for USB-C + 2 hdmi or displayports is apparently unreasonable
dtech··on EFF to Courts: Don't Rewrite Copyright over AI Hype
The "me too" drug still need to go through an R&D, clinical trail and approval process, so combined with patents the exclusivity period is at least several years. Abolishing patents would completely remove the exclusivity period
dtech··on US data centers tripled annual water consumption to 17B gallons
So this isn't really a problem? That's like a small city.
dtech··on How credit card rewards became a $9.2B wealth transfer
That's because the $ prices are without VAT
dtech··on Why some US restaurants are banning tips
It seems your expectations are very mismatched. Most restaurants operate because people go there occasionally and relax and socialize.

If you just want a quick meal there's more than enough places but you generally order at the counter there, don't sit and wait for a server.

dtech··on GLM-5.3 (open-weight) beat Anthropic/OpenAI models – for 1/5 the cost
I don't know if it's an intentional joke or something, but your comment smell incredibly like it's written as AI.

Per the writing, reading AI writing is like having something taste "chemical". Not very specific, but still a very recognizable and bad taste that makes it hard to enjoy and marks the thing as low quality.

dtech··on Where Human Sleep Went Wrong
That is the difference between global and local optima. We're not at a local optimum though, our bodies can probably evolve to produce half the urine or something without changing the route, but there is no evolutionary pressure to do so.
dtech··on Where Human Sleep Went Wrong
Evolution is the ultimate "good enough". Once the required threshold is passed, pressure stops. The threshold might constantly be moving due to competition, environment etc.
dtech··on Incident with Github.com
They say it's the skyrocketing load because of AI tooling

Many people suspect it's the year-long migrating to Azure and all their products instead of the things they have been using.

dtech··on Decathlon Germany adds Wero payment option to decathlon.de website
It's primarily an online payment system, not a money transfer system. It has worked since forever (20+ years, it's a rebranded Dutch system) from web browser. Still does.
dtech··on Patreon laying off 20% of staff
Twitter had a lot of side projects and people that were not needed to run their core business. E.g. they used to have a Linux kernel engineering team [1]. They argued their value, but I was always a tad skeptical. Even if they earned their keep in terms of ROI, Twitter can definitely be run without kernel engineers.

[1] https://danluu.com/in-house/

dtech··on Startup founders urge U.S. government not to shut off Chinese open weight AI
That was not actually the ad, that was "You wouldn't steal a car. [...] Downloading Pirated Movies is stealing. [...] Piracy it's a crime."

Easily misremembered and meme-able.

dtech··on JEP 540: Simple JSON API (Now in Incubator)
That's not what the person I replied to asked at all, arbitrary types weren't mentioned.

They literally asked why they couldn't write JsonObject.of(Map.of(...))

dtech··on JEP 540: Simple JSON API (Now in Incubator)
Java lacks the expressiveness to make it much better than this. There's a reason almost all the "replacement Java" languages add something to support DSLs, e.g. type safe builders in Kotlin [1]

The kotlin stdlib-adjacent json lib does it like this

   buildJsonObject {
     putJsonArray("providers") {
        add("SUN")
        add("SunRsaSign")
        add("SunEC")
     }
   }
[1] https://kotlinlang.org/docs/type-safe-builders.html
dtech··on JEP 540: Simple JSON API (Now in Incubator)
It's pretty normal, almost all libs work this way. This way you can parse the JSON string into the matching data structure or print it into a string, and when building you can ensure it's valid JSON.
dtech··on Escape IntelliJ: Scala and Kotlin LSPs on Emacs Eglot
~no one == approximately no one
Page 1 of 34Next →