Preskoči na sadržaj
Korištenjem servisa na Twitteru pristajete na korištenje kolačića. Twitter i partneri rade globalno te koriste kolačiće za analize, personalizaciju i oglase.

Za najbolje sučelje na Twitteru koristite Microsoft Edge ili instalirajte aplikaciju Twitter iz trgovine Microsoft Store.

  • Naslovnica Naslovnica Naslovnica, trenutna stranica.
  • O Twitteru

Spremljena pretraživanja

  • obriši
  • U ovom razgovoru
    Ovjeren akauntZaštićeni tweetovi @
Predloženi korisnici
  • Ovjeren akauntZaštićeni tweetovi @
  • Ovjeren akauntZaštićeni tweetovi @
  • Jezik: Hrvatski
    • Bahasa Indonesia
    • Bahasa Melayu
    • Català
    • Čeština
    • Dansk
    • Deutsch
    • English
    • English UK
    • Español
    • Filipino
    • Français
    • Italiano
    • Magyar
    • Nederlands
    • Norsk
    • Polski
    • Português
    • Română
    • Slovenčina
    • Suomi
    • Svenska
    • Tiếng Việt
    • Türkçe
    • Български език
    • Русский
    • Српски
    • Українська мова
    • Ελληνικά
    • עִבְרִית
    • العربية
    • فارسی
    • मराठी
    • हिन्दी
    • বাংলা
    • ગુજરાતી
    • தமிழ்
    • ಕನ್ನಡ
    • ภาษาไทย
    • 한국어
    • 日本語
    • 简体中文
    • 繁體中文
  • Imate račun? Prijava
    Imate račun?
    · Zaboravili ste lozinku?

    Novi ste na Twitteru?
    Registrirajte se
Profil korisnika/ce intoverflow
Tim broker Carstens / Formal Methods NOW!
Tim broker Carstens / Formal Methods NOW!
Tim broker Carstens / Formal Methods NOW!
@intoverflow

Tweets

Tim broker Carstens / Formal Methods NOW!

@intoverflow

#FormalMethodsNOW! Tool: http://coq.inria.fr/opam-using.html  Intro: http://softwarefoundations.cis.upenn.edu  Expert: http://adam.chlipala.net/frap  He/Him. ADIR @ http://cyber-itl.org 

Vrijeme pridruživanja: srpanj 2008.

Tweets

  • © 2020 Twitter
  • O Twitteru
  • Centar za pomoć
  • Uvjeti
  • Pravila o privatnosti
  • Imprint
  • Kolačići
  • Informacije o oglasima
Odbaci
Prethodni
Sljedeće

Idite na profil osobe

Spremljena pretraživanja

  • obriši
  • U ovom razgovoru
    Ovjeren akauntZaštićeni tweetovi @
Predloženi korisnici
  • Ovjeren akauntZaštićeni tweetovi @
  • Ovjeren akauntZaštićeni tweetovi @

Odjava

