catgary

17 ms·

151.
by catgary 3y ago
I wonder if they’re going to challenge it based on freedom of religion (similar to Christianity and discrimination based on gender identity or sexual orientation).
152.
by catgary 3y ago
Awareness is good too, a lot of people’s here have anecdotes from their time in academia (almost all South Asian professors are from higher castes), where it is easier to set up protections.
153.
by catgary 3y ago
You can absolutely still report them, if you’re no longer in the university they don’t have much power to influence your career anymore.
154.
by catgary 3y ago
Yeah a professor’s blog post was shared recently that he only felt safe to disclose his caste once he had achieved tenure, and that basically every CS professor of South Asian descent in North America is from the higher castes (as in, the n
155.
by catgary 3y ago
I can’t find the article now, but a Canadian doctor with Dalit ancestry (I think he grew up here) was in the news for firing a medical receptionist on the spot after she made a comment about lower castes. It kind of sucks that South Asians
156.
by catgary 3y ago
The injustices being, primarily, that they were no longer allowed to engage in chattel slavery.
157.
by catgary 3y ago
I feel like there’s 100m of VC money here because it’s Chris Lattner’s company and he’s the best compilers person in the world right now.
158.
by catgary 3y ago
Have you played with Mojo? It really doesn’t feel high level. I feel like JAX has been eating Julia’s lunch lately, making me think that there’s a real market for a small functional differentiable programming language with good Python inter
159.
by catgary 3y ago
Honestly, as a mathematician-turned-ml-researcher, Song and Ermon’s mathematical derivations based on SDEs are what sold me on diffusion/score-based generative models. This ( https://youtu.be/wMmqCMwuM2Q?si=fvujznGDHjKH2
160.
by catgary 3y ago
If they’re optimizing over gradient descent, couldn’t they indirectly be doing some hessian-estimation methods?
161.
by catgary 3y ago
Of course they won’t admit they made a mistake, they’re watching a career-making paper become a retraction (especially with the training data contamination issues).
162.
by catgary 3y ago
There’s a Costco in downtown Vancouver, it’s great. I just use a cart to pull my groceries home rather than taking my car and parking (it is next to the hockey and football stadiums and shares underground parking). Sometimes I just walk in
163.
by catgary 3y ago
I had a math professor who did an amazing job at preventing cheating by making coursework more-or-less optional, and then exams would be 50% problems they’d invented specifically for that year, and 50% problems given ahead of time (you only
164.
by catgary 3y ago
I think we’re getting to competitive sports territory, where people justify it to themselves because they’re convinced everyone else is doing it.
165.
by catgary 3y ago
At this point it seems like he’s dismantling Twitter on purpose. I can understand why the Saudis who lent him money would want it gone after the Arab spring.
166.
by catgary 3y ago
It’s literally the result of a category theorist “following his nose” and solving a problem - mathematical ecologists are perfectly capable of doing some graph theory/linear algebra!
167.
by catgary 3y ago
I think anti-car activists would do great to mod SimCity to have realistic parking lots.
168.
by catgary 3y ago
I find it weird anyone would have a problem with this, since the alternative is these advocacy groups actively pushing people to stop using these services.
169.
by catgary 3y ago
Yeah, it’s not (entirely) the students’ faults that this slipped through peer review. I don’t envy the whiplash they’re going to experience over the next few weeks. If I was the graduate chair of their department I might schedule a meeting
170.
by catgary 3y ago
Hasn’t this paper made it through peer review?
171.
by catgary 3y ago
I’m a bit confused about why it’s a Python library and where its value proposition lies. If LLMs are going to be ubiquitous in app development, wouldn’t you expect Apple to release a Swift library that blows LangChain out of the water (simi
172.
by catgary 3y ago
Yeah I rolled my eyes pretty hard when a crypto company used something like “team grothendieck”.
173.
by catgary 3y ago
Maybe! I just think I was exactly the sort of industrial scientist who would be the market for something like CatLab.jl, or a lot of papers that intersected with my new-found industrial domain, and I just never found anything compelling. I
174.
by catgary 3y ago
I think things like monads and linear/affine types have their place, and I actually quite like lenses in functional languages (even Jax uses them in disguise to safely modify arrays in-place). I don’t think string diagrams make it any
175.
by catgary 3y ago
I think you’re conflating criticism of Applied Category Theory™ with criticism of category theory. I honestly feel bad for some of the students who got swept up into it - I’m not convinced they come out with the hard programming skills of s
176.
by catgary 3y ago
I must have sat through a dozen of talks about how double push-out rewriting theory is going to revolutionize mathematical biology/linguistics/etc. I can give firsthand evidence that it’s not limited to funding proposals. And ther
177.
by catgary 3y ago
I mean, the modern language of algebraic geometry and homotopy theory is based on advanced category theory. David Spivak, the author of this book, wrote a great thesis on cobordisms and used categorical techniques to sidestep hard problems
178.
by catgary 3y ago
So, this is a tough thing to say publicly because I really respect a lot of David’s early work on derived differential geometry - please don’t judge category theory as a field based on Applied Category Theory™. To quote a random tweet, Appl
179.
by catgary 4y ago
> There was a transition stretching across Gen X and Millennials where degrees like "social work" steadily lost value as supply of these degrees gradually outpaced demand, and wages slowly stagnated. Isn’t the US in the middle
180.
by catgary 4y ago
I think funding lotteries are rarely proposed as straightforward lotteries, there is usually still an evaluation step that filters some 50% of proposals. It’s based on the observation that there is usually consensus about what is a reasonab

More ›