Hossam Karim

[Hossam Karim @hossamkarim]

@ubuntu @binsquares

[Leonardo de Moura @Leonard41111588]

AI is writing a growing share of the world's software. No one is formally verifying any of it.

New essay: "When AI Writes the World's Software, Who Verifies It?"
https://t.co/8zjS9FkdA8

[Work Chronicles @_workchronicles]

desperate

[Computer Science @CompSciFact]

Induction makes you feel guilty for getting something out of nothing ... but it is one of the greatest ideas of civilization. ~ Herbert Wilf

[Moshe Vardi @vardi]

Students and their Schrodinger's answers

[Introduction to Algorithms, Fourth Edition @clrs4e]

@japidotca And I lost hair on my head while writing it.

[Graham Hutton @haskellhutt]

My Haskell courses this year are purely online. All of the videos are freely available on YouTube, and new videos are being added each week. Introductory course: https://t.co/C8kcc8ejGh. Advanced course: https://t.co/G3cCU1PwFf. 25% textbook discount: https://t.co/DReyjCvb2T.

[justinfalcone.com on 🟦☁️ @modernserf]

Remember, when you're on a job interview, you're interviewing _them_ as much as they're interviewing _you_. So when you get to the end of the call and they say "and do you have any questions for me?" ask them if they can reverse a linked list

[P. Oscar Boykin @posco]

One thing that annoys me: tell someone you prefer to code using gotos everywhere and almost everyone says this is bad. Tell people you think mutability, nulls, casts are also bad, and they are "whoa whoa whoa" you can write bad code in every language. 🙄

[Algebra Etc. @AlgebraFact]

If you find math journal articles intimidating to read, as I certainly did as a student, here are a few things to know that might help.
Thread (1/n)

[Hossam Karim @hossamkarim]

@BartoszMilewski

[Programming Wisdom @CodeWisdom]

"The best programs are the ones written when the programmer is supposed to be working on something else." - Melinda Varian

[Kareem Carr, Ph.D. @kareem_carr]

I have a statistics joke but the average person would think it’s mean.

[Hossam Karim @hossamkarim]

@TheGregYang URL not found

[Jascha Sohl-Dickstein @jaschasd]

Two simple equalities expressing matrix determinants as expectations over matrix-vector products. Entire paper in attached image. :P It's fun to write short notes like this. Hopefully useful in areas like normalizing flows and Gaussian process evaluation. https://t.co/jX5xjPbHQy

[IntelliJ Scala @IntelliJScala]

Scala 3 support in IntelliJ Scala plugin: https://t.co/SBkbBLTz0n

[Grant Sanderson @3blue1brown]

My TEDx talk has now been posted.

Among other things, I share some thoughts on the question "when will I ever use this" as it comes up in math education.

https://t.co/IfAmmct9dq

[I Am Devloper @iamdevloper]

[3 hours deep into sprint planning]

Manager: I want you lot to take your time on this new project, take as long as you need to design the Perfect Codebase™️, you can rewrite it as many times as yo-

Me: huh

Manager: only joking, just checking you’re awake, you’ve got 1 week.

[فارس القنيعير @qunaieer]

الحمد لله بعد عمل متقطع خلال قرابة عام تم الانتهاء من ترجمة مختصرات تعلم الآلة المنشورة على موقع ستانفورد ونشرها باللغة العربية
الصفحة التالية تغطي المواضيع:
التعلم الموجه
التعلم غير الموجه
التعلم العميق
نصائح وحيل
https://t.co/ndLzxbjAqT
(1)
#ذكاء_اصطناعي

[Senior PowerPoint Engineer @ryxcommar]

Happy 86th birthday to this King.

If you used his lecture videos to get an A in any of your math classes you are legally obligated to wish Dr. Gilbert Strang a happy birthday in the comments of this post.