HN user

mbarbar

45 karma
Posts0
Comments31
View on HN
No posts found.

CakeML is also a very cool project in SML land.

I've been very interested in CakeML lately, do you use it for anything?

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't cut it for performance...

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 to fairly different things. Then, the visual feedback becomes very useful.

In my mind I read "wd" as "select word, delete selection" which matches well with the visual feedback Kakoune gives you.

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 is "built-in"), and you just buy bottles and pour them into the machine. That's not innovative though, just what any sane printer manufacturer should have been doing and third parties have been doing. Kind of like selling food from a bulk bin vs. prepackaging tiny quantities in plastic.

With respect to disruption, I was using the term disruption wrong. Moreso I was thinking as to why does no one come in with something normal and consumer friendly and shake things up, force the others to play nice.

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 bored billionaire, from coming in with a consumer friendly line of consumer printers, and capturing the market completely? In my mind, and I could be wrong, printers aren't sophisticated in a way that make it near impossible for new players (like high end semiconductor manufacturing, for example -- like you say, printers have been good for decades) and the software doesn't seem too out there either.

In my mind, I envision something like what Raptor Computing [1] is trying to do for workstations and servers, but unlike Raptor, 1) the problem appears to be far simpler, and 2) the market for printers is larger and to consumers appears more directly beneficial. It's far harder to sell someone on (expensive!) hardware freedom than that the official ink refill isn't a complete rort, the ink is environmentally friendly, no annoying DRM, etc.

Of course, that market is shrinking. I think the anecdotes you and others point out are not uncommon, and your last point about a professional setup makes sense, but then... who's buying these things? The office supply stores near me still dedicate a decent chunk of space to printers and ink cartridges.

[1] https://www.raptorcs.com/

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 template/boilerplate [0])? This press release [1] states it covered positions more junior than store manager.

As an aside: interested if anyone knows what is meant by copyright in the press release above:

Madigan’s suit alleges the companies required all employees to sign a non-compete agreement, which the company claims is covered by copyright, as a condition of employment.

[0] I experienced this. Would recommend to anyone to at least question any condition you don't like, even if you aren't able to negotiate. I was taking a low-level position at a large organisation so I had no real leverage and had a condition crossed off because it was meant for full-time and fixed-term employees but somehow made it into my casual contract, presumably because it was part of some boilerplate.

[1] https://www.illinoisattorneygeneral.gov/pressroom/2016_06/20...

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 longer the case?

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 example, the father can double dip: write a (good enough) book, make money through sales (more guaranteed through state-enforced monopoly), buy a house with, maybe part of, that money, then have both the house and copyright inherited by the inheritors.

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, but then I think my old memory of Pascal clicked and I am enjoying the experience.

Ada is verbose, though is it complex? I've been reading some Ada looking to use it for some projects and I like what I see (SPARK and the type system especially). I just worry about complexity... I use C++ for my work and I hate the language for it's messiness and complexity and the myriad of footguns. So I was just curious what you thought of Ada's complexity coming from a far simpler C (well, I guess the complexity in C is hidden... but I digress).

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 from looking at the X clipboard and all that stuff.

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 licence under CC-BY was listed at 400USD. In place was "The article processing charge (APC) is to be paid anyway for all PACMPL articles, and ACM SIGPLAN covers it if you cannot afford it. Your paper will be open access no matter which kind of publishing-rights agreement you choose.".

That said, from what I can tell, most of the main programming languages conferences have far better systems and communities in place than many other fields (a lot of open access, double blind reviews, etc.).