Abrahem.79
abrahem79
شغوف بكل ما هو جديد ومبتكر في العالم الرقمي.أعتبر الإبداع جزءًا لا يتجزأ من شخصيتي، وأحب مشاركة أفكاري ومشاريعي مع الآخرين. إنني
github.copilot Jordan
Barton Rhodes
bmorphism
"Parametrised optics model cybernetic systems, namely dynamical systems steered by one or more agents. Then ⊛ represents agency
being exerted on systems"
@plurigrid san francisco
Hayley Patton
no-defun-allowed
catgirl representation in programming language design and implementation 🐾ΘΔ
Applied Language and/or ANU Canberra, Australia
Jonathan Cubides
jonaprieto
Research Engineer.
Read/write types and proofs for fun and profit.
Better HoTT than cold.
PreviousNext