jonsterling

9 ms·

31.
by jonsterling 11y ago
Everything likely is done out of fear—the kind of fear where you barf of dialectics at the proletarian youth league meeting to avoid having a struggle session in your honor.
32.
by jonsterling 11y ago
My belief (which you are free to disagree with!) is that the nature of Yarvin's public statements disqualifies him from acting in good faith with the broader community, at least until he has withdrawn them. I feel that each person is a
33.
by jonsterling 11y ago
Great summary, thanks! One clarification—we called it PrlConf intending to talk about proof assistants, but as our program came together, it turned out that most of the talks were about category theory, type theory and denotational semantic
34.
by jonsterling 11y ago
LambdaConf is the host conference, and PrlConf is a collocated workshop. My boss and friend John De Goes initially suggested that I put on this workshop at LambdaConf.
35.
by jonsterling 11y ago
Indeed. that css is leftover from a previous version of the page. You can view the history of that page here: https://github.com/jonsterling/JonPRL/commits/gh-pages/prlco...
36.
by jonsterling 11y ago
Curtis Yarvin still believes what he said years ago; he has written as much today on Reddit. I would not have made the decision I did if he had renounced his prior views. Lord knows, I had very regressive political views once upon a time, t
37.
by jonsterling 11y ago
Correct; we are typically given funding to attend though. (Travel & hotel expenses, free ticket to the conference.)
38.
by jonsterling 11y ago
Sorry about that. This note replaced our "call for proposals", which had much more formatting. Also, I'm a shite web developer, so there's that.
39.
by jonsterling 11y ago
Welcome to 1972, actually! https://en.wikipedia.org/wiki/Logic_for_Computable_Functions
40.
by jonsterling 11y ago
That's what you say, but the argument is circular. Not saying you're wrong---but you're not obviously right.
41.
by jonsterling 11y ago
Um, ok, but I didn't confuse what I thought with what others thought when I was 3.
42.
by jonsterling 11y ago
Unless you are a Russian / Markovian constructivist!
43.
by jonsterling 11y ago
We are implementing the Red JonPRL proof assistant ( https://github.com/JonPRL/sml-red-jonprl ) in SML (using MLton for builds and SML/NJ for development), and could hardly be happier. Dealing with unicode is a pain
44.
by jonsterling 11y ago
How does he intend to use social engineering to gain access to a phone whose owners are dead?
45.
by jonsterling 11y ago
What a dystopian future where what you go to school to learn is decided by the industrial job market...
46.
by jonsterling 11y ago
I hate programming, but I couldn't think of a better place to "sunset" my programming career! I'm really lucky to be working with such kind & talented people.
47.
by jonsterling 11y ago
Hey there—I've done my best to be as honest and up-front about my experience with Parse. (I apologize if it has seemed overly harsh; but it ate its way into many different parts of my life and really made my year difficult.) But I can&
48.
by jonsterling 11y ago
Haha, well funny you should mention it---management were also encouraging me to look into using firebase for something too, but I put the kibosh in it because we had had so much trouble with Parse. The truth is, we had no need for any of th
49.
by jonsterling 11y ago
I don't think I'm allowed go go into details based on a contract that I signed, so I will just say "we should have got off it earlier".
50.
by jonsterling 11y ago
Lol yep, it was horrible.
51.
by jonsterling 11y ago
Exactly, exactly, exactly! > We were also paying Parse an absurd amount of money for extra reliability, which didn't seem to help much. We were also hooked into the same scam! > For nearly any issue, a half-assed solution---often
52.
by jonsterling 11y ago
I really felt like I was being gaslighted, being surrounded by all these YC alum douchebags who never fail to have some gushing remark about it...
53.
by jonsterling 11y ago
Thanks for your comment; regarding your thought, from my perspective there was nothing that Parse provided that was easier than just building the app on Heroku ourselves. And we wouldn't have been stuck in the horrible node/javasc
54.
by jonsterling 11y ago
We used Parse, and (contrary to your suggestion) it helped us get to market much slower and much more expensively . We experienced a hilarious amount of downtime, and hundreds of engineering hours that could have been spent developing fe
55.
by jonsterling 11y ago
Totally agree. We need to bring Industry to heel.
56.
by jonsterling 11y ago
Ah, OK. It's been a few years since I've worked in the sort of place where anybody would need to be "stern" to anyone, but I can remember it! thanks for the clarification.
57.
by jonsterling 11y ago
Why would you want to work with someone who is "fierce and mean"? Sounds totally unprofessional.
58.
by jonsterling 11y ago
"well-roundedness" includes all sorts of stuff, like sports (especially WASP-y sports, like things involving boats) as well as volunteering and voluntourism.
59.
by jonsterling 11y ago
same...
60.
by jonsterling 11y ago
Awesome, thanks! I just upgraded and it works great.

More ›