Stream: general

Topic: miri is famous on HN


Jake Goulding (Mar 27 2019 at 14:13, on Zulip):

pasted image

/cc @RalfJ @oli

nagisa (Mar 27 2019 at 14:13, on Zulip):

I was going to post it just now lol

nagisa (Mar 27 2019 at 14:14, on Zulip):

In my defense, I did it first on #rust-offtopic!

oli (Mar 27 2019 at 14:16, on Zulip):

I'm gonna try to recruit some Rust hackers as research assistants next week and make them work on miri :D

RalfJ (Mar 27 2019 at 14:17, on Zulip):

:D

RalfJ (Mar 27 2019 at 14:17, on Zulip):

any plans already on what they could be implementing?

Jake Goulding (Mar 27 2019 at 14:17, on Zulip):

Could also start early and post it in that thread

oli (Mar 27 2019 at 14:18, on Zulip):

I have never been to HN

oli (Mar 27 2019 at 14:19, on Zulip):

any plans already on what they could be implementing?

everything! XD idk, my usual scheme is to give them some easy stuff to learn and then let them find what they think is the most fun

Jake Goulding (Mar 27 2019 at 15:39, on Zulip):

I have never been to HN

No reason for you to go check out the comments; I'm basically just replying to everyone saying that I did all the hard work.

Last update: Nov 21 2019 at 23:25UTC