« first day (831 days earlier)      last day (2640 days later) » 

11:51 AM
Seeks on Files should be relatively cheap, right?
It would seem they are
 
 
2 hours later…
1:38 PM
@Shepmaster TBH I forgot. Which one makes sense?
 
@E_net4 comment
the only result for "commitment" I got was some accounting shit
 
Ah, ok. :)
So what does it generally mean?
 
1:56 PM
That this is the last phase in which comments can be placed/submitted/considered, I'd guess
 
2:53 PM
> Once both proponents and opponents have clarified and defended positions and the conversation has settled, the RFC will enter its final comment period (FCP). This is a final opportunity for the community to comment on the PR and is a reminder for all members of the sub-team to be aware of the RFC.
 
3:25 PM
Neat.
1623 looks very reasonable to me.
I was taking to this dude backing the non-GC argument from last time, and he mentioned he didn't like how you had to declare static strings differently from other types.
I did explain that it wasn't because of being strings, but because of being statically declared references. But regardless, it's true that having to state 'static in such cases is nothing more than verbose.
 
 
2 hours later…
5:40 PM
Yup. That will be a nice papercut to fix
 
 
1 hour later…
6:43 PM
Hehe, I'm pretty sure that last question is going to be unsafe { std::mem::transmute(value) }
It's a @LukasKalbertodt!
 
7:18 PM
Hello @Shepmaster! Right now I'm also asking in IRC... IRC is so stressful ._.
@Shepmaster "lifetimes which are already highly confusing to Rust newcomers" ... now they are highly confusing to me, too >_<
 
@LukasKalbertodt which channel?
 
hello @EricFulmer!
 
Hi @EricFulmer \o/
@Shepmaster I'm this Panda btw :P but I guess you already know that nickname from reddit
 
7:34 PM
i guessed via topic being discussed
 
Hello @Shepmaster! Hello @LukasKalbertodt!
 
@EricFulmer Tell us all the cool Rust stuff you are doing!
 
I was working on porting Python/Ruby Koans to Rust! Required some contortions since we're not in dynamic typing land anymore, but doesn't look too horrifying yet.
 
@EricFulmer very cool. which koans?
 
@Shepmaster A little unfocused, just jumping around. I started going 1-by-1 on direct translations from the Python version, but I started working on examples for things which don't have a Python analogue like Option.
 
7:52 PM
@EricFulmer Sounds good! If you care for code reviews, there's always codereview.stackexchange.com/questions/tagged/rust
but I think you'll find that Option and Python's None are pretty easy to translate
and then you might start thinking about all the places where your existing Python doesn't handle None ^_^
that's always annoying && eye-opening
 
@Shepmaster 6 upvotes in one hour... for my strange theory-questions >_<
 
@LukasKalbertodt Questions like that tend to get the upvotes. Reasonably well-researched and not just "how do I X the Y" are more interesting
 
@Shepmaster But upvoting all "Rust doesn't make any sense" questions isn't good marketing :P
But yeah... hopefully I will get a well-researched and easy to understand answer ^_^
 
@LukasKalbertodt I don't SO is intended as a marketing juggernaut for Rust ;-)
@LukasKalbertodt Besides, having a good answer that people can point to will be useful
 
@Shepmaster I may! I have some experience with Haskell and Scala so I'm trying to add new examples that demonstrate the utility of types. :)
 
8:03 PM
Like in this case, it's non-obvious why T: 'a is required, but evidently it helped something
 
@Shepmaster I think I slowly understand... maybe I can even answer it later :P
@EricFulmer Type systems are awesome <3
 
@LukasKalbertodt Until you demand more and more power of them
And hit a limit
And then next thing you know, you think to yourself "yeah, Idris looks really good today"
 
@Shepmaster where are my variadic higher kinded quotient types?!?!?!!!
@Shepmaster :D
 
@Shepmaster Saw this on Idris, was interesting but I don't think I'm patient enough to learn it :) : youtube.com/watch?v=fVBck2Zngjo
 
So I guess I have to learn Idris...
 
8:31 PM
> quotient types
Now my brain hurts
 
@Shepmaster Don't think I know anything about those ;-) Just picked up the name :/
 
> a quotient type is an algebraic data type that represents a type whose equality relation has been redefined by a given equivalence relation such that the elements of the type are partitioned into a set of equivalence classes whose cardinality is less than or equal to that of the base type
well then
 
8:54 PM
@Shepmaster looks clear enough to me ;-)
Btw: answer to my question.
 
yup
still processing before yon upvote
 
@Shepmaster Right now I'm wondering whether or not I would have understood that if I hadn't nearly understood the issue before... :/ mhh
 
9:46 PM
@Shepmaster (and everyone else): is it correct to say "to mutably borrow a variable" in English? The "borrow mutably" part in particular.
 
10:08 PM
@LukasKalbertodt Seems OK. can you provide the sentence for context?
 
@Shepmaster "Here, we will first attempt to borrow game_state mutably before doing anything else "
 
sounds grammatical enough for me
although all that repetition!
 
@Shepmaster What repetition? :/
 
tell me when "first" isn't "before anything else"?
 
10:11 PM
It's almost like you are trying to reach your 500 word quota for your paper ;-)
 
Actually, that's not true :P
A paper about Rust... that'd be great
No, just a lousy blog post
 
 
1 hour later…
11:34 PM
So kept wondering what was preventing me from sharing a Cell with multiple threads, but then I let the idea Sync in.
(lame joke)
 
@E_net4 I demand an extensive list of Rust puns ^_^
 

« first day (831 days earlier)      last day (2640 days later) »