Conversation

Notices

1. Hallå Kitteh (clacke@social.heldscal.la)'s status on Sunday, 18-Mar-2018 15:04:16 UTC Hallå Kitteh

   • pit dad
   • Catonano
   • p̸h̴o̸⁴c̵e̴ₓa̵
   @dthompson @catonano @pho4cexa I don't think it's a problem that languages have their own language-specific infrastructure, in fact I think it's a good thing, as long as it's made to cooperate well with distribution infrastructure. I have a long, half-unwritten post about this that will probably become an #HPRep .
   
   It's the continuation of https://social.heldscal.la/notice/6475887 , which I haven't picked up yet. It's in my gists repo on gitlab.
   • p̸h̴o̸⁴c̵e̴ₓa̵ (pho4cexa@tiny.tilde.website)'s status on Friday, 16-Mar-2018 19:57:03 UTC p̸h̴o̸⁴c̵e̴ₓa̵

     It seems like the seL4 microkernel project is really taking off. I keep hearing of projects that use it and now a DARPA seL4 "Center of Excellence."

     (and I'm not in that community at all, just casually following news)

     I'd be so excited about projects like the Rust-based OS https://robigalia.org/, but I'm terrified so see it and others permissively-licensed.

     If you're working on an OS or kernel please consider a license with tivoization protection like GPL3, for the safety of your users 😱

     Hallå Kitteh likes this.
     Hallå Kitteh repeated this.
   • Hallå Kitteh (clacke@social.heldscal.la)'s status on Sunday, 18-Mar-2018 14:56:18 UTC Hallå Kitteh

     • pit dad
     • Catonano
     • Cathal Garvey
     • p̸h̴o̸⁴c̵e̴ₓa̵
     @pho4cexa @dthompson @catonano @cathal They made another jujutsu move.
     
     If the GCC library, which ends up in basically any code compiled by GCC, were plain GPL, all code produced by GCC would have to comply with the GPL because it would be derivative of the library.
     
     Before GCC 4.2.2, there was a blanket exception that the GPL did not apply to the code that included the library as a result of GCC compiling it. Not literally the LGPL, but functionally similar (and older).
     
     By 4.2.2 GCC switched to the GPLv3 and also took the chance to update the license clause. The lack of a plugin infrastructure had long been evident and yes, that was because people (rightly, see LLVM) worried that plugins might be proprietary.
     
     The solution was to leverage the library exception to demand that to be eligible for the license exception, the process producing a binary that included the library would have to be all GPL-compatible.
     
     https://www.gnu.org/licenses/gcc-exception-faq.html
   • Hallå Kitteh (clacke@social.heldscal.la)'s status on Sunday, 18-Mar-2018 15:07:05 UTC Hallå Kitteh

     in reply to

     • pit dad
     • Catonano
     • p̸h̴o̸⁴c̵e̴ₓa̵
     @dthompson @catonano @pho4cexa I stopped writing it specifically because I was going to say something about the interaction between Rust/Cargo and Nix, and I realized I didn't know enough about that and had to read up. Short story: Actually apparently #carnix seems to work pretty decent (but isn't used to package anything but carnix itself in nix -- the other package use the flattened Rust builder), even though the nix definition are pretty human-unfriendly and convoluted. Cargo is out of the picture at Nix time (I think!) and it just runs rustc.
   • Hallå Kitteh (clacke@social.heldscal.la)'s status on Sunday, 18-Mar-2018 15:09:34 UTC Hallå Kitteh

     • The God of Synthetic A Priori 🏴
     • p̸h̴o̸⁴c̵e̴ₓa̵
     @dtluna @pho4cexa Yes, because what they want might be to take away your property rights for software-containing devices you bought, and threaten you with government thugs if you try to find out how your property functions.
   • Hallå Kitteh (clacke@social.heldscal.la)'s status on Wednesday, 04-Apr-2018 02:34:10 UTC Hallå Kitteh

     in reply to
     https://marc.info/?l=nix-dev&m=151319329820236&w=2 is a good discussion about repackaging packages from language-specific package systems in Nix.
     
     I learned about #yarn2nix as an alternative to #node2nix. Will try it out.
     
     https://github.com/moretea/yarn2nix
     
     https://github.com/svanderburg/node2nix
   • Hallå Kitteh (clacke@social.heldscal.la)'s status on Wednesday, 04-Apr-2018 02:44:06 UTC Hallå Kitteh

     in reply to
     Why is marc.info showing HTML email unrendered instead of either cleaning it up and rendering it or simply swallowing it and showing the plain text?
     
     And why is everything in bold?
     
     Still, I prefer it to Google Groups.