HNHacker News
TopNewBestAskShowJobs

archargelod

1,112 karma · joined May 28, 2023

submissionscomments
archargelod··on Terence Tao's ChatGPT conversation about the Jacobian Conjecture counterexample
Why do you use a VPN regulated by your government? That really limits its usefulness.
archargelod··on Passkeys were invented by engineers with zero understanding of consumer brain
Discord has an option to login with qr code. And it's very often used maliciously to steal accounts.
archargelod··on Codeberg: ToU extension to prohibit LLM-extrusions
> What then?

Then all digital systems will be compromised and our civilization will collapse. Without internet and computers, we would all be living happy farmer lives.

archargelod··on Annoying and alarming things about OpenCode
Good sentiment, wrong target. I took some liberties to fix the beginning:

> If you don’t know what AI is, imagine a boot stamping on a human face forever. The boot is made of shit and the face is everything we have learned about security and systems software since the invention of the electronic computer in the 1940s.

archargelod··on Eliminating Go bounds checks with unsafe
Is there any way in Go to selectively turn off bounds checking for a block, function or module? E.g. in Nim I can just do:

    proc littleEndian(b: openarray[byte]): uint32 =
      {.push boundChecks: off.}
      return uint32(b[0]) or (uint32(b[1]) shl 8) or (uint32(b[2]) shl 16) or (uint32(b[3]) shl 24)
      {.pop.}
And GCC is smart enough to reduce it to a single operation:

    000000000000bf80 <littleEndian_u0__session95202695079520951784538200>:
        bf80:       8b 07                   mov    (%rdi),%eax
        bf82:       c3                      ret
archargelod··on I tricked Claude into leaking your deepest, darkest secrets
What, you expect them to care about security? If that was the case, it would've been very ironic.
archargelod··on In Emacs, Everything Looks Like a Service
I see shell as an instrument through which you use other tools. In that sense, vi feels much more like a shell, because you have to use other standard unix programs with `:.!` for much functionality.

Where Emacs comes with all bells and whistles included in one big distribution, much like an operating system.

archargelod··on Fast Software, the Best Software (2019)
Maybe it's me who's weird, but I find animations as much worse - it's basically pointless and wastes slightly more time (even when program is fast enough!).

The interface without animations feels snappier even if sometimes it takes a second to load. I disable any and all animations in software that I can - particularly in Android (via developer settings) and Linux (i3+vim vs something like KDE+VScode).

archargelod··on Show HN: DRM-Free Books
Love their browser. Very convenient for downloading no DRM e-books you bought.
archargelod··on Efficient C++ Programming for Modern 64-bit CPUs: Chapter 4/part 2
Looks like a human to me. But some of the public gists on that account suggest a case of AI psychosis e.g. [1] [2]

Also [3] (this is obviously written by AI, but the fact that he publishes it all in public is concerning):

> Claim: The straylight/nix reimplementation is the greatest feat of software engineering in history, normalized by time and resources.

> IF I COULDN'T BE PART OF THE GREATEST, I HAD TO BE THE GREATEST MYSELF

[1] - https://gist.github.com/b7r6/bed1551cc2bb6551eb279b68c5db8de...

[2] - https://gist.github.com/b7r6/193a89d393dd5508c22ca4e6595cdb5...

[3] - https://gist.github.com/b7r6/418ccfe6cf3ac57ad9a100dde560fae...

archargelod··on When I reject AI code even if it works
Then it's probably small enough - where you don't need a help of AI, and should do it yourself.

My position is that AI could be useful to find the potential places for these changes, but it should be someone who's capable of thinking to implement them.

archargelod··on When I reject AI code even if it works
You can't. You must prove it. And I don't mean that you need a rigorous scientific proof - that would obviously be too hard to do for every single function/library/program.

Human developer can work on a program incrementally, ensuring at each step that it is mostly correct.

But LLMs can't think, they fake reasoning and explore problem space in random walk until they stumble into something that looks like a solution. And these "solutions" will have hilarious and absolutely unexpected failure modes.

archargelod··on When I reject AI code even if it works
"In the discrete world of computing, there is no meaningful metric in which "small" changes and "small" effects go hand in hand, and there never will be." - E.W.Dijkstra (EWD1036)
archargelod··on [dead]
It's very depressing seeing a badge "made by a human" slapped on what is obviously AI-generated text.
archargelod··on GameBoy Workboy
> but what do you do with it?

Yes, emulators up to PS1/NDS. There are also many bespoke and commercial linux games that run on these devices via portmaster[0] (for commercial games you need to provide your own files).

I use my 34XX clamshell to listen to podcasts and audiobooks in rockbox [1].

If you take some time to setup alternative OS (e.g. MuOS) there is a good video player and even terminal emulator available with root shell.

