Romain Ruetschi

@_romac

/ — Haskell • Scala • Rust • FP • Type Systems • Formal Methods • InfoSec

Lausanne, Switzerland
romac.me
Vrijeme pridruživanja: travanj 2008.
264 fotografije ili videozapisa Fotografije i videozapisi

Tweetovi

Blokirali ste korisnika/cu @_romac

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

  1. Prikvačeni tweet
    21. sij 2019.

    Hello, I do formal verification. You may know me from my greatest hits "Sorry, This Is Unsound", "No, You (Hopefully) Can’t Prove False", "Recursion Considered Harmful", "Dont’t Trust The Model", "How To Live After The Solver Timeouts"

    Hello, I’m a cryptographer! You may know me from my greatest hits “Sorry (For Your Cofactor Bugs)”, “We Also Can’t Use Gnupg”, “Don’t Care If There’s A Whitepaper, Your Thing’s Still Weird”, “I Have In Fact Heard Of Supersingular Isogeny Diffie Hellman & That’s Not How It Works”
    18 proslijeđenih tweetova 50 korisnika označava da im se sviđa
    Poništi
  2. 1. velj

    Poništi
  3. proslijedio/la je Tweet
    21. sij

    My 20-month investigation into oil & gas radioactivity has just been published. Waste spilled, spread, dumped across the US (& world). Worker cancers indisputably linked to radioactivity. Communities poisoned. Impacts for industry may be catastrophic:

    99 replies 2.418 proslijeđenih tweetova 3.152 korisnika označavaju da im se sviđa
    Poništi
  4. 21. sij

    Running an executable without exec, in Rust, by

    Poništi
  5. 21. sij

    Synthesizing Loop-Free Programs with Rust and Z3, by

    1 korisnik označava da mu se sviđa
    Poništi
  6. 21. sij

    ❤️

    One of my articles prompted to improve diagnostics in rustc. That's a first! The PR just got merged 🎉🎉🎉
    Poništi
  7. proslijedio/la je Tweet
    12. sij

    ✨ New series 📦 Making our own executable packer In these articles, we dive into ELF, x86 instructions, memory mapping, gdb, dynamic loaders, and more. The first article simply asks the question: What's in a Linux executable?

    5 replies 45 proslijeđenih tweetova 155 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  8. proslijedio/la je Tweet
    7. sij

    Access to academic papers must be free for all, let's try together to convince the ACM about the benefits of Open Access.

    1 proslijeđeni tweet 1 korisnik označava da mu se sviđa
    Poništi
  9. proslijedio/la je Tweet
    19. pro 2019.

    Really disappointing that signs this kind of letter against Open Access and against availability of mostly publicly funded research, especially citing nationalistic arguments aiming at dividing the international research community.

    "[Open access] would effectively nationalize... intellectual property that we produce and force us to give it away to the rest of the world for free." In contrast to scholars who do the work giving away their intellectual property for free to publishers?
    Prikaži ovu nit
    8 proslijeđenih tweetova 22 korisnika označavaju da im se sviđa
    Poništi
  10. proslijedio/la je Tweet
    2. pro 2019.

    Very excited to present our work on a model-agnostic explainer for GNNs at next week! --- GNNExplainer: Generating Explanations for Graph Neural Networks by R.Ying, , , , 📜 💻

    37 proslijeđenih tweetova 142 korisnika označavaju da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  11. proslijedio/la je Tweet
    2. pro 2019.

    The first full episode of On the Metal is available -- and it's spellbinding!

    Join us as we hear Jeff Rothschild’s stories from his impressive technical endeavors including disassembling MS-DOS, editing machine code in an octal editor, trolling coworkers in error messages, the origin story of ftruncate, and more.
    12 replies 33 proslijeđena tweeta 113 korisnika označava da im se sviđa
    Poništi
  12. proslijedio/la je Tweet
    18. stu 2019.

    Swiss Public TV is airing a series of episodes in French on the work of US Intelligence backdooring the machines sold by the Swiss company Crypto AG. Great work by ⁦⁩!

    26 proslijeđenih tweetova 39 korisnika označava da im se sviđa
    Poništi
  13. 21. lis 2019.

    If anyone is attending OOPSLA this week, feel free to reach out if you want to have a chat about (but not limited to) formal verification, Scala, Haskell, Rust or any combination thereof.

    Poništi
  14. proslijedio/la je Tweet
    18. lis 2019.
    Odgovor korisniku/ci

    If you're talking about lifetimes, the thing is they're always there, it's just C programmers talk about them in prose in the comments hoping other programmers interpret them correctly in their usage, and Rust proves them correct using the type system

    1 reply 4 proslijeđena tweeta 59 korisnika označava da im se sviđa
    Poništi
  15. 8. lis 2019.

    I will speaking about formal verification of Scala programs at the Scala Romandie meetup tomorrow:

    1 reply 4 proslijeđena tweeta 1 korisnik označava da mu se sviđa
    Poništi
  16. 1. lis 2019.

    Counting Immutable Beans: Reference Counting Optimized for Purely Functional Programming — by &

    1 proslijeđeni tweet 1 korisnik označava da mu se sviđa
    Poništi
  17. 12. ruj 2019.

    4 korisnika označavaju da im se sviđa
    Poništi
  18. 23. kol 2019.

    Indigenous knowledge, cultures talking to whales and plant memories — @PascalWicht on the current forest fire crisis in Brazil

    1 korisnik označava da mu se sviđa
    Poništi
  19. proslijedio/la je Tweet
    9. kol 2019.

    THERE IT IS!! THE ANNOUNCEMENT ✨ 💪 1️⃣ you can now SUPPORT ME ON PATREON 2️⃣ it's for TECHNICAL BLOG POSTS 3️⃣ $10+ patrons get TIMED EXCLUSIVES 4️⃣ an exclusive article AWAITS YOU RIGHT NOW GO FORTH AND LEARN!! 💙💛💖💚💜🧡

    33 proslijeđena tweeta 63 korisnika označavaju da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  20. proslijedio/la je Tweet
    9. kol 2019.

    Our effort to map the media landscape is itself in the news! Supported by and in partnership with .

    Researchers in IC's Distributed Information Systems Lab are developing an & web platform for mapping the Swiss & international landscapes, to reveal biases & hidden influences.
    6 proslijeđenih tweetova 9 korisnika označava da im se sviđa
    Poništi
  21. 25. srp 2019.

    RIP

    Poništi

@_romac još nije objavio nijedan Tweet.

Č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:

    ·