Étienne Laurin

@atnnn

Nitro. PDF. Nix. Polyglot programming. Correctness proofs. Elegant abstractions. Concise code. Tin whistle.

Meath, Ireland
Vrijeme pridruživanja: ožujak 2010.

Tweetovi

Blokirali ste korisnika/cu @atnnn

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @atnnn

  1. proslijedio/la je Tweet
    9. sij

    We're looking for some new Track Maintainers to help us with the push towards the new version of Exercism. It's an opportunity to work with smart people on interesting problems, and create long-term resources that help 100,000s of people. Interested?

    Poništi
  2. proslijedio/la je Tweet
    3. lis 2019.

    GOT 5 MINS TO HELP? As part of our work in redesigning Exercism tracks, we're researching what people need to learn/unlearn/remap to learn a new programming language. Could you spare 5 to tell us your experience? 💙 Here's a GitHub issue with details

    Poništi
  3. 20. lis 2019.

    Using non-negative integers in C++? signed ints are happy to represent negative values. unsigned ints are just bits with well-defined overflow. Implicit conversion makes it impossible to catch mistakes. uint_mersenne fixes all that:

    Poništi
  4. proslijedio/la je Tweet
    13. ruj 2019.

    13/ point? Here's a pic of a 3x+1 path. Each row is a number in binary; the black dots are 1's and white are 0's. The solid line on the right is that every number is odd. This is the seed 887570260646934643447331259693373543698140232874500619768489156911. You wouldn't know it at

    Prikaži ovu nit
    Poništi
  5. proslijedio/la je Tweet
    13. ruj 2019.

    On the topic of Wardley mapping ... If you want to learn, the book (I wrote this bit) is free - There's an awesome list of useful sites and events - and is going to put up a list of mappers -

    Prikaži ovu nit
    Poništi
  6. proslijedio/la je Tweet
    13. ruj 2019.

    Join us on Sept 24 at our Dublin HQ and learn about the challenges and opportunities associated with continuous application delivery. Plus we'll have pizza and beer. RSVP to guarantee your free seat! 👉🏼

    Poništi
  7. 5. ruj 2019.

    Good code is INVISIBLE. It's hidden behind a clean boundary. It never causes tests to fail. It behaves predictably. It's impossible to use incorrectly. Bad code with a good disguise is good code.

    Poništi
  8. proslijedio/la je Tweet

    My value-add to Galois is my coffee making skills. Galois Arlington, where you can be assured that the coffee is good.

    Prikaži ovu nit
    Poništi
  9. 28. kol 2019.

    This talk sounds very interesting, it will "present [a] view of numeric types as spans over an infinite range of digits. [We'll] use this perspective to explore some popular topics in C++ such as compile-time evaluation, fixed-point arithmetic and undefined behavior."

    Poništi
  10. proslijedio/la je Tweet
    20. kol 2019.

    in v0.106.0, we're starting to bring some long-awaited fixes to our spread model. Read more about our spread model and what to expect in our latest blog post:

    Poništi
  11. proslijedio/la je Tweet
    19. kol 2019.

    😎Our Nitronauts enjoying the summer season in Dublin. We had lots of fun solving challenges at GoQuest.

    Poništi
  12. 28. srp 2019.

    Recently uploaded a few new recordings to

    Poništi
  13. 26. srp 2019.

    perl-cross () doesn't seem to support MinGW and Perl's top-level Configure script wants a Windows machine it can ssh into for configuration detection and bootstrapping.

    Prikaži ovu nit
    Poništi
  14. 26. srp 2019.

    Argument quoting isn't straightforward. I think I've got it working: s/ ((\\\\)*) ( \\? " ) / ($1 =~ s|\\\\|\\|rg) . ($3 eq "\"" ? "" : "\"") /xge;

    Prikaži ovu nit
    Poništi
  15. 26. srp 2019.

    I decided to write a cmd.exe stub to cross-compile on for Windows. I can't use wine directly because pkgsCross.mingwW64.gcc (host: win, target: win) isn't supported. But pkgsCross.mingwW64.buildPackages.gcc (host: linux, target: win) does work great.

    Prikaži ovu nit
    Poništi
  16. proslijedio/la je Tweet
    22. srp 2019.

    Idris 1.3.2 has been released This includes what you need to build the rapidly developing Idris 2, which you can find here:

    Poništi
  17. 14. lip 2019.

    What is your Slack personality? Share your most frequent emoji! First line: who you want to be. Second line: what others really think about you. Third line: who you really are. Fourth line: who you think you are.

    Poništi
  18. 16. ožu 2019.

    Weekend project: experimenting with the API for image classification.

    Poništi
  19. proslijedio/la je Tweet
    26. velj 2019.

    I’ve used git for ~7 years now. Yesterday I learned two things I wish I knew all along: - git rebase —autostash stashes and unstashes local changes for you - git commit -v adds diffs to commit draft so that you can inspect them as you write commit msg What else am I missing?

    Poništi
  20. proslijedio/la je Tweet
    11. velj 2019.

    Hold on everyone, let's compromise and find a code style that's somewhere in the middle - indent three spaces - start every block with a curly brace on the same line, and another curly brace on the next line - identifiers should be both camel_Case_And_Snake_Case

    Prikaži ovu nit
    Poništi

Čini se da učitavanje traje već neko vrijeme.

Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.

    Možda bi vam se svidjelo i ovo:

    ·