Tags adelaide1 algorithms1 application-development1 book2 business-requirements-modelling1 category-theory2 chat-gpt2 computer-science4 computers1 copilot1 culture1 database1 dependent-typing1 dijkstra1 dotnet1 dsa1 eerie1 fiction1 formal-methods1 formal-verification1 funny1 generics1 geralt-of-rivia1 godel-escher-bach1 halmos1 haskell1 hott1 idea1 idris1 interaction-design1 inverell1 java1 lean2 leftpad1 linux1 llm1 maccas1 maths7 networks1 nostalgia1 optimization1 painting1 peano1 pedagogy1 philosophy2 philosophy-of-meaning1 programming8 proof1 python2 ramble1 ranking1 recount1 reflection2 review4 robotics1 rover1 sapkowski1 set-theory3 short1 short-story2 shower-thought2 society2 society-and-culture1 software1 spotify1 spotify-wrapped1 sql1 subjects1 sydney1 tcs1 technical4 time-complexity1 travel1 tree1 type-theory3 university3 uts1 variance1 verification1 witcher1