Mathieu Boespflug

The Nickel configuration language hits 1.0! If you’re tired of copy-pasting tens of thousands of YAML lines, this is a language for you... tweag.io/blog/2023-05-1…

Flox raises $27M to bring Nix to more developers tcrn.ch/3jASYoc by @fredericl

@aspiwack @MonniauxD Our new AI overlords do some good drugs. Never wrote such a paper! 🤣

@MonniauxD @mboesp have a look at this 🙂

Haskell Symposium 2021 keynote on linear types just out. If you wanted an intro to the *why* of linear types (resource hygiene, safe FFI, performance, correctness wrt protocols, ...), this talk gives you part of the puzzle. youtube.com/watch?v=WZ_0FS…

@podmostom The problem is, this is all still a legal grey zone, with different EU privacy watchdogs disagreeing with each other. See kevel.co/blog/gdpr-goog….

@podmostom Sticking to what's allowed without asking for consent keeps us honest. There's an argument to be made about not training users to consent to privacy policies they never read.

Spending excessive amount at work in @serokell to prove that GDPR means way to opt out from Google Analytics being 1. there, 2. default. Was using @tweagio as an example of a company who doesn't violate GDPR, and then it turned out that they silently ship users' data to Google.

@satnam6502 Would love to chat sometime.

I started my Google career working on new configuration languages for deploying giant workloads to data-centers. I learned a lot about what does not work and why config is soul destroyingly hard and what the real problems are. However, it is too hard to publish negative results.

Linear types in Haskell, research phase 2: arxiv.org/abs/2103.06127. This time we're focusing on much improved developer experience. Linear type class constraints are the secret sauce.

Scala/Haskell/Rust/Nix/Bazel... Tweag is HIRING, across the board. Take your pick: boards.greenhouse.io/tweag.

@pitopos @vrom911 I'm less interested in its circuit-breaker feature than its potential for extra publicity, especially if the "members" are well-respected folks from *other* communities. "Members" are common for non-profits in some countries (such as in the UK) because they bring value.

I'm so confused 😟 The Haskell Foundation Board is not elected yet, but already not to be trusted in functionality and reliability? I can't think of good foundations behind such worries. But I probably don't have a full picture, or I'm too naive.. discourse.haskell.org/t/haskell-foun…

Want to bust barriers to Haskell adoption? Nominations for the first ever Haskell Foundation board are still open for 1 more week! Consider applying: haskell.foundation/board-nominati….

@tazjin @joepie91 @andir0815 @a_cowley @ttuegel @mgattozzi @Google Please do! :) Thanks. Will make sure to drop a message in your email inbox later today.

@tazjin @joepie91 @andir0815 @a_cowley @ttuegel @mgattozzi Who "pushed Flakes pretty hard" and how? Would love to investigate this. Maybe you would be interested in providing a starting point. 2/2

@tazjin @joepie91 @andir0815 @a_cowley @ttuegel @mgattozzi Your initial speculation was about who "Nix should be developed" by. My response is unequivocal. Re Flakes RFC, sounds like it was indeed controversial, but I dunno much about it. Would love to hear more from you about it offline (tweets too small). 1/2

@joepie91 @tazjin @andir0815 @a_cowley @ttuegel @mgattozzi Again, where do you see such a claim, by who? I founded Tweag. Pretty sure this is not my view. Also, pretty unaware of what went down in Flakes RFC process. If that's your specific concern and there's a writeup somewhere of how process could have gone better, would love to hear!

@mboesp @tazjin @andir0815 @a_cowley @ttuegel @mgattozzi The claim that Tweag considers Nix a product of theirs.

@tazjin @joepie91 @andir0815 @a_cowley @ttuegel @mgattozzi Sorry, typo. Meant: you won't find systematic disclaimers in those blog posts either.

@tazjin @joepie91 @andir0815 @a_cowley @ttuegel @mgattozzi I have no idea what your question is about. NLNet partially funds one of our projects. That's all we know about NLNet. We work on dependent types and linear types in Haskell. Also experimental. You won't systematic disclaimers in those blog posts either. Should they?

@joepie91 @tazjin @andir0815 @a_cowley @ttuegel @mgattozzi Wait wut? Who made what claim about who?

@mboesp @tazjin @andir0815 @a_cowley @ttuegel @mgattozzi A defensive response like that, that doesn't even address the concerns, frankly just reinforces the claim as far as I'm concerned...

@tazjin @joepie91 @andir0815 @a_cowley @ttuegel @mgattozzi As for flakes: dunno what projects you're talking about. Maybe Trustix? 100% of commits by one dev. I don't disagree that creating controvery on Twitter is more fun - but have you tried opening an issue in said repo to discuss? Tweag has no policy about Flakes.

@tazjin @joepie91 @andir0815 @a_cowley @ttuegel @mgattozzi That Nix has community governance, that is improving over time. Tweag doesn't decide who contributes and who doesn't, what goes in and what doesn't. Never did, never will.