Tweetovi

	Alastair Reid @alastair_d_reid	2. velj
	Odgovor korisniku/ci @tousifsays @johnregehr Doesn’t Rosette just call out to Z3 if expression is symbolic?
	Prikaz razgovora ·

	Alastair Reid @alastair_d_reid	29. sij
	Odgovor korisniku/ci @andrewreid1997 How do you break your toe from falling over? Was he doing a handstand? I’m now picturing the two of you doing some kind of circus act - you standing on the soles of his feet while he does a handstand. Please confirm.
	Prikaz razgovora ·

	Alastair Reid @alastair_d_reid	28. sij
	Odgovor korisniku/ci @TartanLlama You’ll love how Smalltalk (and TeX too IIRC) implement “if”. (Though it is not as awesome as the story of goto in bash further down this thread)
	Prikaz razgovora ·

	Alastair Reid @alastair_d_reid	24. sij
	Odgovor korisniku/ci @TaliaRinger @sorawee_p And thanks for signing it!
	Prikaz razgovora ·

	Alastair Reid @alastair_d_reid	23. sij
	Odgovor korisniku/ci @cartazio @TaliaRinger I didn’t like the way that the body of the slides distracted me from the jokes along the top...
	Prikaz razgovora ·

	Alastair Reid @alastair_d_reid	23. sij
	Odgovor korisniku/ci @johnregehr You going deer hunting?
	Prikaz razgovora ·

	Alastair Reid @alastair_d_reid	23. sij
	Got the book. Now I need to get it signed... pic.twitter.com/VzqNPIiTln
	Prikaz fotografije ·

	Alastair Reid @alastair_d_reid	23. sij
	Harsh political commentary in the cocktail menu pic.twitter.com/l2MTVPlgeA
	Prikaz fotografije ·

	Alastair Reid @alastair_d_reid	19. sij
	Odgovor korisniku/ci @porglezomp If it is an instruction decoder, what I have used in the past is a recursive function that takes set of patterns and, for each bit position that is not an ‘x’ in any pattern, splits set into two parts. Then choose the bit position that gives the best balance and recurse.
	Prikaz razgovora ·

	Alastair Reid @alastair_d_reid	17. sij
	Really looking forward to my first ever #POPL (also HASE, VMCAI, PriSC). No idea which people I know will be there (or which ones I should know but don’t) - ping me.
	Prikaži podatke ·

	Alastair Reid proslijedio/la je tweet
	Erika @rrika9	7. sij
	oh god... parallel.princeton.edu/papers/micro19… pic.twitter.com/xJwk1uPaWJ
	Prikaz fotografije ·

	Alastair Reid @alastair_d_reid	9. sij
	Odgovor korisniku/ci @stephentyrone @hikari_no_yume i 3 ostali Do ISAs have “copyright trap” instructions?
	Prikaz razgovora ·

	Alastair Reid @alastair_d_reid	9. sij
	Odgovor korisniku/ci @erincandescent @hikari_no_yume i 4 ostali Definitely the funniest part of the architecture. Though I think VQRDMULH gets the prize for best scrabble hand.
	Prikaz razgovora ·

	Alastair Reid @alastair_d_reid	8. sij
	Odgovor korisniku/ci @wattsamata So is using underscore an example of typing inference?
	Prikaz razgovora ·

	Alastair Reid @alastair_d_reid	7. sij
	Odgovor korisniku/ci @Kensan42 Seems to argue that because it is unlikely that an arm OS engineer would have got it wrong, we should assume that an arm architect got it wrong instead. Not sure I follow that logic.
	Prikaz razgovora ·

	Alastair Reid @alastair_d_reid	7. sij
	Odgovor korisniku/ci @Kensan42 Isn’t this a software bug? Security relies on cooperation between the hardware and software and it sounds as though OSes were missing something? (Though this might indicate a documentation issue too?)
	Prikaz razgovora ·

	Alastair Reid @alastair_d_reid	5. sij
	Found my old car licence plate pic.twitter.com/rEqBvxb7f3
	Prikaz fotografije ·

	Alastair Reid @alastair_d_reid	4. sij
	Odgovor korisniku/ci @satnam6502 Happy birthday Kavi!
	Prikaz razgovora ·

	Alastair Reid @alastair_d_reid	3. sij
	Odgovor korisniku/ci @antonycourtney @IvanPerezKeera If you count FPGAs, then I would go with CakeMLs Silver processor... cakeml.org/pldi19.pdf
	Prikaz razgovora ·

	Alastair Reid @alastair_d_reid	3. sij
	Odgovor korisniku/ci @WhatAintInside Yeah, there is also Algebraic Specification Language - I did my masters on that... That is the other one you were thinking of, right :-)
	Prikaz razgovora ·