qiqitori

Joined 10 years ago

Karma
1,044
Submissions
451
Member since
Nov 5
https://blog.qiqitori.com/

Do not upvote past 999 karma, thank you very much.

View on Hacker News

Recent submissions

Comment · 11 days ago
Gemini Pro IMO
Comment · 12 days ago
Work smarter, not harder.
Comment · 1 month ago
Comment · 1 month ago
Smartphone UIs are a devastating blow to humankind. They make a real computer just redundant enough that people buy smartphones instead of computers and then just don't do anything that can't be easily done on a smartphone. Furthermore, as doing anything productive is so painful on smartphones, people just passively consume stuff instead.
Comment · 2 months ago
Especially seeing how M5Stack is majority-owned by Espressif.
Comment · 2 months ago
I think it's a bit iffy to argue that the bootloader code is covered by the GPLv3. In programs for standard computers running a big OS, the distinction lies in whether you are linking a library into your program. If the GPL code isn't a library but an external program, it isn't linking, and OK by the GPL. Now on to the bootloader code: in order to flash your device you have to put everything into a single image file. I guess the claim is that this process constitutes linking. But I don't think that is how most people think. Some possible arguments:

When linking, symbols pointing to addresses are involved. The main program calls functions in the library, and you end up with a whole program. On the other hand, a bootloader just does its thing and then jumps to a fixed address in the main program. The main program doesn't call anything in the bootloader. (Note, the Linux kernel has a special clause that explicitly allows the userland to programmatically interface with the kernel.)

I realize this sort of depends on the microcontroller toolchain. I'm familiar with a few, but not much with STM32 stuff. If the toolchain is dumb and implements the bootloader in a way that resembles linking, i.e. making it possible to resolve all the symbols in the bootloader from the main program then it could very well make the bootloader subject to the GPL.

Comment · 2 months ago
IIRC this was talked about in Cory Doctorow's Enshittification book. Here's my bookmarklet to get rid of sponsored results, it's survived a couple years:

    javascript:document.querySelectorAll(".s-result-item:has(.puis-sponsored-label-text)").forEach(function(e){ e.remove()})
Comment · 2 months ago
A while ago I learned that very early versions of 3.5" floppies didn't have the auto shutter mechanism and you had to open and close the shutter manually. (I think that was probably just used on some Japanese Sony machines.)
Comment · 3 months ago
Can we also ban Java projects? Don't really like that language.
Comment · 3 months ago
https://www.amazon.com/Maths-Proofs-Lean-First-Steps-ebook/d... I like this author and a while ago found that he'd published a book on Lean!

In the end I wasn't able to read it on my ebook reader and reading it on a PC or smartphone kinda makes it annoying to read on the commute. So I've only read the first two chapters or so but it seemed like a lot of fun. All this talk about using Lean in AI-powered proofs kinda makes me want to pick it up again.

Comment · 3 months ago
If you want to make all developers working on a project happy about the way the project is being designed/implemented, it's best to reduce the number of developers to 1 or less.
Comment · 3 months ago
How much time is spent interfacing between userland and the kernel? Can you try to get it to run as a kernel module? :)

Also in case your CPU is old enough, did you try disabling CPU bug mitigations?

Comment · 3 months ago
No, it is impossible to keep them. Computers are not that far advanced yet. The melodies can only be played by pressing a button located at the end of the train.

My line lost its departure melodies in March this year :/

Comment · 3 months ago
I once wrote a tool that helps with finding mistakes in OCR'd fixed width text, https://blog.qiqitori.com/2023/03/ocring-hex-dumps-or-other-...

Basically it just clusters same characters and asks the human to find the problems, which is easy when you're looking at a series of pictures like ssssss5sss.

The UI is kinda least-effort. Should ask a modern AI agent to make it look nice and intuitive, sometime maybe.

Comment · 4 months ago
I've found that Gemini Pro is surprisingly good at 3d reasoning. To back that claim up, I've had it create:

A WebGl program that takes input like X123 Y123 Z123 via WebSerial every 100 ms and builds an object out of the resulting path. Required some performance optimizations (just had to tell it what to do). Also asked it to make the corners nicer and it did. (To be fair, I'd already asked a lesser model and put some things in the prompt to nudge it the right way.)

Various OpenSCAD models. E.g., remote control holder with 5 slots, staggered heights, slight slant because it looks cool, and the slots all have different depths. One shot. It implemented the slant/tilt using a shearing matrix. 100 points.

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton