Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @arvidep
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @arvidep
-
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).pic.twitter.com/rZF7DV8axG
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Arvid E. Picciani ⧖ proslijedio/la je Tweet
why the zz language we develop at devguard suddenly went viral making every major tech forums front page: https://devguard.io/zz.html
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
ZZ is on the hacker news frontpage https://news.ycombinator.com/item?id=22245409 … 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.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
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.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
fossil stocks are the new tobacco stocks. There, he said it.https://twitter.com/CNBC/status/1223246855015993345 …
3:14Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
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 nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Arvid E. Picciani ⧖ proslijedio/la je Tweet
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.https://twitter.com/TechFinland/status/1222051682445430784 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
if you own a Tesla model 3: which apis do you wish it had? (or comment)
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
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
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Arvid E. Picciani ⧖ proslijedio/la je Tweet
Data is the new gold? We think confidentiality is, with IoT management that collects 0 bytes of data.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Model 3 modifications i should work on first. RT
@gwestr@Elektro_RobinHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
in zz this is currently named "safe" and its a first class function usable both in the static thorem prover and at runtimepic.twitter.com/czJsomD5ph
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
word for "not null" in programming int * x; if x != 0 { } if safe(x) { }
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
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
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
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.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
"We are unable to answer your call, please try again never"
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
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 http://devguard.io Please RT for range.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoniš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.

Teräsyhtiö