mbarbar

5 ms·

1.
by mbarbar 4y ago
Could I ask what kind of work you do day to day? Does it feel sluggish in comparison to Linux for that use case?
2.
by mbarbar 4y ago
>Yes, but there's also a reason why the Rust -> JS route never took off. What is this reason?
3.
by mbarbar 4y ago
>CakeML is also a very cool project in SML land. I've been very interested in CakeML lately, do you use it for anything?
4.
by mbarbar 4y ago
What kinds of improvements does Helix offer over Kakoune?
5.
by mbarbar 4y ago
It appears to me those are the types the functions expect to consume and output when used in a pipeline.
6.
by mbarbar 5y ago
>And if simple humanpower really was the reason IBM took shortcuts Is this referring to the closed blobs on Power10? Is there anywhere to read more? And is there any indication Power11 won't suffer the same? Someday POWER9 won'
7.
by mbarbar 5y ago
How are you finding the battery? It seems this is the most common complaint. Edit: and also, what's the software support story here?
8.
by mbarbar 5y ago
More than accents are non-Latin scripts.
9.
by mbarbar 5y ago
Wonder what frontier we'll look back on in the same way in 50 years.
10.
by mbarbar 5y ago
I work on static analysis (points-to analysis) that does not use any GPU at all and is mostly single threaded.
11.
by mbarbar 5y ago
Being that it's open source, are you planning for revenue to be 100% from the SaaS component or do you have other planned revenue streams?
12.
by mbarbar 5y ago
Exactly what @ziml77 said. Even in the case of simple "wd", sometimes I have multiple cursors I am operating on at the same time (e.g. from complex regex or just through selecting multiple lines at once) so each cursor could point
13.
by mbarbar 5y ago
Good way to put it. This makes the most sense to me. I guess similar to lowering price for a year, they can play a nice for that year too.
14.
by mbarbar 5y ago
In my mind I read "wd" as "select word, delete selection" which matches well with the visual feedback Kakoune gives you.
15.
by mbarbar 5y ago
Right, that's what I mean (I had understood the term disruption incorrectly). Is there a reason this is not a lucrative venture, to produce something clean and user-friendly that captures the goodwill of customers and force competitors
16.
by mbarbar 5y ago
This looks pretty cool, never heard of this. >but it's the only example I know where a company attempted try something different to the colour ink cartridge model. Epson does sell printers without cartridges (I guess the cartridge i
17.
by mbarbar 5y ago
>Printers have been good for decades, and only the limitations built in by manufacturers make them bad This is what I was referring to, maybe using the word disrupt incorrectly. I meant to ask, is there anything stopping someone, like a
18.
by mbarbar 5y ago
Yeah the title is a bit unfortunate, but I think this is interesting news. As an aisde, it seems really wasteful to attach a semiconductor to a disposable/consumable item in the first place...
19.
by mbarbar 5y ago
Is there a reason consumer printers haven't been disrupted by some bored billionaire? Obviously some brands are better than others, but none stand out as a name everyone knows as a disrupting force (ala Uber, OnePlus, Tesla, etc; ignor
20.
by mbarbar 5y ago
The FAQ says $10 a month initially.
21.
by mbarbar 5y ago
You may like this blog post from last year if you have not come across some of these businesses: https://www.scattered-thoughts.net/writing/small-tech/ Not all are just a single person though.
22.
by mbarbar 5y ago
Always good to hear all perspectives on a story. >FWIW that was only intended for store managers Do you mean intended for store manager and applied to store managers only, or intended for store managers and applied to everyone (because t
23.
by mbarbar 5y ago
Here is an example from a sandwich shop: https://www.reuters.com/article/us-jimmyjohns-settlement-idU...
24.
by mbarbar 5y ago
I knew it was largely corporations but thought the final call was with Linus/the lieutenant system, and that Linus specifically wasn't beholden to any particular corporation (well, barring binary blobs I suppose). Is that no longe
25.
by mbarbar 5y ago
Interesting idea, similar to research funding I suppose. Do any governments do this, or offer grants for open source?
26.
by mbarbar 5y ago
>This can lead to corporate capture. We see this in some projects already. Could you share some examples that weren't corporate projects to begin with?
27.
by mbarbar 5y ago
>but extending copyright way past the original creator life is a logical conclusion when you combine the two. Not necessarily, unless you mean that copyright should always be able to be passed down should the holder wish. In your examp
28.
by mbarbar 5y ago
>Building High Integrity Applications with SPARK What did you think of this book? I'm thinking of picking it up, coming from a non-Ada background. >I typically enjoy conciseness, and at first I was put off by Ada's verbosity
29.
by mbarbar 5y ago
Thank you for this, easy solution that didn't cross my mind. I wanted to restrict Zoom from reading files (solved by a sandbox) while also sharing my screen from my normal environment (VM is out of the picture) but also preventing it f
30.
by mbarbar 5y ago
> So, this requires the author, and by extension, taxpayers in most cases, to pay a couple of thousand to ACM to put a pdf online. How does this make sense ? Tangential, though at a recent SIGPLAN conference, the cost to authors to licen

More ›