pngwen

4 ms·

1. 1.▲
   by pngwen 2mo ago

   You might be interested in Kurt Goedel’s extended book review wherein he proves that Principia cannot do what it sets out to do, nor can any such system. I do teach PM when I teach theory of computation, but largely to tell the story of how
2. 2.▲
   by pngwen 2mo ago

   This brilliantly articulates what is required for best practices in the AI era. I am putting this article on my required reading list for Software Engineering. On behalf of my students, thank you for writing this!
3. 3.▲
   by pngwen 3mo ago

   I’d say the embassy did a good job of exporting the American journalistic experience. The only point of inauthenticity is that neither journalist suffered any lasting physical harm.
4. 4.▲
   by pngwen 4mo ago

   I like it just fine; so long as I am being paid to code with it. Would I use react otherwise? No. But then, I view all js work as strictly mercenary. I would never choose it willingly no matter what library sits on top of it.
5. 5.▲
   by pngwen 5mo ago

   Ah, but we could cite Cliff's Facebook page as evidence that he is disputing the reports of his own death. That's at least strong enough to put his earthly existence in the "debatable" column.
6. 6.▲
   by pngwen 5mo ago

   Actually I have been tinkering with PWA as a way to remake some of my toy apps. Though a lot of the automations I made for Android can be replicated through Apple’s Shortcuts app. The biggest loss for me was Termux. I had lots of scripts an
7. 7.▲
   by pngwen 5mo ago

   This change has served me well! I have been a Mac OS X users for years who used an android phone. As soon as google announced their impending walled garden status, I went out and bought into the ios eco system. I have really been enjoying m
8. 8.▲
   by pngwen 5mo ago

   Wouldn’t a “no-tech tractor “ be a mule? They are selling tractors based on internal combustion technology.
9. 9.▲
   by pngwen 6mo ago

   I wonder what this will mean for all of my students. I have been weaving copilot into my software engineering and code centric courses, but that depends on copilot pro as provided by the GitHub education package. If those signups are paused
10. 10.▲
    by pngwen 6mo ago

    I'm a professor of computer science, and I use AI to conduct literature reviews all the time. It's actually one of the handful of things that AI really excels at. So really, I think I would be more inclined to teach students how t