Mathieu Boespflug

147 posts

Mathieu Boespflug

Mathieu Boespflug

@mboesp

Founder at @tweagio.

Paris, France Katılım Ocak 2014
188 Takip Edilen275 Takipçiler
Mathieu Boespflug retweetledi
Tweag by Modus Create
Tweag by Modus Create@tweagio·
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…
English
1
16
50
9.8K
Mathieu Boespflug
Mathieu Boespflug@mboesp·
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…
YouTube video
YouTube
English
1
21
47
0
Mathieu Boespflug
Mathieu Boespflug@mboesp·
@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.
English
1
0
0
0
Satnam Singh
Satnam Singh@satnam6502·
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.
Tweag by Modus Create@tweagio

Configuration languages now a hot area. Do consider giving a talk at the first ever CONFLANG! #Call-for-Presentations" target="_blank" rel="nofollow noopener">2021.splashcon.org/home/conflang-…

California, USA 🇺🇸 English
13
5
108
0
Mathieu Boespflug retweetledi
Tweag by Modus Create
Tweag by Modus Create@tweagio·
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.
English
4
27
80
0
Mathieu Boespflug
Mathieu Boespflug@mboesp·
@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.
English
1
0
2
0
Veronika Romashkina
Veronika Romashkina@vrom911·
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…
English
3
0
9
0
Mathieu Boespflug
Mathieu Boespflug@mboesp·
@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
English
1
0
0
0
Mathieu Boespflug
Mathieu Boespflug@mboesp·
@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!
English
1
0
0
0
Mathieu Boespflug
Mathieu Boespflug@mboesp·
@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?
English
1
0
0
0
Mathieu Boespflug
Mathieu Boespflug@mboesp·
@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.
English
0
0
0
0