HNHacker News
TopNewBestAskShowJobs

still_grokking

2,093 karma · joined May 24, 2016

submissionscomments
still_grokking··on Online ad giant Adform was hacked, proving once again why ad blockers are needed
> I think it’s hard to argue that the amount of justice is unchanged for all of human history

I agree.

It got worse.

The inequality between people was never so high in history! Hard fact.

Now some people "earn" more money while they breeze in and out then large amounts of people earn in their whole life.

Also now the slaves have to pay everything themself (like food, shelter, clothes, in some countries even education). Progress!

still_grokking··on Xbox goes down. You can't play games you own on disc
> This is my experience with all Microsoft software. The worst thought out, buggy, untested pile of crap.

> There's something seriously wrong in Redmond.

I'd say: There is something seriously wrong with the people buying this shit since over 40 years.

It's not like Microslop products weren't pure utter trash already decades ago. They got worse over time, especially lately with "AI", that's true, but nothing ever changed substantially.

still_grokking··on Online ad giant Adform was hacked, proving once again why ad blockers are needed
LOL

The world has always be run by oligarchs, and nothing changed since ten thousands of years.

Most people today on this planet are still slaves.

still_grokking··on Online ad giant Adform was hacked, proving once again why ad blockers are needed
> you only need to look at reddit's degoogle subreddit

A drop in the ocean…

Google is constantly rushing from growth record to growth record in the last years.

still_grokking··on LLMs reward expertise
No, they fail all the time.

You just don't notice all the bullshit if you're not already an expert in the field you generate LLM output for.

still_grokking··on LLMs reward expertise
For anything where "the answer" wasn't already in the training data you just get some arbitrary correlated tokens out, as that's all a LLM can do. Of course the meaning of these tokens is just random.

