HNHacker News
TopNewBestAskShowJobs

scythmic_waves

466 karma · joined March 20, 2020

submissionscomments
scythmic_waves··on I Don't Like LLMs
I find it hard to believe in something so ill-defined and with such heavy religious undertones.

I'm open to the dualist's position on consciousness if that's what you're really asking. Though that's more because I find the physicalist's position so untenable [1] that I'm forced to consider alternatives.

[1]: https://plato.stanford.edu/entries/physicalism/#NumbAbst

scythmic_waves··on I Don't Like LLMs
1. I hardly made an argument, merely stated a position.

2. "of sufficient complexity" is doing a lot of work here. Read Ted Chiang's article. I agree with him: there's nothing that prevents software from being conscious in principle. But there is also no reason to suspect that LLMs in particular are conscious based on very reasonable assumptions about what that would look like.

scythmic_waves··on 10 Tells of a Slop UI
Did you even open TFA?

> Slop UI is the UI that AI cooks up that looks off, where it’s not supposed to be, doesn’t serve a purpose or when a UI is too generic.

> This is seen in vibe-coded UI without a vision. Vibe-coded UI can look great when done right, but most don’t. And it makes the apps look cheap and unappealing to use.

Those are paragraphs 3 and 4.

scythmic_waves··on I Don't Like LLMs
LLMs are software programs. Waste no more time considering than an LLM is conscious than you would considering that a running copy of Microsoft Word is conscious.

There's a great article by author Ted Chiang discussing this in depth [1].

[1]: https://www.theatlantic.com/philosophy/2026/06/no-artificial...

scythmic_waves··on Ambient CSS v3 – Blender meets CSS
What's a good example that comes to mind for you of it done right? I don't do much frontend so I think I just uncritically accept whatever design is put in front of me.
scythmic_waves··on Things I want in a modern relational query language
Some overlap here with some of my favorite essays on why SQL is lacking:

https://www.scattered-thoughts.net/writing/against-sql

That particular post ends with a wish-list of items so it's the most similar to the OP. But there are others on the site that I quite enjoy (click on the home icon and search "SQL" on the page).

My personal take is that SQL will continue to reign for a long time because of the how monumental the task of replacing it is due to the inherent complexity of databases. LLMs make this worse because they're really good at translating prose to SQL. Now that it matters less how annoying SQL is to programmers, SQL will become more like assembly over time: something mostly computers write because it's complicated for humans to deal with directly. This is deeply ironic given that SQL was ostensibly designed to read like prose, i.e. to be easy for humans.

scythmic_waves··on The lattice of sets of natural numbers is rich (2021)
> The power set lattice (P(N)) of all sets of natural numbers, not to scale, some sets omitted...
scythmic_waves··on Elixir v1.20: Now a gradually typed language
Anecdotally, it is very much different in Elixir land. I occasionally see bugs related to something being unexpectedly `nil` but it's pretty rare IME.

I'd love to evidence what I'm saying with specific numbers since this kind of discussion would benefit from being as objective as possible. Sadly I don't have them. But I still believe what I'm saying and I have a few guesses about some of the causes:

1. Immutable data - so, so many bugs are caused by data mutating out from under you in subtle ways. If you write `x = 1` in your Elixir function, nothing can change the value of `x` except an explicit rebinding. You can then write e.g. `y = f(x)` and know `x` remains unchanged after. Note: this is also true even if the variable is a composite type. `my_struct = blah()` will remain the same in it's entirety no matter what you do with `my_struct`. This is different than in JS where e.g. you can change the contents of an object even if it's declared `const`.

2. Assertive style - the Elixir community favors writing things in an "assertive" fashion [1]. Briefly, this a way of writing code that will fail the moment an assumption is broken rather than letting the issue propagate.

3. Pattern matching (somewhat like destructuring in JS) - Elixir code actually ends up feeling "typed" with pattern matching. E.g. `%Time{} = today = Date.utc_today()` will attempt to bind `today` to the result of `Date.utc_today()` and will raise a `MatchError` when the result, a `%Date{}` struct, fails to be a `%Time{}` struct. Or `[a, b] = [1, 2, 3]` will raise a `MatchError` because `[1, 2, 3]` isn't a list of length exactly 2. You can use pattern matching to write very assertive code quite tersely.

These reasons are all local properties of code. But when all its parts are written in this way, a program as a whole gains a level of correctness that's hard to achieve in a dynamically typed language without them.

Also these reasons aren't exhaustive, but they're top of mind when thinking about this topic.

[1]: https://dashbit.co/blog/writing-assertive-code-with-elixir

scythmic_waves··on Monad Tutorials Timeline
I read this years ago and I think it's the best one I've read. Thanks for writing it!
scythmic_waves··on Online age verification is the hill to die on
I think it's because, without further context, it's so hard to argue against. Pretty much every person in every culture cares deeply about their children. So if you can successfully hitch your position to that idea, it too becomes hard to argue against.

It's the same with tough on crime. "What, you want criminals to keep getting away with it?!"

scythmic_waves··on Show HN: Tiao, A two-player turn-based board game
It's fun! I play some chess but I am not a natural at this game. I think I need an AI easier than easy haha
scythmic_waves··on High-Fidelity KV Cache Summarization Using Entropy and Low-Rank Reconstruction
From the conclusion:

> The primary trade-off observed is the increased calculation time for OLS and SVD steps. Consequently, the next phase of this work involves implementing these operations within custom Triton kernels to amortize latency. By viewing the cache through the lens of reconstruction fidelity rather than just memory capacity, we can develop more sustainable architectures for long-context inference.

Reading between the lines, the increase in latency was so significant that they didn't want to include it before they had a chance to try and optimize the problem away first.

Still interesting research. Hope they get good results!

scythmic_waves··on A cryptography engineer's perspective on quantum computing timelines
Is it?

Your reasoning relies on this being true:

> [CRQCs] will be slow, expensive, and power hungry for at least a decade

How could you know that? What if it was 5 years? 1 year? 6 months?

I predict there will be an insane global pivot once Q-day arrives. No nation wants to invest billions in science fiction. Every nation wants to invest billions in a practical reality of being able to read everyone's secrets.

scythmic_waves··on Good CTE, Bad CTE
That was also a great read, thanks!
scythmic_waves··on Corruption erodes social trust more in democracies than in autocracies
It's not a tautology because it's not guaranteed. There are plenty of plausible sounding claims that fail to be true. That's why science is needed: to provide _empirical_ evidence for/against a claim.
scythmic_waves··on A plastic made from milk that vanishes in 13 weeks
It's possible to use manufacture whey protein without cows:

https://en.wikipedia.org/wiki/Whey_protein#Microbial_product...

It's not theoretical either. You can buy vegan dairy products made from this method today.

scythmic_waves··on It's hard to justify Tahoe icons
Ohhh thank you! I thought the same as the parent comment: I expected that button to turn off the animation immediately. I guess the author wanted the yellow background to "melt" the snowflakes?
scythmic_waves··on Utopian Scholastic
Wow fever dream is right! The beginning reminds me of 'Dark City' (1998):

https://www.youtube.com/watch?v=dO6ApZlxqo8

Sidenote: is that Clancy Brown doing the voice over on the 'Home' commercial?

scythmic_waves··on Show HN: RenderCV – Open-source CV/resume generator, YAML to PDF
I used this recently for my resume and I recommend it.

I have the technical background to write Latex and Typst documents but I honestly didn't want the headache. Plus I'm the type to futz with styling all day long instead of putting down actual content. RenderCV was simple to use and did exactly what I wanted.

scythmic_waves··on Ensuring a National Policy Framework for Artificial Intelligence
Yep. I punch literally everyone I meet in the face.

I have the power to do it. Why would I not?

