Medijski sadržaj
- Tweetovi
- Tweetovi i odgovori
- Medijski sadržaj, trenutna stranica.
-
Tutorial on running
#seL4 on the Renode simulator, presented by DornerWorks at#RISCVSummitpic.twitter.com/kVeo6XwjDq
-
#sel4 posters at#RISCVSUMMIT, presented by Critical Technologies Incpic.twitter.com/bYzRLoXRnP
-
Entrepreneur Ada Guan, CEO of Rich Data Corporation https://www.richdataco.com was today’s
@UNSW CSE Graduation speaker. Turns out she did my Advanced OS course >20 years ago. AOS, the training ground of the IT elite@richdatacopic.twitter.com/jC8b8KOSE7
-
My
#SOSP’09 shirt won CSE’s “most obscure” price in the free-conference-tee competitionpic.twitter.com/yMtdWmGn9X
-
Thick haze from bush fires in Sydney this morning. Visibility < 1kmpic.twitter.com/0h7sB8WepB
-
Can
#seL4 reduce the cost of space satellites? I think it can: https://microkerneldude.wordpress.com/2019/11/19/can-sel4-reduce-the-cost-of-satellites/ …pic.twitter.com/4d52RmL52W
-
Announcing the
#sel4 Foundation at the seL4 Summitpic.twitter.com/JNTzQTvHes
-
Advanced Operating Systems students
@UNSW enjoying the#sel4 birthday cakepic.twitter.com/C3oC9np3xT
-
Happy birthday seL4! Today it's 10 years that the original functional correctness proof of
#sel4 was completed. And it's 5 years that seL4 was open sourced. Kernel and proof have been growing strongly, reaching a system near you soon
pic.twitter.com/fKNLorSZMR
-
Another great night with the awesome and unique
@Taikozpic.twitter.com/XqWRKpyvT5
-
-
What they call a "double espresso" on UCSD campus is really a long black. Note: more isn't always betterpic.twitter.com/xiih886ENs
-
10 yo Barossa monster and exhausted me:
#sosp19 reviews done!pic.twitter.com/iQTJzGpJ5l
-
Apparently I’m not a real engineer. This is what I get offered when trying to get a quote for professional indemnity insurance from the
@EngAustralia insurance partner. No computer engineering? Which century are we?pic.twitter.com/atA5PBD73u
-
Yeepee, the 21st century has finally reached my home!pic.twitter.com/FSdet3WGXU
-
Couldn't put it better than my former student
@0xabU at#hotos19pic.twitter.com/s9AQAK0wPI
-
-
My ballot paper for the EU elections. 40 candidates for one vote! Never seen anything like it beforepic.twitter.com/PRSqgOhrDW
-
-
Apparently
@Qantas Flight 107 is cruising at mach 70pic.twitter.com/h6rMLN8Aao
Č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.