Dr. Ruchira Datta
@ruchiradatta.bsky.social
Mathematician and computer scientist. Have done research in game theory, AI/ML for NLP, and computational biology (phylogenomics, cancer, and immunology). Now working on making energy-efficient AI/ML. Vegetarian.
This is the first I've heard of Hazel, looks interesting. I remember learning a "programming with holes" concept in Idris 2. Is it the same idea?
November 11, 2025 at 5:04 PM
This is the first I've heard of Hazel, looks interesting. I remember learning a "programming with holes" concept in Idris 2. Is it the same idea?
Who? The quoted post is deleted.
November 11, 2025 at 4:53 PM
Who? The quoted post is deleted.
Do you recall where this quote was from?
November 11, 2025 at 9:57 AM
Do you recall where this quote was from?
Do you remember what the now deleted post said?
November 11, 2025 at 9:43 AM
Do you remember what the now deleted post said?
Do you remember what the now deleted post said?
November 11, 2025 at 9:42 AM
Do you remember what the now deleted post said?
What did this say?
November 11, 2025 at 9:39 AM
What did this say?
What did this say?
November 11, 2025 at 9:36 AM
What did this say?
What did this say?
November 11, 2025 at 9:35 AM
What did this say?
What did this say?
November 11, 2025 at 9:30 AM
What did this say?
What did this say?
November 11, 2025 at 9:15 AM
What did this say?
I suggest others read the whole article and decide for themselves. The pull quotes don't do it justice. It is a balanced and thoughtful piece that doesn't push a definite conclusion.
This long-time subscriber is thankful for 100 years of the New Yorker. Here's hoping for 100 more!
This long-time subscriber is thankful for 100 years of the New Yorker. Here's hoping for 100 more!
November 8, 2025 at 4:52 AM
I suggest others read the whole article and decide for themselves. The pull quotes don't do it justice. It is a balanced and thoughtful piece that doesn't push a definite conclusion.
This long-time subscriber is thankful for 100 years of the New Yorker. Here's hoping for 100 more!
This long-time subscriber is thankful for 100 years of the New Yorker. Here's hoping for 100 more!
Making fun of the New Yorker's umlauts (which the author has no control over and quite possibly didn't even put in himself) is quite weak.
I have been following you for years, and came here expecting much more substantive critique. Your comments here are disappointing.
I have been following you for years, and came here expecting much more substantive critique. Your comments here are disappointing.
November 8, 2025 at 4:45 AM
Making fun of the New Yorker's umlauts (which the author has no control over and quite possibly didn't even put in himself) is quite weak.
I have been following you for years, and came here expecting much more substantive critique. Your comments here are disappointing.
I have been following you for years, and came here expecting much more substantive critique. Your comments here are disappointing.