96 karma · joined May 15, 2018
I work at a big 5 company.
https://www.shroomery.org/forums/showflat.php/Number/1427364
> probably offended so many people in my circle by not seeing/not replying to their emails.
If I were you, I'd BCC everyone whose addresses you remember with a short note saying to the effect of "I lost my other mail address so-and-so@gmail.com, gimme a sec pls" and I'm sure this incident will have no long-term impact on your reputation. Shit happens.
As far as getting help from Google goes, I think the only reliable method for non-paying customers is to raise a huge stink on websites like this or Twitter. Take this with a grain of salt, however; I'm much more likely to observe these big stinks and less likely to hear about people just calling support and getting help. It _may_ be possible.
Isn't that the whole point of the SMT solver?
What about this example (that doesn't compile)?
fn bla(int a) -> int
model return == 2 * a
{
return a * a;
}
Isn't that verifying program correctness? A sibling of this comment claims that "the only thing proven is memory access validity" but, again, this example takes that down.When you encounter a problem with your program, consider the following in order:
- your Motive
- Facet (localize the failure)
- Immediate Past (what changed to cause this problem)
- the Action (that you need to take)
- the desired Result
While the message is valuable, I'm not a fan of the obfuscation.
[1]: https://jamesmccaffrey.wordpress.com/2016/05/02/r-language-v...
I totally agree with your school's stance, but I acknowledge tha the current financial incentive structure prevents my school from having the same.
My words may have been misleading. What I'm trying to say is the kind of student that gets admission to Caltech is not the kind of student to neglect going to class out of laziness or whatever and fail out because of that.
I disagree. I was offered admission to zero first rate schools, two second rate schools ($$$$$$ tuition), and my backup which is a third rate school (which I am attending for free).
If my backup school didn't exist, I would either be without a degree, or my parents would have a significant dent in their retirement. I'm willing to put up with the BS of third rate schools so that I can at least have a degree and not be scalped, thank you very much.
I'm grateful that my third rate school exists, no matter how shitty it is.
I will grant you, however, that no school should knowingly take $$$$$ from students and give them an useless degree. But a CS degree? It's pretty cool that I can get that from any school and it's the "same" level of degree whether it's from Caltech or Arizona State.
"x cooperates with y" and "y is moral" shouldn't imply "x is moral".
On the other hand, schools like the one I went to would have a horrible(r) matriculation rate if students were not forced to attend certain classes. It infuriurates me (and I think students who want to fail should be allowed to fail), but ultimately it's a product of the financial incentive structure; more graduates = more $$$.
And forcing attendance of some classes does indeed increase the likelihood of certain borderline students graduating, nobody can deny that.
[edited to protect your feelings]
Are you saying that simple introspection is hard? I completely disagree, because separating extrinsic motivation (I do this for money) from intrinsic motivation (I do this for fun) really isn't that hard.