softirq

12 ms·

61.
by softirq 3y ago
> anyone who knew anything about programming languages rolled their eyes at pretty much everything about Go's type system And Go has succeeded despite these condescending diatribes on how a language needs to have a Hindley-Milner ty
62.
by softirq 3y ago
Eh, just going to stick with mutt.
63.
by softirq 3y ago
The point of them owning LXD is to give them total control of the underlying technology they are using for Snaps. Snaps is the play… has nothing to do with kube/docker. It’s actually more of a synonym of ostree and flatpaks.
64.
Ask HN: How do you organize your GNU Pass?
3 points by softirq 3y ago|2 comments
65.
by softirq 3y ago
I think you missed the part about systems programming. When you are programming real hardware, the focus is entirely on low level details. You need to know the commands being sent to the device, the device state, and the ownership of resour
66.
by softirq 3y ago
I agree, at some point they do build up to the point that change is inevitable. There's usually a lot of false starts along the way (AI is a good example of this). No matter what it is, there's going to be a lot of fighting agains
67.
by softirq 3y ago
I'm not really looking for a replacement for C, the ecosystem of system programming is still really C centric, it would take a large shift in the industry for me to justify investing in another language. I've dabbled with Rust onl
68.
by softirq 3y ago
In my experience as a kernel programmer tracing allocations isn't the hard part, it's keeping the correct view of hardware state and the different type of mappings at play, be it an MMU or IOMMU device mapping, and register state.
69.
by softirq 3y ago
> Low-level Operating Systems Sr. User Experience Researcher Wow, I didn't even know this job existed. IMO Rust as a C++ replacement is fine, Rust as a C replacement has more trade-offs than I still care to make. C is still far sim
70.
by softirq 3y ago
All I care about when it comes to editors is availability (on every platform, can be used in a terminal), longevity, and the community for third party plugins. Vim still checks all of those boxes and the only real other contender is still E
71.
by softirq 3y ago
Always wrapping errors can be a good way to get a stack trace of the error path in the logs.
72.
by softirq 3y ago
> Already parts of the Linux kernel as well as Windows are being written in Rust, so if it's good enough for them, it should be good enough for those bunch of C experts. The C experts I was referring to are the subsystem maintainers
73.
by softirq 3y ago
> extremely difficult to do in programming languages that do not have algebraic data types. And this is why people like me avoid ML based languages, type astronauts, and shiny new toys. You're misrepresenting inconveniences as fatal
74.
by softirq 3y ago
> You are committing the perfect solution fallacy. Rust is also not a perfect solution. You have to prove that the benefits of solving for the bugs Rust can prevent outweighs the downsides of asking a bunch of C experts who are currently
75.
by softirq 3y ago
> Beauty is a useless concept in a programing language. Maybe not aesthetic beauty, but readability in many contexts matters more than performance. Code that isn't readable hides bugs and can't be maintained (FYI Rust doesn&#x2
76.
by softirq 3y ago
After writing primarily no standard library C for 15 years, I have to say that I find Rust just as ugly and cumbersome as C++ (not debating its safety guarantees). It seems like languages that add sufficiently advanced type/macros syst
77.
by softirq 3y ago
Just doing a basic google search shows me at least 4 plugins that interface with chat GPT. I personally don't use them because my workplace doesn't allow feeding our code to another companies backend.
78.
by softirq 3y ago
I use vim and don't futz around with my config. I feel like this is a perpetual myth that vim or emacs requires endless tinkering. I maybe touch it once a year, and I still have: - LSP support - code actions, hover, gotos, linting. - F
79.
by softirq 3y ago
How do you feel about Rust?
80.
by softirq 3y ago
My approach to my terminal tools is to avoid eye Candy as much as possible. It distracts and complicates without adding value. Eye candy often is not easily portable, and it can break. I use color very intentionally to mean something. The o
81.
by softirq 3y ago
As I said I have done research work and a written a PhD thesis on operating systems, and I've worked on several production kernels including Linux and I find it hard to fathom this hill you all are trying to die on. You can't just
82.
by softirq 4y ago
Let's go over what I said: io_uring remaps a contiguous chunk of pages in both the kernel and userspace vas. This is a true statement - io_uring makes a compound page and calls remap into the usersapce vas in mmap, and I did not say th
83.
by softirq 4y ago
Yes, and it's not that it's just slow, it also freezes Emacs completely when it borks (and it does bork). I also found that none of the emacs terminals could correctly display my prompt and I ended up writing a bunch of bash condi
84.
by softirq 4y ago
Vim has terminal support, gdb support built in. We have vim plugins maintained by the top Vim plugin specialist for git and project management. We have vimwiki, markdown, org mode support. We have fuzzy finding, autocomplete, lap support. I
85.
by softirq 4y ago
1. Org mode - I will admit that I'm not a fan of org mode and find it to be oversold and another time waster for people who are already wasting time configuring their editors. I personally use vimwiki, there is a vim plugin for org mod
86.
by softirq 4y ago
Why would I want to run an emacs layer adding more latency to my work to turn Emacs in to Vim when, as I said, I can do everything in Emacs I can do in Vim. > (I also don't see how tramp is an issue -- it opens up workflows I wouldn
87.
by softirq 4y ago
I did the same experiment and came to the same conclusion. There’s really nothing killer in Emacs that makes it a huge sell over just using vim which is a much better editor unless you just love Emacs lisp. Emacs also has some glaring iss
88.
by softirq 4y ago
Yes, you're looking at kernel pages through userspace virtual memory mappings, this isn't the case with copy to user. You're just copying data from a userspace page to a kernel page, but only in kernel mode. You don't ge
89.
by softirq 4y ago
Micro kernel-ish behavior would be features that allow for drivers/modules in userspace, which Linux does provide (and I do agree that Fuse is an example of this). eBPF is not sort of, or kind of, or remotely related to micro kernels a
90.
by softirq 4y ago
It's not the same thing. io_uring remaps a contiguous chunk of pages in both the kernel and userspace vas. For read/write the data is copied from userspace into kernelspace.

More ›