aardvark179 (u/aardvark179)

aardvark179 commented on Leaving Intel brendangregg.com/blog//20... · Posted by u/speckx

mort96 · 12 days ago

Leading the article with AI stuff is certainly a choice. If that's what they've ben spending their time on lately, maybe this is good for Intel.

aardvark179 · 12 days ago

Calling them AI flamegraphs is really naming them after the workload they are likely to be used on. If you want to make workloads more efficient it’s useful to know where they are spending their time.

aardvark179 commented on I see a future in jj steveklabnik.com/writing/... · Posted by u/steveklabnik

chrchr · 2 months ago

There's more than one way to do it, but the very normal UX is that you can just scroll through the diff file-by-file and stage/stash/drop each hunk individually by placing your cursor over it and issuing the appropriate command. You can do the same with files, staging/stashing/dropping changes to a file by placing the cursor on its name and issuing a command.

aardvark179 · 2 months ago

Crucially you can also select a region within a chunk and perform those commands, so it’s easy to untangle changes.

aardvark179 commented on How functional programming shaped and twisted front end development alfy.blog/2025/10/04/how-... · Posted by u/jicea

didibus · 2 months ago

What I'm curious is why the platforms don't adapt to how the developers have found works best?

The developers look for ergonomics in maintaining the code base, that can scale to larger team and websites.

This requires a lot of customers JS framework code to offer, but in a sense, it's because the platform doesn't natively support it no.

Would there be ways to evolve the web platform to better align with the React style for example?

aardvark179 · 2 months ago

There are often a couple of barriers to this.

Firstly, you can’t break what is already there, so any evolution of the general platform often has to make wider guarantees than a single framework.

Adopting ideas from any single framework too quickly may put you in a worse position. A framework can evolve and choose when to break compatibility, a language or platform standard has a tougher job in that regard.

Some things that front end frameworks have settled on are now being looked at for standardisation, but I’m personally still wary about changing something like the ecmascript for. It would be an easier call if there were a standard library which simply needed an implementation, but we aren’t quite there yet.

aardvark179 commented on ML on Apple ][+ mdcramer.github.io/apple-... · Posted by u/mcramer

aardvark179 · 3 months ago

I thought this was going to be about the programming language, and I was wondering how they managed to implement it on a machine that small.

aardvark179 commented on VLT observations of interstellar comet 3I/ATLAS II arxiv.org/abs/2508.18382... · Posted by u/bikenaga

reenorap · 4 months ago

An article said this is the 3rd interstellar object detected. Are we detecting more interstellar visitors because they are getting more common, or have our techniques improved over the last few years?

aardvark179 · 4 months ago

Our techniques have improved.

aardvark179 commented on Project to formalise a proof of Fermat’s Last Theorem in the Lean theorem prover imperialcollegelondon.git... · Posted by u/ljlolel

eig · 4 months ago

Slightly misleading title- this is the overall blueprint for a large ongoing effort by the Imperial College London to formalize FLT in Lean, not the proof itself (which is huge).

The project webpage has more information about the efforts and how to contribute:

https://imperialcollegelondon.github.io/FLT/

aardvark179 · 4 months ago

Thank you. I saw the headline and was thinking things had progress surprisingly quickly.

aardvark179 commented on 8x19 Text Mode Font Origins os2museum.com/wp/8x19-tex... · Posted by u/userbinator

f1shy · 4 months ago

And the 80 columns come (losely) from a still older standard in typography, of about 70 characters per line, found empirically as a good size for a line. Even today is good design practice in UI, Web and books to stick to 60 to 80 CPL.

aardvark179 · 4 months ago

The reason for it in terminals is much more directly linked to the IBM punched card format.

aardvark179 commented on Byte Buddy is a code generation and manipulation library for Java bytebuddy.net/... · Posted by u/mooreds

brabel · 4 months ago

How does that compare in terms of usability and completeness?

aardvark179 · 4 months ago

It is complete, and I’ve found it extremely usable when writing code to trawl over a large number of class files. Looks like it should be good for code generation as well but I haven’t used that yet.

aardvark179 commented on How we made JSON.stringify more than twice as fast v8.dev/blog/json-stringif... · Posted by u/emschwartz

kccqzy · 4 months ago

Most languages in use (such as Python) have solved this problem ages ago. Take any floating point value other than NaN, convert it to string and convert the string back. It will compare exactly equal. Not only that, they are able to produce the shortest string representation.

aardvark179 · 4 months ago

True, but many of them have had bugs in printing or parsing such numbers, and once those creep in they can cause real long term problems. I remember having to maintain alternative datums and projections in GIS software because of a parser error that had been introduced in the late 80s.

aardvark179 commented on Tamiya chairman Shunsaku Tamiya dies at 90 dailyexpress.com.my/news/... · Posted by u/mbrd

mbrd · 5 months ago

I’ve found scale modeling to be a very rewarding (and screen-free) hobby since Covid times, and I’ve built more Tamiya kits than any other manufacturer.

I’ve heard that Mr Tamiya was very hands-on in choosing their topics for kits so it will be interesting to see how things change. But what a company he built!

Edit: here is the official Tamiya announcement https://www.tamiya.com/english/pressrelease/20250722/index.h...

aardvark179 · 5 months ago

I have also found scale model building to be a deeply relaxing hobby, and Tamiya kits are definitely some of the most rewarding and pleasant to build. They also make superb tools and paints which I would hate to be without.