Compiler Scientist @compilerscience
Computer scientist working on compilers, namely libFirm compilers.tumblr.com Joined March 2010-
Tweets324
-
Followers32
-
Following20
-
Likes0
awesome-compilers by aalhour - A long list of resources to learn about compilation. tmblr.co/ZKT-Oy2LkrwDm
š¹ āMemory Safety will kill Cā ā Walter Bright (via youtube.com/watch?v=Lo6Q2vā¦) tmblr.co/ZKT-Oy2LbYyv5
āEvery warning in the compiler is a problem with the language specification, not a solution. Warnings...ā tmblr.co/ZKT-Oy2I2YPNr
āBack when I worked at a company that produced Intel compatible CPUs, we did a fair amount of testing...ā tmblr.co/ZKT-Oy1-kuzJW
Subtleties of the ANSI/ISO C standard - by Robbert Krebbers, Freek Wiedijk tmblr.co/ZKT-Oy1-h05pW
"The C standard formalized in Coq" by Robbert Krebbers - This thesis describes a formal specification of... tmblr.co/ZKT-Oy1z2lVKf
"Weāve still made many mistakes. But C++ is a lot more trapped by the past than D is - such as the..." tmblr.co/ZKT-Oy1sV8emo
"These days, the game-changing, innovative work in compilers is largely happening in the industry, and..." tmblr.co/ZKT-Oy1qfWI62
"undefined behavior is not sufficiently hostile" - Embedded in AcademiaĀ : Assertions Are Pessimistic,... tmblr.co/ZKT-Oy1GTOOKI
warp, a fast C and C preprocessor written in D tmblr.co/ZKT-Oy1BVHe9Q
JEP 188: Java Memory Model Update tmblr.co/ZKT-Oy16gj00T
"Iām writing my C code with DMD. When tested and tweaked I do a final compile with C compiler." - ed tmblr.co/ZKT-Oy10_z9v7
"One of the most problematic systems in the engine was the garbage collector." - Porting the Witcher 2 onto... tmblr.co/ZKT-Oy10jV9RK
Bokeh ā Python interactive visualization library tmblr.co/ZKT-Oy-059t4
"The new runtime does not implement segmented stacks and it never will." - [rust-dev] Abandoning segmented... tmblr.co/ZKT-OyzZSB2x
Dave Baggett's answer to Programming Interviews: What's the hardest bug you've debugged? - This is my... tmblr.co/ZKT-Oyz6lA0u
"Even people who distrust Our Government trust the accuracy of computer arithmetic" - William Kahan tmblr.co/ZKT-OyyK3jLh
"the JIT compiler now generates machine code based on the SSA IR directly" - Maxime Chevalier-Boisvert tmblr.co/ZKT-OyyFHsKi
"if your software actually matters, you will write it in C" - Don Syme tmblr.co/ZKT-Oyw2GBhw
Photo: Data looks better nakedĀ (via Darkhorse Analytics Blog) tmblr.co/ZKT-OyvuW0Hg
fly yang @Fly8910
7 Followers 173 Following
Manish Agarwal @f90fe
202 Followers 416 Following MBA (IT) Experienced IT Professional and Compiler Expert. Product owner and Agile and Rally practitioner. Live in mountains and totally love it.
SimpleCompiler @SimpleCompiler1
4 Followers 11 Following
Luca Masini @lucaamasini
42 Followers 357 Following
Rinesh Thomas @rineshthomas
292 Followers 1K Following Game developer - 'Assassins Creed VR', 'MaskGun FPS', 'PoP SnF mobile', 'Farcry console port', 'SplinterCell Trilogy port'
Jonathan Ragan-Kelley @jrk
1K Followers 595 Following The lyf so short, the craft so longe to lerne.
Christian Nilsendahl @Nilsendahl
448 Followers 230 Following Programmer and co-founder at Elemental Games
Eric Eide @eeide
2K Followers 2K Following Research Associate Professor, University of Utah Kahlert School of Computing ā¢ Personal account ā¢ Opinions my own ā¢ RTs not endorsements ā¢ @[email protected]
Nikos Kavvadias @nkkav
530 Followers 330 Following MTS Software Development Engineer at AMD (https://t.co/q3307DyQzc). VHDL, Verilog, FPGA, HLS, EDA tools, processor design, compilers.
Alexandre Abreu @AlexAbreuDev
252 Followers 1K Following R&D at @NVidia, Ex-@Unity, previously FOSS/WebEngine Dev Lead @Canonical @Ubuntu also into ML/AI, Math, Physics simulation & all things CS. Ex-Demoscene !.
wacker @wacker
22 Followers 55 Following
hirame @LoopOpt
42 Followers 122 Following
paul ernthofer @pauleoleo
212 Followers 2K Following hey iam paul and my friend olli create a game and he need many poeple to get more ideas for a game! http://t.co/fo6oeOc80K facebook: das spiel
Gavin ā @javouhey
65 Followers 708 Following On software that delights, creativity, and the good life.
Matthias Braun @matzebraun
4 Followers 8 Following
danilo04 @danilo04
341 Followers 1K Following Computer Scientist/Software Engineer from Las Tablas, Los Santos, Panama. PhD in Computer Science
Scientist's WishList @SciWishList
174 Followers 800 Following Raising Micro-Grants for Science Around the World
usr @usr
110 Followers 390 Following
Basti @0xb4571
4 Followers 75 Following
USScience.com @usscience_com
332 Followers 2K Following
@dunkelstern@kampftoa... @dunkelstern
468 Followers 553 Following Vollkommen verrĆ¼ckter Bastler, Rustacean, Kaffeevernichter, Fotograf. Mag Kekse. Liebt @chaotin ā¤ (er/he) Fedi: @[email protected]
Chris J @kne1p
30 Followers 159 Following
Markus Herhoffer @d135_1r43
296 Followers 603 Following CTO bei @exentraGmbH, Automotive, Java, Hacker, Podcaster @codeculturepod, Black Metal, Christ, CVJM, @opusirae, @blastofeternity | šPAF, M, IN, HN, S
azwinkau š£ @azwinkau
2K Followers 786 Following Occasional blogger. Father. Husband. Software architect for automated driving. Computer science PhD. #Nutella
Compilers news group @compcompilers
428 Followers 1 Following The web archive of the comp.compilers newsgroup, under the same management since 1986.
Gavin ā @javouhey
65 Followers 708 Following On software that delights, creativity, and the good life.
Cameron Zwarich @CameronZwarich
17 Followers 0 Following
Matthias Braun @matzebraun
4 Followers 8 Following
KIT-FakultƤt fĆ¼r In... @KITinformatik
2K Followers 154 Following KIT-FakultƤt fĆ¼r Informatik am Karlsruher Institut fĆ¼r Technologie (ehemals UniversitƤt Karlsruhe) Impressum: https://t.co/e5hbHB6gzG
Ola Bini - (@ola@info... @olabini
20K Followers 313 Following Shugyosha. Paranoia principal, privacy developer. Programming language nerd. In a previous life, I was a JRuby core developer and language designer - he/him
USScience.com @usscience_com
332 Followers 2K Following
Data61 @Data61news
14K Followers 2K Following Creating our data-driven future. We're the worldās leading data-focused innovation powerhouse. Follows, likes, RTs not endorsements.
Gernot Heiser @GernotHeiser
2K Followers 52 Following Microkernel dude, UNSW prof, looking for PhD students in OS
Davide Mancuso @atomictag
227 Followers 799 Following There's no sex. There's very little violence. There are dinosaurs though.
wacker @wacker
22 Followers 55 Following
Chris J @kne1p
30 Followers 159 Following
Markus Herhoffer @d135_1r43
296 Followers 603 Following CTO bei @exentraGmbH, Automotive, Java, Hacker, Podcaster @codeculturepod, Black Metal, Christ, CVJM, @opusirae, @blastofeternity | šPAF, M, IN, HN, S
@dunkelstern@kampftoa... @dunkelstern
468 Followers 553 Following Vollkommen verrĆ¼ckter Bastler, Rustacean, Kaffeevernichter, Fotograf. Mag Kekse. Liebt @chaotin ā¤ (er/he) Fedi: @[email protected]
azwinkau š£ @azwinkau
2K Followers 786 Following Occasional blogger. Father. Husband. Software architect for automated driving. Computer science PhD. #NutellaTrends for United States
You might like