And of course, you can write your own games and apps to run on it (SDL, pico8, Godot, Love2D, etc).

[0] https://portmaster.games/

[1] https://portmaster.games/detail.html?name=rockbox

archargelod··on GameBoy Workboy
I would've got one if it wasn't so pricey for these specs. You can get a cheap Anbernic for 40-60$ running linux, with decent ARM CPU and a good backlighted screen.
archargelod··on I Hate (Most) Keyboard 'Fn' Keys
My TV does have an audio jack. It's a cheap dumb TV. And almost all of my electronic devices have a 3.5 mm jack. You won't find it in top flagship models, but plenty of budget devices still have it.
archargelod··on Dune's Butlerian Jihad and the Future of AI
> People talk about a Butlerian Jihad against AI as if you could just ban LLMs and be done.

I don't think we're talking about bans. The word Jihad, in Islam means struggle and usually it's accompanied by a religious "war", but not necessarily violent (see below).

> jihad , In Islam, the central doctrine that calls on believers to combat the enemies of their religion. According to the Qurʾān and the Ḥadīth, jihad is a duty that may be fulfilled in four ways: by the heart, the tongue, the hand, or the sword. The first way (known in Sufism as the “greater jihad”) involves struggling against evil desires. The ways of the tongue and hand call for verbal defense and right actions. The jihad of the sword involves waging war against enemies of Islam. [0]

Maybe people can't win against machines, but they sure can fight e.g. by refusing to interact with AI online, at their job, vandalizing mass surveilance cameras, etc. etc.

[0] - https://www.britannica.com/summary/jihad

archargelod··on Zig: Build System Reworked
The spirit of Pascal lives on in Nim.

It's arguably the closest modern language (with a sizeable community) to the Wirthian languages.

archargelod··on Zig: Build System Reworked
> For the rare exceptions, I make a C lib

The problem is that most people using Python don't have enough expertise in C to do the same.

It also kinda destroys the argument that Python is good if your solution for performance is to use a different language alongside it.

archargelod··on Zig: Build System Reworked
That's actually a great argument for Nim[0]. Easy interop with C, native-speed performance, and a syntax very close to Python in both readability and how quickly you can get something working.

Batteries included, automatic memory management without a conventional GC and metaprogramming - is a really cool combination.

[0] - https://nim-lang.org/

archargelod··on On Rendering Diffs
Is this really a hard problem? Rendering some text with coloring?

I believe we're just making everything harder than it needs by constraining it to a browser interface. This would be trivial as a terminal application written in native code.

archargelod··on Rapira (Рапира) – Soviet programming language interpreter
https://en.wikipedia.org/wiki/Rapira

> 1982

archargelod··on Noroboto: Lying Fonts and Mitigation in Rust
> I’m fairly certain if you give any substitution cypher to an LLM it will decipher the message.

*with sufficiently long cyphertext

You can construct encoding in the way that every 2-5 words will use a brand new different key. Remember, Unicode is big enough to fit over 10000 English alphabets.

archargelod··on I spent 50 hours drawing a line graph
You can see the full work in his other blog post[0]. There you can clearly see that red circles coincide with vertical blue lines on the graph. And the very fine print in the bottom left corner explains that "Displayed years indicate when Coffee Maker computers were built". Overlapping the red points with title text is probably just a stylistic choice.

[0] https://www.dougmacdowell.com/hand-drawn-data-visualizations...

archargelod··on Time to talk about my writerdeck
That did not help. Seems like slightly different UI and written in Rust are two main "features" over tmux.
archargelod··on Time to talk about my writerdeck
Handwriting or using a typewriter is great if you're writing something solely for enjoyment of the process. But if you want to store, organize and use any of your writing in the future - you have to go digital.
archargelod··on Bun support is now limited and deprecated
Program testing can be used to show the presence of bugs, but never to show their absence! Dijkstra (1970) "Notes On Structured Programming"

LLM generated code is garbage, not because it writes obvious errors. But because it lacks any kind of reasoning - Claude will gladly write you a solution for a problem you never had. Good luck fixing these kind of issues that will never be catched by tests.

archargelod··on Blog ran on Ubuntu 16.04 for 10 years. I migrated it to FreeBSD
> something had gone wrong with an earlier kernel update

That's mostly problem of Arch/Artix, they're the bleeding edge, which is not always the best for stability. But no one said that rolling distro is supposed to always ship latest versions of everything. I've been using Void Linux past months - and while it's a rolling distro, it runs LTS kernel (mainline is also available) and maintainers are more focused on stable versions of apps than on faster updates.

archargelod··on Flipper One – we need your help
What is the flipper market, anyway? I can only think of script-kiddies pwning neighbours wi-fi router and computer nerds buying it as a toy.
← PreviousPage 2 of 11Next →