HackerTrans
TopNewTrendsCommentsPastAskShowJobs

mcshicks

no profile record

comments

mcshicks
·3 ay önce·discuss
There have been bills in the past like "The improved digital identity act of 2023" that never get out of committee. The latest incarnation seems to be "H.R.7270 - Stop Identity Fraud and Identity Theft Act of 2026". There almost always have one republican and one democratic sponsor. But they don't seem to rise to the level of urgency to get past the current dysfunction in congress.

https://www.congress.gov/bill/119th-congress/house-bill/7270...
mcshicks
·9 ay önce·discuss
They seemed to have missed peter turchin

"In 2010, Turchin published research using 40 combined social indicators to predict that there would be worldwide social unrest in the 2020s"

https://en.wikipedia.org/wiki/Peter_Turchin
mcshicks
·9 ay önce·discuss
Surprised there was no mention of brief. That was my favorite editor for programming for a while.

https://en.wikipedia.org/wiki/Brief_(text_editor)
mcshicks
·2 yıl önce·discuss
The set theory game on the same site it also fun

https://adam.math.hhu.de/

Another one is mathematics in lean

https://leanprover-community.github.io/mathematics_in_lean/

It's a text book with many examples for you to try. There are sample solutions which if you get stuck (which I often do) you can take a peek for some help. I actually just grep the solution file -A1 , -A2 etc to peek at the solutions one line at a time

Example problems and solutions

https://github.com/leanprover-community/mathematics_in_lean