jshaqaw

12 ms·

91.
by jshaqaw 4y ago
This is why people pay the rent to live here
92.
by jshaqaw 4y ago
Every time I refresh my gear I try to figure out which is more cost effective - buying top tier stuff and getting another X years out of it before obsolescence or buying mid-tier stuff and just refreshing more often. I end up just getting t
93.
by jshaqaw 4y ago
I had a chance to reflect on this overnight. I apologize that the initial rant was not written very well. I had to get it out and off my chest but was multitasking to hit a parallel real life deadline elsewhere. My personal answer to all of
94.
by jshaqaw 4y ago
Of course people prefer not to know. I happen to be a vegetarian. I’m not a preachy vegetarian (I hope!) and people should eat what they want to eat. Willfully blind meat eating does offend me though although I’m open to being convinced I’m
95.
by jshaqaw 4y ago
A can’t miss awesome thing for people on the precipice of the dependent type theory rabbit hole is 1lab: https://1lab.dev/#lab 1lab is the future for mathematics research that deserves to happen.
96.
by jshaqaw 4y ago
Cubical type theory is a way to get to a purely constructive foundation for Homotopy Type Theory. Super cool stuff from a foundations of math perspective and has some surprising applications to topological quantum computing but if it isn’t
97.
by jshaqaw 4y ago
Adding onto the authors’s own review, I liked the second part on learning Idris but for my purposes the real gem was that it took me from zero prerequisites to a good intuition for dependent type theory in a very clear way that prepared me
98.
by jshaqaw 4y ago
Thanks I’ll check it out.
99.
by jshaqaw 4y ago
Self radicalization at least takes some initiative and sustained focus which would seem to limit the relative population risk but I fully admit I’m on the thin edge here of what I have any clue about.
100.
by jshaqaw 4y ago
I can’t say. I’m just a hobbyist dilettante here. Maybe that other book is great too but I don’t know it. One fun thing about a language so deep down the rabbit hole as Idris is the mean caliber of people involved is higher than average.
101.
by jshaqaw 4y ago
I agree and appreciate that AI is very fallible. That’s exactly why I think the algos should take direct user feedback to knock it off with certain content types seriously instead of very apparently ignoring it altogether.
102.
by jshaqaw 4y ago
This is what the meat industry lobbies for laws to prevent people from knowing. Everyone has the right to eat meat just as everyone has the right to know where it really comes from when they make that decision.
103.
by jshaqaw 4y ago
Thanks. FWIW I wasn't trying to "yuck your yum" for gun folks. Just not my personal bag of tea. I was raising it as an example of how useless the feedback mechanisms were for correcting the recommendation engine, not trying t
104.
by jshaqaw 4y ago
A huge overlap. Idris is aimed at being a general purpose language with proof assistant characteristics while some of its peers are more theorem provers built with general purpose language characteristics.
105.
by jshaqaw 4y ago
I'm a big fan of this book for anyone interested in the topic: https://www.amazon.com/Gentle-Introduction-Dependent-Types-I...
106.
by jshaqaw 4y ago
"Consider deleting your view history if you haven't already. Go through your subscriptions and see who they're following. Absolutely do not click on more than one of someone's video if you don't want to get flooded
107.
by jshaqaw 4y ago
Exactly. Do Nazi's offend me? Sure (sorry if that's a spicy opinion for some of the people who left response comments here). But as a computer person I'm offended by how lazy and bad the recommendation system is. After two de
108.
by jshaqaw 4y ago
Also, remember I actually pay hard cash for Youtube (which embarrasses me every time I type it!) so the idea that they can't distinguish engagement highly likely to keep me forking over subscription moolah versus engagement highly like
109.
by jshaqaw 4y ago
I absolutely get the recommendsation progression. I'm a pragmatist and a capitalist. I'm not demanding a ban on anything. But when a user explicitly says "NO NO STOP YOU HAVE IT WRONG" and it has no impact then it is not
110.
by jshaqaw 4y ago
Truly sad to throw out the baby with the bathwater though. On Youtube I can watch IAS lectures on cutting edge topics on quiet evenings. I can find incredible creators explaining mathematical and physics concepts - often with innovative and
111.
Dear YouTube AI, I Am Not a Nazi
43 points by jshaqaw 4y ago|49 comments
112.
by jshaqaw 4y ago
I'd love a physical switch which hard disables Siri/audio monitoring
113.
by jshaqaw 4y ago
You sir understand our great city.
114.
by jshaqaw 4y ago
This all looks great. I’ll save you the Apple agony and run a vm for this.
115.
by jshaqaw 4y ago
Very cool. Is any of this exposed at the user level in any way for modding/experimentation or is that just too unworkable in production? Also, curious if there was a toolchain reason for the lack of a Mac version or is it just too tin
116.
by jshaqaw 4y ago
Hi. I’d be interested on how you feel using lisp impacted the development of the game and the final game structure. Would it be the “same” game if implemented in a more conventional approach? Thanks.
117.
by jshaqaw 4y ago
A Lisp Machine in my browser?!?! And just like that my coming week of productivity was lost. Awesome!
118.
by jshaqaw 4y ago
Two incredible general interest math books came out this year: The Big Bang of Numbers and The Joy or Abstraction. Both are brilliantly written and convey sophisticated math concepts for general intellectual development versus math speciali
119.
by jshaqaw 4y ago
I get the nostalgia factor but beyond that why in 2022 is a calculator app something people get so excited about?
120.
by jshaqaw 4y ago
As a six year old I dreamed of building AGI on Atari Basic. Clearly I had a few things to learn about resource constraints in addition to having no actual theory of AGI but kudos to a cool product for its time. I think it’s hard for people

More ›