Yes! This is along the lines of what I thought of when I saw ghostty.
https://news.ycombinator.com/item?id=42524537
It's too bad I don't use vscode. I think it would be cool to have something that can jump between terminal emulators, something that isn't shackled to a text editor.
EDIT: I seem to vaguely remember something similar to this concept from some anime I watched that depicted a "hacker". It might have been serial experiments lain, or cowboy bebop..
Edit: It's been a while since I did this, but I had to manually build the kernel, overwrite a dtb file maybe (and Linux_for_Tegra/bootloader/l4t_initrd.img) and run something like this (for xavier)
If you spent enough time and energy on it.. I'm fairly confident you could get the newest Ubuntu running. You'd have to build your own kernel, manually generate the initramfs, figure out how to and then flash it. You'd probably run into stupid little problems like the partition table the flash script makes doesn't allocate enough space for the kernel you've built.. I'm sure there would be hiccups, at the very least, but everything's out there to do it.
How did they do it? The idea for homomorphic encryption has been around a long time, but as far as I am aware the time+space requirements have found to be tremendous, thus rendering any serious implementation of it impractible.
If they managed to do it, they should open-source the code. If they made a research breakthrough, they should publish. Doing either of those things would give me the peace of mind that I need.
Fantastic links. They should be at the top of this thread. This stuff looks really impressive to me. I'm not an expert.
I take it that it is implicitly assumed that code running on the server (which I cannot spot the source for) doesn't need to be available, to be trusted? (That there's no way you could come up with an attack through cryptanalysis, involving what the server does, since the security of the data coming from the client is all that matters?)
I went to ghostty.org and spent a long time staring at that animated ghost, and thought of clippy. Except this guy seems to have wider range of emotions.
Anyways, I eventually learned this was about a terminal emulator (which is awesome), but the ghost on the front page really inspired my imagination. I think it would be a good thing to have some kind of companion like that, when it's me, by myself, constantly surrounded by terminals all day.
Is the choice of having the ghost be rendered in a text-mode terminal important? I think it is for me.
What I like about foot is the heuristics governing text selection with the mouse. I find that more often than not, if I double click with the mouse on some text, what it ends up selecting is just the part I need.
I actually have to fight this feature a lot, but I appreciate what it's trying to do. For me the issue is I'm often trying to triple click to select full IRC lines and it keeps only selecting parts of the line because the person had put some quotes in part of what they said, and the selection "smartly" will only select the area between two quotes, even if those quotes were the ending of a pair on the left and start of a pair on the right, aka not even truly quoted text is being selected, but all the un-quoted text between two pairs of quoted text. The solution is to click a different spot, usually the timestamp is the safest, but I find I naturally drift toward the far right side of the terminal for selecting lines, or sometimes somewhere in the middle.
For the love of God when will c++ compilers finally be able to output template errors that aren't completely expanded and are written in terms of the user's typedefs? Most of the time I spend parsing template errors with boost is just to figure out what the hell is being complained about.
Weren’t concepts supposed to fix this? Apparently they made it into the 2020 standard. I haven’t touched the language in many years - did they not help?
Concepts are in C++20. I don't know the specifics but it's my understanding that the version we got is stripped down in comparison to the original proposal.
I have found LLMs are a great tool for metaprogramming. I think the template error problem has been wanting for a sufficiently advanced compiler, and that's what I see LLMs as being. ChatGPT has been a great help in debugging programs I've written in C++ templates, both in generating the template code and trying to decipher errors generated, leading to suggestions for the template code rather than the expanded syntax.
Yeah, totally. I find LLMs are very useful for doing stuff with the preprocessor, too. ChatGPT taught me how to use boost preprocessor (BOOST_PP_FOR_EACH_PRODUCT).
Still though, I want to see MyMapType::value_type in compiler errors rather than... Well, you know. It's going to contain the type of the key, the type of the value, the type of the allocator, just when all you want to really know is that it's a pair<key, value>, which I think most people know of as My map type::value_type.
Not a perfect defense either. If you ever have the misfortune of using mentor graphics code, they #define REGISTER. They also ship a standard library that uses the register keyword. If you build a project using their standard library and their toolchain together, it explodes. If you name something like set_register, it also explodes.
In my high school we were basically only instructed to get good at applied math. Calculus. Which more often than not was simply "plugging it in". Most of that work is trivially automatible through Mathematica. When I reached a university, I took number theory and abstract algebra and it blew my mind that math was actually so beautiful in a way that defied explanation. When I took real analysis I finally saw the side of calculus that didn't seem like a waste of time.
One day, I went back to my high school and spoke to my computer science mentor back then [1]. I passionately asked him why we were never exposed to group theory. The answer, he said, was the SAT. None of that stuff is on the SAT, so it can't be justified teaching.
Eh, I mean it's not on the SATs, but why isn't it?
In Canada, we had a similar calculus based curriculum up to the first year of university. A little bit of linear algebra thrown into the mix. Why is that? Well you need calculus to do any form of engineering, physics, certain domains of chem/bio, stats, certain domains of economics, etc etc. Math in society is first and foremost a tool. I say this as a person who majored in Pure Math and focused on algebra and number theory. For the vast majority of students, it truly is about the practicality. Math just has the layer of abstraction that makes it hard to enjoy without deliberate framing unlike the sciences or humanities.
Many people dismiss mathematics because they aren't interested in it. I definitely wasn't interested in doing dozens and dozens of error-prone problem sets that mainly boiled down to performing arithmetic. I don't need to do that.
My number theory professor was a brilliant mind, someone who had spent lots of time at the Institute for Advanced Study, and he absolutely sucked at adding/subtracting/multiplying numbers. And that was something he freely admitted. It wasn't important to his work, and it isn't important to mine.
EDIT: I seem to vaguely remember something similar to this concept from some anime I watched that depicted a "hacker". It might have been serial experiments lain, or cowboy bebop..