Arvid E. Picciani     

@arvidep

EE/SW Engineer, Sustainability, Privacy . Founder of Ex Nokia. Still a Punk. I hack hardware. Rust is a lie.

Berlin, Germany
Vrijeme pridruživanja: kolovoz 2008.

Tweetovi

Blokirali ste korisnika/cu @arvidep

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

  1. Prikvačeni tweet

    ZZ a low level C dialect with pointers and all that stuff, but without undefined behavior. With a few additional manual constraints it can automatically formally verify your code using symbolic execution. That is, it generates and proves a mathematical formula (SMT/SSA).

    Prikaži ovu nit
    Poništi
  2. prije 9 sati

    why the zz language we develop at devguard suddenly went viral making every major tech forums front page:

    Poništi
  3. Poništi
  4. ZZ is on the hacker news frontpage getting that much attention is actually very stressful, but i'm very happy people understand my work and get inspired to build better low-level code.

    Poništi
  5. Prikaži ovu nit
    Poništi
  6. When it comes to Autopilot, here's the hill I will die on: Reduced accidents is a quantifiable claim, and there's people's who's literal jobs is to do that: insurance companies. Until insurance cost for AP is lower, it's a lane assistant.

    Poništi
  7. fossil stocks are the new tobacco stocks. There, he said it.

    Poništi
  8. you might think binary size doesn't matter bitch, the work i'm doing will save six-hundred-thousand dollars by downgrading to a smaller flash chip

    Prikaži ovu nit
    Poništi
  9. Prikaži ovu nit
    Poništi
  10. 28. sij

    Huge step: Steelmaker SSAB will bring CO2-free steel on the market by 2026, speeding up from earlier goal of 2035. The firm's entire production will be converted to hydrogen direct reduction by 2040, single-handedly cutting CO2 by 7% in Finland and 10% in Sweden.

    Poništi
  11. if you own a Tesla model 3: which apis do you wish it had? (or comment)

    Poništi
  12. have to merge two code bases because rust libstd is too large to be on target twice. but can't merge them because there's no compiler that can compile both codebases 😵

    Poništi
  13. 28. sij
    Odgovor korisniku/ci

    Data is the new gold? We think confidentiality is, with IoT management that collects 0 bytes of data.

    Poništi
  14. Model 3 modifications i should work on first. RT

    Poništi
  15. Prikaži ovu nit
    Poništi
  16. in zz this is currently named "safe" and its a first class function usable both in the static thorem prover and at runtime

    Prikaži ovu nit
    Poništi
  17. word for "not null" in programming int * x; if x != 0 { } if safe(x) { }

    Prikaži ovu nit
    Poništi
  18. gigafactory 4 municipal admin: don't worry folks, the factory won't be expanded because VW will catch up really fast. it's genius, because its a total lie, but one that those people want to believe really hard or their world view would collapse

    Poništi
  19. legacy OEMs absolutely have to fail at software. Not because they don't invest, but because of the self-selection bias of who works there.

    Poništi
  20. "We are unable to answer your call, please try again never"

    Prikaži ovu nit
    Poništi
  21. small/ish renewable energy plant operator in Europe needed for a co-op. We're building electric car charging stations and i want to learn how we can cut out the middle-man at scale to build more of both. DM or email arvid at Please RT for range.

    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:

    ·