RT @matt_dz@twitter.com

CompCertM: CompCert with Lightweight Modular Verification and Multi-Language Linking
sf.snu.ac.kr/compcertm/
Youngju Song, Minki Cho, Dongjoo Kim, Yonghyun Kim, Jeehoon Kang, Chung-Kil Hur
POPL 2020

๐Ÿฆ๐Ÿ”—: twitter.com/matt_dz/status/118

RT @matt_dz@twitter.com

CompCertM: CompCert with Lightweight Modular Verification and Multi-Language Linking
sf.snu.ac.kr/compcertm/
Youngju Song, Minki Cho, Dongjoo Kim, Yonghyun Kim, Jeehoon Kang, Chung-Kil Hur
POPL 2020

๐Ÿฆ๐Ÿ”—: twitter.com/matt_dz/status/118

RT @Hiromujin@twitter.com

@SimplyAllegra@twitter.com Hereโ€™s an AI Somnium one, courtesy of my wife

๐Ÿฆ๐Ÿ”—: twitter.com/Hiromujin/status/1

RT @Seraxiz@twitter.com

I decided to model human life to show the futility of getting out of bed in the morning

๐Ÿฆ๐Ÿ”—: twitter.com/Seraxiz/status/118

RT @shihou_1@twitter.com

ไปŠๆ—ฅๆใไธŠใ’ใŸๆฑๆ–น้ฌผๅฝข็ฃใฎๅ…ซๅƒๆ…งใ•ใ‚“ใ€‚ๅ…จ่บซๆใ„ใŸใ‘ใฉไธ€้ƒจใ ใ‘ใ‚ขใƒƒใƒ—ใ€‚ใŸใถใ‚“ๅ†ฌใ‚ณใƒŸ็”จใ€‚

๐Ÿฆ๐Ÿ”—: twitter.com/shihou_1/status/11

RT @_liclac@twitter.com

I have a pair of chinese rave glasses that can display scrolling text, bitmaps, or animations. They also make you look way too cool for school.

They speak Bluetooth to a shady APK, I've put it on a disconnected phone and I'm reverse engineering the protocol.

๐Ÿฆ๐Ÿ”—: twitter.com/_liclac/status/118

Hold on, I think X's "simple mouse acceleration" code is slightly buggy?? the last line gives left plot, I think they were going for the right one.
cgit.freedesktop.org/xorg/xser

I didn't /want/ to spend as much time on mouse speeds as I did, but once I start wondering I can't stop

RT @HeroZeroArt@twitter.com

A model I made in Blender based on a piece by @sandraghart@twitter.com. I love the way she does shading/highlights on the characters she draws and wanted to recreate that look in 3D. Go check out her stuff!

๐Ÿฆ๐Ÿ”—: twitter.com/HeroZeroArt/status

Edible or shape-shifter? Know the difference, it could save your life.

animal testing is still commonplace in computer graphics huuh

RT @ChanceyFleet@twitter.com

Braille is how i read, write, play & sometimes dream. It's also how I'm asked at the TSA checkpoint whether there's a typewriter in my bag. Media types, please help Braille thrive: show modern Braille gear in publications and film so people will know what exists.

๐Ÿฆ๐Ÿ”—: twitter.com/ChanceyFleet/statu

RT @wenzeljakob@twitter.com

The second (with @gllmLoubet@twitter.com and @nholzschuch@twitter.com) introduces a new way of differentiating those pesky visibility-induced discontinuities by performing a change of variables that freezes them in place. This lets one do cool stuff :). rgl.epfl.ch/publications/Loube

๐Ÿฆ๐Ÿ”—: twitter.com/wenzeljakob/status

Show more
Mastodon

Server run by the main developers of the project ๐Ÿ˜ It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!