Blokiraj

  • Objavi Tweet s lokacijom

    U tweetove putem weba ili aplikacija drugih proizvođača možete dodati podatke o lokaciji, kao što su grad ili točna lokacija. Povijest lokacija tweetova uvijek možete izbrisati. Saznajte više

    Vaši popisi

    Izradi novi popis


    Manje od 100 znakova, neobavezno

    Privatnost

    Kopiraj vezu u tweet

    Ugradi ovaj Tweet

    Embed this Video

    Dodajte ovaj Tweet na svoje web-mjesto kopiranjem koda u nastavku. Saznajte više

    Dodajte ovaj videozapis na svoje web-mjesto kopiranjem koda u nastavku. Saznajte više

    Hm, došlo je do problema prilikom povezivanja s poslužiteljem.

    Integracijom Twitterova sadržaja u svoje web-mjesto ili aplikaciju prihvaćate Twitterov Ugovor za programere i Pravila za programere.

    Pregled

    Razlog prikaza oglasa

    Prijavi se na Twitter

    · Zaboravili ste lozinku?
    Nemate račun? Registrirajte se »

    Prijavite se na Twitter

    Niste na Twitteru? Registrirajte se, uključite se u stvari koje vas zanimaju, i dobivajte promjene čim se dogode.

    Registrirajte se
    Imate račun? Prijava »

    Dvosmjerni (slanje i primanje) kratki kodovi:

    Država Kod Samo za korisnike
    Sjedinjene Američke Države 40404 (bilo koje)
    Kanada 21212 (bilo koje)
    Ujedinjeno Kraljevstvo 86444 Vodafone, Orange, 3, O2
    Brazil 40404 Nextel, TIM
    Haiti 40404 Digicel, Voila
    Irska 51210 Vodafone, O2
    Indija 53000 Bharti Airtel, Videocon, Reliance
    Indonezija 89887 AXIS, 3, Telkomsel, Indosat, XL Axiata
    Italija 4880804 Wind
    3424486444 Vodafone
    » Pogledajte SMS kratke šifre za druge zemlje

    Potvrda

     

    Dobro došli kući!

    Vremenska crta mjesto je na kojem ćete provesti najviše vremena i bez odgode dobivati novosti o svemu što vam je važno.

    Tweetovi vam ne valjaju?

    Prijeđite pokazivačem preko slike profila pa kliknite gumb Pratim da biste prestali pratiti neki račun.

    Kažite mnogo uz malo riječi

    Kada vidite Tweet koji volite, dodirnite srce – to osobi koja ga je napisala daje do znanja da vam se sviđa.

    Proširite glas

    Najbolji je način da podijelite nečiji Tweet s osobama koje vas prate prosljeđivanje. Dodirnite ikonu da biste smjesta poslali.

    Pridruži se razgovoru

    Pomoću odgovora dodajte sve što mislite o nekom tweetu. Pronađite temu koja vam je važna i uključite se.

    Saznajte najnovije vijesti

    Bez odgode pogledajte o čemu ljudi razgovaraju.

    Pratite više onoga što vam se sviđa

    Pratite više računa da biste dobivali novosti o temama do kojih vam je stalo.

    Saznajte što se događa

    Bez odgode pogledajte najnovije razgovore o bilo kojoj temi.

    Ne propustite nijedan aktualni događaj

    Bez odgode pratite kako se razvijaju događaji koje pratite.

    Tim broker Carstens / Formal Methods NOW!‏ @intoverflow 2. velj
    • Prijavi Tweet

    InfoSec people: We all know it’s not safe to execute random code from Internet But what about merely compiling? Ignore ./configure and make for a sec - talk compilers w me Do you think compilers should be allowed to run arbitrary code during the type checking or build phase?

    13:34 - 2. velj 2020.
    • 13 proslijeđenih tweetova
    • 51 oznaka „sviđa mi se”
    • Robert Baird sam Patrik Johansson Logan Elliott IO Lestari NS (лестари) Brian Timmann Soldier of 2020TRAN - 🥂 M▼INFR▼MES 🥂 Stuart Henderson
    13 proslijeđenih tweetova 51 korisnik označava da mu se sviđa
      1. Tim broker Carstens / Formal Methods NOW!‏ @intoverflow 2. velj
        • Prijavi Tweet

        See this video clip for motivation:https://youtu.be/bSkpMdDe4g4?t=3193 …

        0 replies 0 proslijeđenih tweetova 9 korisnika označava da im se sviđa
        Prikaži ovu nit
        Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. Poništi
        Poništi
      1. Novi razgovor
      2. Tristam MacDonald‏ @0x21376B00 2. velj
        • Prijavi Tweet
        Odgovor korisniku/ci @intoverflow

        The tech-savvy userbase for compilers is likely ok making such a trade-off of functionality vs security. For example, #rustlang would be much less useful without the ability to codegen from the output of arbitrary external code at build time via procmacro.

        1 reply 0 proslijeđenih tweetova 3 korisnika označavaju da im se sviđa
      3. Tim broker Carstens / Formal Methods NOW!‏ @intoverflow 3. velj
        • Prijavi Tweet
        Odgovor korisniku/ci @0x21376B00

        Are you suggesting that rustc should be allowed to open sockets? I don't see how TCP/IP has any business participating in my build - seems over-engineered Maybe there's a good middle ground? Perhaps a cmd line arg "--this-github-repo-is-evil" ?

        0 proslijeđenih tweetova 4 korisnika označavaju da im se sviđa
      4. Još 4 druga odgovora
      1. Novi razgovor
      2. Michael Spencer‏ @Bigcheesegs 3. velj
        • Prijavi Tweet
        Odgovor korisniku/ci @intoverflow

        Compilers already have enough bugs that you can do this even if the language doesn't support it.

        1 reply 0 proslijeđenih tweetova 5 korisnika označava da im se sviđa
      3. Tim broker Carstens / Formal Methods NOW!‏ @intoverflow 3. velj
        • Prijavi Tweet
        Odgovor korisniku/ci @Bigcheesegs

        True, very very true Only possible exception http://compcert.inria.fr  Not a bad C compiler, but also not as flexible or optimized as the competition Still I use it when I can, which is surprisingly often

        1 reply 0 proslijeđenih tweetova 3 korisnika označavaju da im se sviđa
      4. Još 4 druga odgovora
      1. Novi razgovor
      2. whitequark‏ @whitequark 2. velj
        • Prijavi Tweet
        Odgovor korisnicima @intoverflow @m0lpe

        what does it mean to "run arbitrary code"? does constant folding count as "running arbitrary code"? (I think it does)

        1 reply 0 proslijeđenih tweetova 16 korisnika označava da im se sviđa
      3. Tim broker Carstens / Formal Methods NOW!‏ @intoverflow 2. velj
        • Prijavi Tweet
        Odgovor korisnicima @whitequark @m0lpe

        A good question - Let’s say, ability to invoke arbitrary system calls Or rewrite arbitrary files on disk Stuff like that

        0 proslijeđenih tweetova 5 korisnika označava da im se sviđa
      4. Još 4 druga odgovora
      1. Novi razgovor
      2. Andrew Wygle‏ @awygle 3. velj
        • Prijavi Tweet
        Odgovor korisniku/ci @intoverflow

        There's quite a bit of nuance missing from this question. "Arbitrary" as in any code, any syscall, run as root? No of course not. "Arbitrary" as in any code it has permission to run, any syscall it possesses a capability for, explicitly granted by the user? Yes of course.

        1 reply 1 proslijeđeni tweet 3 korisnika označavaju da im se sviđa
      3. Andrew Wygle‏ @awygle 23 hprije 23 sata
        • Prijavi Tweet
        Odgovor korisnicima @awygle @intoverflow

        I personally think "here, wear this straightjacket" is more of an "I hate users" attitude than a lack of guardrails (which is also bad, to be clear)

        1 reply 0 proslijeđenih tweetova 2 korisnika označavaju da im se sviđa
      4. Još 2 druga odgovora
      1. Novi razgovor
      2. viraptor‏ @viraptor 23 hprije 23 sata
        • Prijavi Tweet
        Odgovor korisniku/ci @intoverflow

        They would be sandboxed with writes allowed into the output files they opened before compilation, so that the question should be moot.

        1 reply 0 proslijeđenih tweetova 1 korisnik označava da mu se sviđa
      3. Tim broker Carstens / Formal Methods NOW!‏ @intoverflow 23 hprije 23 sata
        • Prijavi Tweet
        Odgovor korisniku/ci @viraptor

        If only it were so simple 😭

        1 reply 0 proslijeđenih tweetova 0 korisnika označava da im se sviđa
      4. Još 1 odgovor

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

      Sponzorirani tweet

      false

      • © 2020 Twitter
      • O Twitteru
      • Centar za pomoć
      • Uvjeti
      • Pravila o privatnosti
      • Imprint
      • Kolačići
      • Informacije o oglasima