Zhengyang Liu

Ph.D. Candidate at U of Utah.

[Zhengyang Liu @vpshufb]

@jubitaneja @MSFTResearch Congratulations!!!

[Thomas Ball @tballmsft]

Please apply for internships with the RiSE group in MSR! https://t.co/4Lj81f1jih

[The Rocq Prover @CoqLang]

📢📚The Software Foundations team is pleased to announce a new volume in the series and major updates to two others.
NEW! "Verifiable C" by Appel and Cao: an extended hands-on tutorial on specifying and verifying real-world C programs using VST 🚫🐞https://t.co/oPSUilCZTJ

[Cain Maddox @ctrlshifti]

protip: alias sudo to "please" for a much more wholesome unix experience

[Filippo Valsorda @filippo.abyssdomain.expert @FiloSottile]

I cross-compiled a C program (rsync) and it worked on the first shot and I am lost.

cd rsync-3.1.3
./configure CFLAGS="-static" --host=arm-linux-musleabi
make

Can't be that easy. I'm so confused.

(After 70 minutes to build the cross-compiler with https://t.co/OaYbDnixT8 ⏳)

[Travis Downs @trav_downs]

If you haven't had enough of masks by now, here's some light reading on the AVX-512 variety:

https://t.co/OEGWYzzZg1

The finding is a bit "meh, so what?", but what's neat is that it is the first time I saw something in a die shot that led to a theory I could test in software.

[Somesh Jha @jhasomesh]

Cool. I want one.

https://t.co/trJPhEq1j5

[Daniel Lemire @lemire]

Rounding integers to even, efficiently https://t.co/bYytgIP5vZ

[Wojciech Muła @pshufb]

Quick write-up: "AVX512VBMI — remove spaces from text" (https://t.co/lFDFlBR8vp)

Up to 3 times faster in case of natural English texts; for artificial CSV data is not that good.

VPERMB is the new PSHUFB :) #avx512

[Mark S. Miller @marksammiller]

Interesting and insightful!
https://t.co/gCz6Zc6omE
https://t.co/qM6udWublY

[Zhengyang Liu @vpshufb]

🙏

[UUSS @UUSSquake]

We have located 213 earthquakes that occurred in the Magna, Utah, area from March 18 through March 20. The largest of these earthquakes was the M5.7 mainshock that occurred at 7:09am on March 18. The remaining 212 are aftershocks. There have been 26 aftershocks of M3 and larger.

[@[email protected] @shafikyaghmour]

TIL clang diagtool: https://t.co/pydB04tTUp

#cplusplus

[Matt Diephouse @mdiep]

I had no idea that ⌘⇡/⌘⇣ jumped between previous/next prompts in https://t.co/m1LhdHPssG. 😲

This will save me SO. MUCH. TIME.

[Jim Harris @JimHarris]

Johns Hopkins University Center for Systems Science & Engineering launched tracking map website of the Wuhan coronavirus (2019-nCoV) as it appears to be spreading around the globe in real-time. https://t.co/WuS1oZIOkf #coronavirus

[Wojciech Muła @pshufb]

"Use AVX512 Galois field affine transformation for bit shuffling" https://t.co/1KSXpQ1kP6 #avx512
Thanks to @geofflangdale and @zwegner for inspiration.

[Bloomberg @business]

BREAKING: A Boeing 737 jet crashed in Iran shortly after take off due to a technical issue, Iranian state-run news outlet ISNA reports https://t.co/CYaF2l4WJA

[David J. Pearce @whileydave]

Quite interesting / entertaining!! https://t.co/NtRzwTQUiv

[Alastair Reid @alastair_d_reid]

I wrote a quick guide to using ARM's ASL interpreter to run Arm's specification. Happy New Year!
https://t.co/11XbhPUl6O

[Subterranean Homesick Allison @MooStation]

Itanium_Sales_Forecasts.png is my favorite image on all of Wikipedia