(And even for things that were in the training data you don't have any guaranty they will be reproduced correctly, there is just some chance something meaningful comes out, or it doesn't, it's random.)

The whole idea to use a next token predictor as "answer machine" is completely flawed. This can't work like advertised, and that's by construction.

still_grokking··on LLMs reward expertise
That's some of the most weird anthropomorphization of a next token predictor I've read in a while…

This things output token which are correlated with the context given. That's all!

If you feed it some context the parrot will answer with the same.

It does not "sense your expertise level"—it just outputs correlated tokens… Is this really so hard to understand?

still_grokking··on Copy Fail
I've said I'm not sure about the validity of that reasoning.

I've liked it nevertheless for context, as augmentation to parent's post.

still_grokking··on Vera: a programming language designed for machines to write
Exactly! Completely new languages without large amounts of reference material are terrible for LLMs.
still_grokking··on Vera: a programming language designed for machines to write
Or it's just some AI brain fart…

The whole things looks vibe-coded, and vibe-designed.

still_grokking··on Vera: a programming language designed for machines to write
You're looking for Scala… ;-)

https://news.ycombinator.com/item?id=47957121

still_grokking··on Vera: a programming language designed for machines to write
That's in large parts Scala.

It doesn't have Hindley-Milner type inference, but it has very strong type inference.

We will get linearity soon thanks to and as part of the Capybara[1] effort.

Refinement types are already long a reality.

The whole new effect tracking thing is based on delimited continuations.

The Unison style content addressability comes up now and then, maybe it will become a reality at some point. It's though mostly not a language thing but more a build system thing.

Scala is already great for for LLMs also for other reasons:

https://arxiv.org/html/2510.11151v1

[1] https://2025.workshop.scala-lang.org/details/scala-2025/6/Sy...

still_grokking··on Vera: a programming language designed for machines to write
Why would you need "header files" when a LSP server can give you just the outline of some file?
still_grokking··on Vera: a programming language designed for machines to write
Why would anybody use a vibe-coded and vibe-desinged language which effectively does not exist yet instead of an established one with such features, like Scala?

https://arxiv.org/html/2510.11151v1

still_grokking··on Zed 1.0
Wasn't that legalize the reason Gram got created?

https://gram.liten.app/

still_grokking··on Copy Fail
Yeah, that's great!

Imagine we would download random code from the internet and just execute it, like with NPM, PIP, Maven, Cargo etc.

still_grokking··on Copy Fail
How about SELinux, like on Android?
still_grokking··on Copy Fail
Will this continue like that even when the prophesied Mythos Vulnocalypse hits the Kernel?

This stance doesn't seem sustainable any more to me.

still_grokking··on Copy Fail
As I did not know what AF_ALG is in the first place I've searched for it and found this here:

https://www.chronox.de/libkcapi/html/ch01s02.html

It states the following:

> There are several reasons for AF_ALG:

> * The first and most important item is the access to hardware accelerators and hardware devices whose technical interface can only be accessed from the kernel mode / supervisor state of the processor. Such support cannot be used from user space except through AF_ALG.

> * When using user space libraries, all key material and other cryptographic sensitive parameters remains in the calling application's memory even when the application supplied the information to the library. When using AF_ALG, the key material and other sensitive parameters are handed to the kernel. The calling application now can reliably erase that information from its memory and just use the cipher handle to perform the cryptographic operations. If the application is cracked an attacker cannot obtain the key material.

> * On memory constrained systems like embedded systems, the additional memory footprint of a user space cryptographic library may be too much. As the kernel requires the kernel crypto API to be present, reusing existing code should reduce the memory footprint.

I can't judge whether this is a good justification, but there is one.

still_grokking··on “Why not just use Lean?”
Can someone ELI5 that for me?

Is this the mathematician's variant of "my language is better than your language", or what does this post actually discus? Something fundamental in the philosophy underpinning things or just the way to express them?

still_grokking··on GitHub Copilot is moving to usage-based billing
> the only real advantage for local models (privacy/secrecy) hasn't proven convincing for broader IT either

Because of nonexistent regulation. Just wait for it…

The legal situation in for example the EU is crystal clear, only that it will take some time to go though all court instances.

still_grokking··on Claude Pro: Opus model will only be available if extra usage is enabled
Looks like the Chinese are, again, winning the long game.

There is simply nothing that could compete with their open models. At the same time more and more corps got "AI addicted", so they will either have to pay ridiculous amounts of money, or use the Chinese stuff.

still_grokking··on Claude Pro: Opus model will only be available if extra usage is enabled
Their vibe-coded "documentation" sucks so much…
still_grokking··on Networking changes coming in macOS 27
If you want to keep your shiny Apple stuff you're effectively trapped. Their walled garden approach works extremely well…
still_grokking··on Networking changes coming in macOS 27
The "quality" Apple delivers is by now a complete joke. It's going south since over a decade, and this never stopped.

It's like that because people are still buying. Even for the ridiculous prices Apple asks for.

So why would Apple actually care? They get away with this "quality", so from a business standpoint there is simply nothing that needs investments or even just attention.

It's a race to the bottom. Like everywhere else. That's simply how the system which people created works.

still_grokking··on Is my blue your blue?
This "test" makes no sense. Cyan, and especially turquoise are neither blue nor green, they are a mix (similar to orange between red / yellow).

I had actually a very hard time to answer the questions, needed to overlay most of the color with some mostly white / light gray window and only squint at the color around it to decide. In the end my result was 176, which is almost the exact turning point for most people (and that even while my monitor is set to be more cold than default; but like said I had whatever my monitor shows as "white" to compare; even that "white" is likely technically slightly blue-ish).

Color perception is anyway much more influenced by contrasts then anything else. (Likely similar to acoustic tones, which are very hard to name / locate absolutely than when comparing to some reference tone.)

Besides the things mentioned in the about popup, blue is AFAIK the color we have the most receptors for. So it's imho quite "natural" that most people perceive cyan—which is technically the exact middle—as blue-ish, and of course the color left to it, turquoise, is green-ish (and as it seems, for most people, the mentioned turning point).

still_grokking··on Google details new 24-hour process to sideload unverified Android apps
> GrapheneOS had to sign some sort of non-disclosure for them, in order to roll them into updates.

So doesn't this mean GrapheneOS is effectively controlled by Google now?

Also, how is keeping anything secret under NDA possible at all if you want to know what's in a security update and be actually able to build that update yourself from source?

still_grokking··on Google details new 24-hour process to sideload unverified Android apps
Just to switch to an even more aggressively monitored and tightly controlled walled garden?

People sometimes act as if the one would be an viable alternative to the other. Even both are effectively the exact same shit for the exact same reasons.

How about we move instead to open systems?

still_grokking··on Google details new 24-hour process to sideload unverified Android apps
Don't forget that Apple is spying on their users even more then Google does (which is gross in its own). Apple controls much more user data then Google does.

At the same time Apple keeps telling their users some fairy-tales about "privacy".

No, Apple isn't honest. Definitely not.

still_grokking··on Google details new 24-hour process to sideload unverified Android apps
That escalated quickly.

I think that's actually true. But what does it mean, what's the way forward?

Page 1 of 34Next →