Tags adelaide1 algorithms1 application-development1 book2 business-requirements-modelling1 category-theory2 chat-gpt2 college1 computer-science4 computers1 copilot1 csharp2 culture2 database1 dependent-typing1 dijkstra1 dotnet1 dsa1 eerie1 europe1 exchange1 fiction1 formal-methods1 formal-verification1 friends1 friendship1 funny1 generics2 geralt-of-rivia1 godel-escher-bach1 halmos1 haskell2 higher-kinded-types1 history1 hkt1 hott1 hungary1 idea1 idris2 idris21 interaction-design1 international1 inverell1 irony1 java1 lean2 lecture1 leftpad1 linux1 llm1 maccas1 maths9 monads1 networks1 nostalgia1 optimization1 painting1 paradox1 peano1 pecs1 pedagogy1 philosophy2 philosophy-of-meaning1 politics1 programming9 proof1 python2 ramble1 ranking1 recount1 reflection2 review4 robotics1 rover1 sapkowski1 school1 set-theory4 short1 short-story2 shower-thought2 social-commentary1 society2 society-and-culture1 software1 spotify1 spotify-wrapped1 sql1 subjects1 summer1 summer-school1 sydney1 tcs1 technical5 time-complexity1 travel1 tree1 type-theory4 uni1 university4 uts1 variance2 verification1 witcher1