🌉 bridged from ⁂ https://mastodon.social/@foxmean, follow @ap.brid.gy to interact
https://youtube.com/shorts/jLw_0N-OMt4?si=E_XzOCJVMs1-tgfC
https://youtube.com/shorts/jLw_0N-OMt4?si=E_XzOCJVMs1-tgfC
https://discourse.haskell.org/t/tree-sitter-grammar-for-literate-haskell/13192
https://discourse.haskell.org/t/tree-sitter-grammar-for-literate-haskell/13192
Congratulations to @egbertrijke on the publication of his textbook on homotopy type theory and univalent mathematics!
For many of us classically trained mathematicians, learning univalent mathematics and type theory meant adapting to […]
Congratulations to @egbertrijke on the publication of his textbook on homotopy type theory and univalent mathematics!
For many of us classically trained mathematicians, learning univalent mathematics and type theory meant adapting to […]
ดียิ่งกว่าทุกทีที่ดีอยู่แล้ว ตอนจบก็สรุปได้ดีมาก 👏
ดียิ่งกว่าทุกทีที่ดีอยู่แล้ว ตอนจบก็สรุปได้ดีมาก 👏
With Linux, the layout is quite different from Windows and Mac. For example, the @ is at the 2 with two additional keys pressed (using Geforce Now on the Steam Deck). On Windows, it's at the Q, and on the Mac, it is on the L key.
My question is: is […]
07.11. 2025
#criticalmassfrankfurt
Um 19 Uhr treffen an der alten Oper in Frankfurt, dann Fahren bis ca. 23 Uhr (mit einer Pause) durch die schöne Innenstadt!
Die Route […]
[Original post on radiosocial.de]
07.11. 2025
#criticalmassfrankfurt
Um 19 Uhr treffen an der alten Oper in Frankfurt, dann Fahren bis ca. 23 Uhr (mit einer Pause) durch die schöne Innenstadt!
Die Route […]
[Original post on radiosocial.de]
ข้อได้เปรียบของ native ก็คือโดนกรอกเสี […]
ข้อได้เปรียบของ native ก็คือโดนกรอกเสี […]
"เขาน่าจะตื่นรู้ได้แล้วนะ ว่า Privatized Public Transportation (Railway) มันไม่เวิร์ก !"
#transport #trains #railway #thailand
"เขาน่าจะตื่นรู้ได้แล้วนะ ว่า Privatized Public Transportation (Railway) มันไม่เวิร์ก !"
#transport #trains #railway #thailand