HN user

archargelod

1,065 karma
Posts51
Comments274
View on HN
www-cs-faculty.stanford.edu 15d ago

The Art of Computer Programming by Donald E. Knuth

archargelod
239pts60
yottadb.com 22d ago

Nimetic – Zero-JS Single Page Applications

archargelod
15pts2
www.cs.utexas.edu 1mo ago

The cruelty of teaching computing science (1988)

archargelod
2pts1
codeberg.org 2mo ago

Show HN: Ced – C REPL in 50 lines of POSIX shell

archargelod
5pts0
github.com 2mo ago

Nev – keyboard focused GUI and terminal text editor

archargelod
30pts5
codeberg.org 3mo ago

How to use ZigCC to compile Nim programs

archargelod
1pts0
www.gnu.org 5mo ago

"Ed is the standard text editor." (1991)

archargelod
5pts1
amigasourcepres.gitlab.io 5mo ago

The hunt for Benchmark Modula-2 (2018)

archargelod
6pts2
www.youtube.com 8mo ago

We'll pay you $10k to DE-shitify this Samsung refrigerator [video]

archargelod
5pts0
arstechnica.com 9mo ago

GZDoom community splinters after creator inserts AI-generated code

archargelod
2pts0
nim-lang.org 9mo ago

Zen of Nim (2021)

archargelod
3pts0
www.tomdalling.com 9mo ago

Tom's Data Onion

archargelod
1pts1
tic80.com 10mo ago

TIC-80 – Tiny Computer

archargelod
101pts15
ciesie.com 11mo ago

Well, it seems you just don't like programming

archargelod
6pts1
www.youtube.com 11mo ago

Advent of Computing Podcast

archargelod
3pts0
ordiluc.net 12mo ago

Libetc – LD_PRELOAD-able shared library that intercepts file operations (2008)

archargelod
2pts0
lambdacreate.com 1y ago

Using lots of little tools to aggressively reject the bots

archargelod
215pts145
www.lita.foundation 1y ago

Nim to CUDA GPU Prover: 5.3x Faster Than Icicle

archargelod
4pts0
github.com 1y ago

Nim plugin for Unreal Engine 5 with hot reloading

archargelod
1pts0
forum.nim-lang.org 1y ago

Nimony compiler plugins – Nim 3.0 WIP

archargelod
5pts1
en.wikipedia.org 1y ago

Uniform Function Call Syntax

archargelod
1pts0
peterme.net 1y ago

Nim at FOSDEM – frequently asked questions (2018)

archargelod
5pts0
www.gammon.com.au 1y ago

GPascal – A Blast from the Past (2011)

archargelod
52pts8
sources.debian.org 1y ago

Debian Funny-Manpages (1997)

archargelod
1pts0
librivox.org 1y ago

LibriVox: Free Public Domain Audiobooks

archargelod
1pts0
en.wikipedia.org 1y ago

Darwin Among the Machines

archargelod
1pts0
store.steampowered.com 1y ago

Quadrilateral Cowboy - Hacking Puzzle game (2016)

archargelod
1pts1
multicians.org 1y ago

Three Questions About Each Bug You Find (1989)

archargelod
4pts0
www.youtube.com 1y ago

My 80s TV can Wirelessly Receive my PC's video signal without transmitter[video]

archargelod
4pts0
github.com 1y ago

Nim for Python Programmers

archargelod
4pts0

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.

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

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.

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).

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...

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.

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.

"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)

[dead] 1 month ago

It's very depressing seeing a badge "made by a human" slapped on what is obviously AI-generated text.

GameBoy Workboy 1 month ago

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

GameBoy Workboy 1 month ago

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.

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.

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

The spirit of Pascal lives on in Nim.

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

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.

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/

On Rendering Diffs 2 months ago

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.

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.

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.

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.

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.