qiqitori

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.

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.

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?

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 :/

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.

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.

I'd kind of considered printing a rather small thing (seriously, 3x3x3 cm or so) in grey using this technique (using white and black filament). It told me it'd require 140 (== number of layers) filament changes and it'd take 5 hours. (In fairness, if I wanted to print 10 at once it'd probably take a similar time.)

So... honestly it's kinda silly IMO. If I wanted to mix colors in a hacky way I'd just... wait, hold my beer.

Hmm? Airbnb isn't on the hook?

I cannot fathom why USB-C would make any difference. It's not like USB-C is intrinsically better for this use case? If you're doing hardware development, your desk is likely full of in-development crap anyway and a micro USB cable more or less won't make any difference whatsoever, nor is the Pico likely to the only thing needing a micro USB cable.

Edit: one thing I can think of where micro USB connectors are better: if you broke off the connector, it's much easier to solder it back on.

I just checked an old note I found, maybe it was noclflush actually. Affected one or more versions starting with 2.6.32-754.

I came across a CPU bug that prevented Linux from booting on 3rd gen i3/i5/i7 CPUs. Did a bunch of printf debugging until I was right before the freeze. Then found something relevant in the CPU errata. It could be "fixed" by passing in noapic. I had a decent writeup on the old CentOS forums, but they're gone, and I don't have a copy of my writeup anymore.

That's nitpicking, IMO. It's still 99% true. There are just two "Mini-Shinkansen" lines, they only run once or twice per hour, are shorter than non-Mini-Shinkansen, and only a relatively short part (distance-wise) of their journey is spent on the slow tracks. There are non-Shinkansen trains on the Mini-Shinkansen portion of their journey, but not very many. (Also the word "shinkansen" implies new tracks.)

Watched it! I know it's from a US perspective, but where I live (Japan), $42000 is quite a lot! Definitely premium car territory. (E.g., Lexus RX base model)

IMO the car has a lot of bells and whistles that many drivers (probably!) don't really care about. But I guess car fans like this kind of stuff. The active noise cancelling feature might be nice, but wouldn't be surprised if we see regulation on that matter at some point. You kind of need to be alert of your surroundings, etc.

I keep seeing "underequipped technologically relative to their Chinese peers" on HN. What kind of stuff is missing? This is not a loaded question, I only drive a couple times a month, and the vehicle I'm driving is an older Prius, so I probably lack imagination. EVs are supposed to be technologically pretty simple, most of an EV's value being in the battery packs. I've been thinking about upgrading, perhaps to a Nissan Sakura (which probably doesn't have a lot of bells and whistles either).

Now I kinda wish my Prius had a 3.5mm aux-in jack but I get by with an FM transmitter.

Learned about superheterodyne receivers. Recently I've been studying up on RF technology, happened to come across superheterodyne receivers a short while ago, decided to research them today, saw that Technology Connections had a video on them, watched it, and felt reasonably enlightened.

Apart from the deaths from workers falling off the roof or from wind turbine towers (though these might be the only type of deaths included in these figures):

If mining deaths are included, coal, oil, gas and uranium probably do not look favorable at all, but renewables aren't perfectly safe either: there was a bridge collapse at a copper/cobalt mine in Congo two months ago that killed 32. Solar and wind use more copper per energy unit than other technologies, and solar and wind indirectly require battery technology. Lithium batteries contain lithium and cobalt. (Lithium mining seems relative safe, but 70% of cobalt is mined in Congo, which is known for artisanal mining, and the above-mentioned accident indeed seemed to happen at such a mine.) Wind, especially off-shore wind uses more concrete and steel than other power generation technologies (hydro seems like it'd use a lot too?), which could be explored too. (Course, these metals are recyclable, so you only mine them once.)

Battery factories also produce deaths sometimes, e.g. recently https://en.wikipedia.org/wiki/Hwaseong_battery_factory_fire, and batteries in operation as well as discarded batteries sometimes produce deaths too.

IMO, file another report and if you're asked to prove your identity again, a good way to prove it would be to put a text file somewhere under your domain that re-states your claim, adding the date and time.

I built a basic version of Tennis for Two a while back, using regular op amps. Some modern oscilloscopes have bad X-Y mode implementations, but most non-extremely-cheap scopes are probably decent enough. https://blog.qiqitori.com/2024/08/implementing-tennis-for-tw...

I'm also planning on selling a kit in the near future!

Not sure if it's really unprecedented, but I think all wars should be like that. Go kidnap or kill the leader but please leave everyone else alone. Also by all means go and capture the US' leader if you think you need to retaliate.

He also drove his ex-wife into depression, who later committed suicide.

American companies need to start designing in China, not just made in China.

Why does China have a bunch of electronics companies? Because people outsourced all their manufacturing to China. So all non-China has left, barely, is the hardware design. Cool, so let's outsource that too? So all non-China has left is, oops?

Determining whether there is an actual labor shortage is pretty difficult. In many cases:

* Doing the work in a completely different way would eliminate the need for more people doing the labor. In the case of Japan, there is a lot of small farmland. In the case of the US, farmland tends to be huge. I guess smaller farmland is more labor-intensive. Consolidating smaller strips of farmland into a larger piece of farmland may improve labor intensity. But that means that one person gets to do the farming for a higher margin and everybody else loses their profession.

* Lots of farmland is being worked by elderly people. At some point you can't do it anymore. Somebody not working in agriculture would have to give up their current job and go into agriculture. It's difficult to predict whether that will happen.

* Labor shortage often means "we can't find anybody who is willing to do it for 1000 yen per hour so there must be a labor shortage".

BTW, there are a lot of abandoned houses in Japan; many of them will come with some amount of farmland that could be used, but isn't used.

Used this possibly 20 years ago! Time flies like a banana.

Yes, need to protect Azure from those evil manufacturers.

Search results are still location-specific even if you disable personalization.

You can turn off personalization. (Operating under the assumption that most people search for facts, I personally don't see why one would ever want personalized results.)

I think your position is valid.

Note: Apple restricts apps uploaded with Xcode, (depending on how it is signed I believe) to 7 days or 1 year. adb currently doesn't have this limit.

But what if they find that somebody made 'sideloading' 'too easy' again. E.g. somebody could come up with the idea of running adb or an adb emulator on another phone, or even a small hardware dongle, integrating it with a pretty UI that looks like a regular app shop. Then their currently proposed new rule would become ineffective and due to whatever thought process they arrived at their current conclusion, could place similar limits on adb.

    body::after {
    content: "";
    position: fixed;
    top: 0;
    left: 0;
    width: 100%;
    height: 100%;
    background-image: linear-gradient(rgba(0, 0, 0, 0.4) 1px, transparent 1px);
    background-size: 2px 2px;
    background-repeat: repeat;
    ...

I disagree with all your points. What gives?

I meant, he doesn't care about the conservationists.