scythmic_waves··on Over fifty new hallucinations in ICLR 2026 submissions
> as a code reviewer [you] are only expected to review the code visually and are not provided the resources required to compile the code on your local machine to see the compiler fail.

As a PR reviewer I frequently pull down the code and run it. Especially if I'm suggesting changes because I want to make sure my suggestion is correct.

Do other PR reviewers not do this?

scythmic_waves··on Thoughts on Go vs. Rust vs. Zig
Borgo [1] is basically that.

Though I think it's more of a hobby language. The last commit was > 1 year ago.

[1] https://news.ycombinator.com/item?id=40211891

scythmic_waves··on The (economic) AI apocalypse is nigh
The first link is a mistake. It's supposed to be the thing being discussed here: https://news.ycombinator.com/item?id=45170164.

The 2nd link seems reasonable to me? Why does a study about 25k workers in Denmark (11 occupations, 7k workplaces) not count as evidence? If there was a strong effect to be found globally, it seems likely to be found in Denmark too.

Also, what about the other links? The discussions about the strange accounting and lack of profitability seem like evidence as well.

If anything, this article struck me as well-evidenced.

scythmic_waves··on Dev Compass – Programming Philosophy Quiz
Hey it'd be great if you could rank the choices individually rather ranked-choice-style than picking just one first-past-the-post-style. I'm sure you could still compute a score, but it'd lead to less frustration from the quiz taker.

E.g. the debugging question: I use all of those methods to some degree. But I "think logically about the code" (or whatever that choice was) nearly 100% of the time, so I felt compelled to pick that one even though I didn't feel like it represented me all that well.

scythmic_waves··on Linear Types for Programmers (2023)
Sorry off topic but I love the styling of this site.
scythmic_waves··on Beyond Meat fights for survival
> Critiquing beyond burgers for their macro breakdown doesn't make sense to me.

They're selling a meat replacement. Replacing the meat in my diet with their product does not work for my goals without additional planning to compensate. Therefore it's not a good replacement for me. A criticism need not apply in all cases to be valid.

> I'd still be able to hit 150g/day at least without really trying.

What are your calorie goals? If you're in a surplus, maybe. But I'm currently in a deficit with 150g protein / 1600 calorie. I do not find that I can hit this goal "without really trying", _especially_ without protein powder.

And to clarify, it's 100% possible to hit my goals eating vegetarian/vegan. But with meat in my diet it's much easier because their high protein content gives me more flexibility with the rest of the diet. If I wanted to do it vegetarian, I wouldn't use beyond meat because it'd be even harder than other options.

scythmic_waves··on Beyond Meat fights for survival
Thanks for breaking that down.

As someone doing weightlifting, this is the primary reason I don't bother with vegetarian meats. They actually taste pretty good IMO, but they don't offer nutritional benefits commensurate with animal meat.

It's a shame, really. I'd gladly incorporate them if I could get a similar protein : calorie ratio.

scythmic_waves··on The average college student today
This particular professor has been teaching for 30 years. I'm not sure I find your explanation all that convincing in light of that, especially since this isn't an isolated opinion.

I'm much more interested in how much the average student has had a phone to distract them during their lifetime. For the incoming 2025 class of 18 year olds, the iPhone came out the year they were born. So potentially 100%. I expect that plus the availability of LLMs is a deadly combo on an engaged student body.

scythmic_waves··on Ask HN: Should there be new RPN calculators to replace the TI-84?
> as well as the promotion of weird ideologies by the DoE

What weird ideologies?

scythmic_waves··on The Unicorn Boom Is Over, and Startups Are Getting Desperate
As someone working in a niche area, I can confirm. It's shocking how little tech adoption there is in my industry. Plenty of low hanging fruit.

However I still sympathize with the parent comment. The niche-industry-exception state of affairs will become less true over time. And then you're left with the same set of incentives (minus dedicated hobbyists).

Page 1 of 5Next →