HNHacker News
TopNewBestAskShowJobs

RedCinnabar

1 karma · joined August 11, 2023

submissionscomments
RedCinnabar··on Coding is not solved
I’m sorry but I don’t agree with this. These models are faster and more accurate than me and their solutions are usually better than mine.

I’ve been through quite a lot of programming eras over the years (compiled, interpreted, loosely typed and finally JS/Python for everything), but this time I just can’t adapt anymore.

I’ve jumped this sinking ship nearly two years ago and while I was skeptical about it at first, I’m now more and more happy about this choice.

RedCinnabar··on Cloudflare Quick Tunnels
Very cool, do you use some kind of an atomic distro like nix or something entirely self built using Yocto/Buildroot? I do something similar with a simple SSH tunnel and a NFT rule. Though, I don’t need your kind of ephemeral setup and so I just use Debian.
RedCinnabar··on Fuck it, make it anyway
I mean, wasn’t that the case for most of them? Im not a developer anymore, but to me programming was always a means to an end. Sure you can have preferences (static vs dynamic typing, functional vs OOP, etc.), but in the end they should only be relevant if they make you more productive, makes the codebase more readable and so on.

Since these nuances are progressively getting less and less important, why would you care about the process?

RedCinnabar··on Fashware
> Everything I don’t like is fascism.

Nobody cares about this nonsense, grow up. Also, labeling Spotify’s CEO as a fascist just because he’s involved with a company that builds drones for Ukraine is completely ridiculous. I did the same for a few years and the only people who complained were a bunch of self proclaimed “leftist pacifists” who had the brilliant idea of slashing the tires of some of my colleagues as an act of protest.

RedCinnabar··on Nitter and XCancel receive cease and desist notices
> Now it's a political project to elect the extreme-right in Europe.

You people are completely out of touch with reality. You cannot accept that the reason of why we’re voting for the “far” right is because we experienced a whole decade of uncontrolled immigration policies that permanently reshaped the way of living of previously homogeneous countries.

RedCinnabar··on Immersive Linear Algebra Book with Interactive Figures (2015)
Bold of you to talk about arrogance…

Besides, I've never met a physicist or a (real) engineer who would go to such lengths to oversimplify the math part, even if it was only “tangential” to them.

RedCinnabar··on Immersive Linear Algebra Book with Interactive Figures (2015)
Maybe I should’ve been more clear: what I meant is that these programmers-oriented resources are all about applications…maybe a bit too much. For instance, In this book I cannot find the algebraic structure of vector spaces, theorems about how certain linear operators such as the kernel or the image led to subspaces (which is a very important result) or a proper introduction to the spectral theorem, for both Euclidean and Hermitian spaces (which also allows you to introduce some nice functional analysis).
RedCinnabar··on Immersive Linear Algebra Book with Interactive Figures (2015)
Why are programmers always so attracted by these interactive/over-simplified/lightweight versions of linear algebra? They all focus on the visual aspects while ignoring the real stuff (theorems, proofs, etc.).
RedCinnabar··on Why developers are ditching GitHub for Codeberg and self-hosting alternatives
What do you mean by that? Are you referring to Codeberg? Out the frying pan straight to the fire...
RedCinnabar··on Qwen 3.6 27B is the sweet spot for local development
Call me back when you can run these models on 16GB of RAM and any recent i5/i7. Until then, there’s no point on using these toy models.
RedCinnabar··on (How to Write a (Lisp) Interpreter (In Python)) (2010)
> I don’t think a good learning resource gets worse[...]

Probably not, but they become irrelevant. The other day I found an old programming book at my parents’ and while it was still a terrific resource, I couldn’t image anyone learning a language from a book nowadays.

AI is doing the same thing but 100 times effectively than anything else.

RedCinnabar··on (How to Write a (Lisp) Interpreter (In Python)) (2010)
Blog tutorials, guides, programming books and youtube tutorials. They are completely irrelevant in a time where you have a personal tutor willing to explain every single detail of a subject.
RedCinnabar··on (How to Write a (Lisp) Interpreter (In Python)) (2010)
Man these kind of resources have aged really bad in the age of AI.
RedCinnabar··on Emacs 31 is around the corner: The changes I'm daily driving
What’s the appeal of an editor like Emacs in 2026? Why’d anyone still use when most jobs nowadays require you to work inside a container (and therefore use VSCode container extension)?
RedCinnabar··on An OpenAI model has disproved a central conjecture in discrete geometry
What I don’t understand is why people dismiss this kind of progress with false claims. Especially when discussing programming, people start to act irrational using arguments from back in 2022.

I think that you can easily address your concerns about this new technology (since we all are concerned about the future) but at the same time acknowledge how revolutionary it is.

RedCinnabar··on An OpenAI model has disproved a central conjecture in discrete geometry
Not true anymore since like early 2025 and especially since last December.
RedCinnabar··on An OpenAI model has disproved a central conjecture in discrete geometry
It’s basically up to the domain experts. What I found interesting in mathematical optimization/combinatorics (my fields of interest) when an AI proved some major results some time ago was probably dismissed as a boring fact by someone else. What OP is mentioning is just their personal preference and doesn’t reflect the actual opinion of the mathematical world.
RedCinnabar··on The Unix timestamp will begin with 17 this Tuesday
I used to follow your blog about 15 years ago, what a blast of nostalgia! I’ll add it to my RSS feed. Keep it up.
RedCinnabar··on Linear Algebra Done Right – 4th Edition
I know this book is not intended to be used as a first reading on Linear Algebra but, to me, this text isn’t good even for a second(or a third) read. The author hurries up too much on certain parts. I think that Serge Lang’s Linear Algebra does a better job in explaining pretty much every topic of the subject.
RedCinnabar··on Introduction to Immutable Linux Systems
The day Debian will make this immutable stuff mandatory will be the day I will ditch Linux from my computer.
RedCinnabar··on Debian celebrates 30 years
Tried it for the first time 15 years ago and never looked back since then. Coming from Slackware, I remember feeling relieved due to the automatic dependency management.

I just wonder how they will name the release versions when they will run out of Toy Story characters.