টুইট
- টুইট, বর্তমান পৃষ্ঠা।
- টুইট এবং উত্তর
- মিডিয়া
আপনি @alastair_d_reid-কে ব্লক করেছেন
আপনি কি এই টুইটগুলি দেখতে চাওয়ার বিষয়ে নিশ্চিত? টুইটগুলি দেখা হলে @alastair_d_reid অবরোধ মুক্ত হবে না।
-
পিন করা টুইট
I wrote about Formal validation of the ARM v8-M specification https://alastairreid.github.io/validating-specs/ … based on my OOPSLA'17 paper https://alastairreid.github.io/papers/oopsla2017-whoguardstheguards.pdf …
ধন্যবাদ। আপনার সময়রেখাকে আরো ভালো করে তুলতে টুইটার এটিকে ব্যবহার করবে। পূর্বাবস্থায়পূর্বাবস্থায় -
A fine first evening in Oxford for CAV/FLOC. Not just that Oxford beer beats Cambridge beer, but also talking processor verification with people from other companies.
ধন্যবাদ। আপনার সময়রেখাকে আরো ভালো করে তুলতে টুইটার এটিকে ব্যবহার করবে। পূর্বাবস্থায়পূর্বাবস্থায় -
Alastair Reid পুনঃ টুইট করেছেন
Concert invitation! Please join us this Friday for our summer concert! 8pm
@FulbournCentre, Cambridge. Everyone welcome, concert is free. We'd love to have your support and we guarantee a great night's fun. Please RT#Cambridgepic.twitter.com/pTxUeSJOoI
ধন্যবাদ। আপনার সময়রেখাকে আরো ভালো করে তুলতে টুইটার এটিকে ব্যবহার করবে। পূর্বাবস্থায়পূর্বাবস্থায় -
Alastair Reid পুনঃ টুইট করেছেন
Hard to find another library that has thought as hard about its heap allocation as sqlite: https://www.sqlite.org/malloc.html
ধন্যবাদ। আপনার সময়রেখাকে আরো ভালো করে তুলতে টুইটার এটিকে ব্যবহার করবে। পূর্বাবস্থায়পূর্বাবস্থায় -
The Arm formal spec has been available for download for a while now - but now it is available as a web page: https://developer.arm.com/products/architecture/a-profile/docs/ddi0596/latest/a64-base-instructions-alphabetic-order/adc …https://twitter.com/maver/status/1014501893043834881 …
ধন্যবাদ। আপনার সময়রেখাকে আরো ভালো করে তুলতে টুইটার এটিকে ব্যবহার করবে। পূর্বাবস্থায়পূর্বাবস্থায় -
Alastair Reid পুনঃ টুইট করেছেন
Nice. NetBSD have enabled LLVM address / ub-sanitizers throughout the base system: http://blog.netbsd.org/tnf/entry/mksanitizer_bug_detector_software_integration …
ধন্যবাদ। আপনার সময়রেখাকে আরো ভালো করে তুলতে টুইটার এটিকে ব্যবহার করবে। পূর্বাবস্থায়পূর্বাবস্থায় -
Alastair Reid পুনঃ টুইট করেছেন
Very cool to have been a small part of this amazing co-design effort. Can't wait to see post-K up and running!
#SVE#armv8 @Armhttps://spectrum.ieee.org/tech-talk/computing/hardware/japan-tests-silicon-for-exascale-computing-in-2021 …ধন্যবাদ। আপনার সময়রেখাকে আরো ভালো করে তুলতে টুইটার এটিকে ব্যবহার করবে। পূর্বাবস্থায়পূর্বাবস্থায় -
Alastair Reid পুনঃ টুইট করেছেন
#ESSoS18 keynote: David Chisnall introducing the CHERI architecture and how to properly secure unsafe languagespic.twitter.com/oy4WMUnA66
ধন্যবাদ। আপনার সময়রেখাকে আরো ভালো করে তুলতে টুইটার এটিকে ব্যবহার করবে। পূর্বাবস্থায়পূর্বাবস্থায় -
ps If anybody is wondering what SVE is, we wrote a paper about it last year: https://arxiv.org/pdf/1803.06185.pdf …. But the short version is: really wide vectors plus cool stuff to make that useful/effective.
এই থ্রেডটি দেখানধন্যবাদ। আপনার সময়রেখাকে আরো ভালো করে তুলতে টুইটার এটিকে ব্যবহার করবে। পূর্বাবস্থায়পূর্বাবস্থায় -
Cool to hear that processors with Arm's Scalable Vector Extension (SVE) now exist!https://twitter.com/arm_nigels/status/1009719298967920641 …
এই থ্রেডটি দেখানধন্যবাদ। আপনার সময়রেখাকে আরো ভালো করে তুলতে টুইটার এটিকে ব্যবহার করবে। পূর্বাবস্থায়পূর্বাবস্থায় -
Alastair Reid পুনঃ টুইট করেছেন
Fibonacci Hashing: The Optimization that the World Forgothttps://probablydance.com/2018/06/16/fibonacci-hashing-the-optimization-that-the-world-forgot-or-a-better-alternative-to-integer-modulo/ …
ধন্যবাদ। আপনার সময়রেখাকে আরো ভালো করে তুলতে টুইটার এটিকে ব্যবহার করবে। পূর্বাবস্থায়পূর্বাবস্থায় -
Alastair Reid পুনঃ টুইট করেছেন
And the Heinz Zemanek Price 2018 for the best dissertation in Computer Science at an Austrian institution goes to
@lavados awarded at http://acsd2018.cs.uni-salzburg.at Congratulations, Daniel!pic.twitter.com/K1MxkMk2VD
ধন্যবাদ। আপনার সময়রেখাকে আরো ভালো করে তুলতে টুইটার এটিকে ব্যবহার করবে। পূর্বাবস্থায়পূর্বাবস্থায় -
Alastair Reid পুনঃ টুইট করেছেন
Tom Heinzinger
@ISTAustria at Austrian Computer Science Day 2018#ACSD2018 : "Computer Science is the science of abstract machines" /// via Roderick Bloem the coordinator of#RiSE &#LogiCS Faculty seeking#PhD students#Engineering#mathematics#CS#phdchatpic.twitter.com/QlFmRwBzMw
ধন্যবাদ। আপনার সময়রেখাকে আরো ভালো করে তুলতে টুইটার এটিকে ব্যবহার করবে। পূর্বাবস্থায়পূর্বাবস্থায় -
Alastair Reid পুনঃ টুইট করেছেন
Austrian Computer Science Day 2018 this year in Salzburg featuring speakers such as
@alastair_d_reid#research@Arm / our own@ERC_Research grantee Laura Kovacs#LogiCS /@lavados who shown us#Meltdown / T. Henzinger director of@ISTAustria Join the#acsd2018@OCG_aktuellhttps://twitter.com/alastair_d_reid/status/1006428282655567872 …ধন্যবাদ। আপনার সময়রেখাকে আরো ভালো করে তুলতে টুইটার এটিকে ব্যবহার করবে। পূর্বাবস্থায়পূর্বাবস্থায় -
When trying to pass on ownership of a language, should you look for an individual or aim for a team of people (e.g., syntax, type system, semantics, backends, ...)?
ধন্যবাদ। আপনার সময়রেখাকে আরো ভালো করে তুলতে টুইটার এটিকে ব্যবহার করবে। পূর্বাবস্থায়পূর্বাবস্থায় -
On Friday, I will be talking about creating formal specifications of the Arm architecture at the Austrian Computer Science Day in Salzburg. Should be fun! http://acsd2018.cs.uni-salzburg.at/program
ধন্যবাদ। আপনার সময়রেখাকে আরো ভালো করে তুলতে টুইটার এটিকে ব্যবহার করবে। পূর্বাবস্থায়পূর্বাবস্থায় -
Alastair Reid পুনঃ টুইট করেছেন
GCC 8.1 with SVE support now available upstream!https://twitter.com/worksonarm/status/991669796914778114 …
ধন্যবাদ। আপনার সময়রেখাকে আরো ভালো করে তুলতে টুইটার এটিকে ব্যবহার করবে। পূর্বাবস্থায়পূর্বাবস্থায় -
Alastair Reid পুনঃ টুইট করেছেন
I was invited by
@Chris_Gammell to be on@TheAmpHour podcast show. It was great! We talked about open source for FPGAs and the TinyFPGA BX@crowd_supply project. Have a listen!https://theamphour.com/395-an-interview-with-luke-valenty/ …এই থ্রেডটি দেখানধন্যবাদ। আপনার সময়রেখাকে আরো ভালো করে তুলতে টুইটার এটিকে ব্যবহার করবে। পূর্বাবস্থায়পূর্বাবস্থায় -
Alastair Reid পুনঃ টুইট করেছেন
In 2016, the most cited scientist on Google Scholar, with 2.4 million citations, was Professor Et Al.
ধন্যবাদ। আপনার সময়রেখাকে আরো ভালো করে তুলতে টুইটার এটিকে ব্যবহার করবে। পূর্বাবস্থায়পূর্বাবস্থায় -
Alastair Reid পুনঃ টুইট করেছেন
The prize for the best dissertation in Comp Sci in Austria '16/'17 goes to Daniel Gruss from
@tugraz. His work laid the grounds for discovering#meltdown+#spectre. As the chair of the jury I congratulate him and the shortlisted candidates http://blog.ocg.at/2018/06/daniel-gruss-erhalt-heinz-zemanek-preis-2018-fur-hervorragende-informatik-dissertation/ …@OCG_aktuellpic.twitter.com/s2T1HiI7f6
ধন্যবাদ। আপনার সময়রেখাকে আরো ভালো করে তুলতে টুইটার এটিকে ব্যবহার করবে। পূর্বাবস্থায়পূর্বাবস্থায় -
The really different bit in APL/J seems to be the notion of "rank" (that seems to be related to Einstein notation???) Adding two 3-dimensional matrices just works whereas in Haskell xsss + ysss does not - I need to know how many dimensions I want to lift '+' by.
এই থ্রেডটি দেখানধন্যবাদ। আপনার সময়রেখাকে আরো ভালো করে তুলতে টুইটার এটিকে ব্যবহার করবে। পূর্বাবস্থায়পূর্বাবস্থায়
লোড হতে বেশ কিছুক্ষণ সময় নিচ্ছে।
টুইটার তার ক্ষমতার বাইরে চলে গেছে বা কোনো সাময়িক সমস্যার সম্মুখীন হয়েছে আবার চেষ্টা করুন বা আরও তথ্যের জন্য টুইটারের স্থিতি দেখুন।