#hip5 — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #hip5, aggregated by home.social.
-
Die Hack im "Pott" (in Wülfrath?!) war ein sehr schönes kleines Event. Gerne wieder!
#hip5 -
Die Hack im "Pott" (in Wülfrath?!) war ein sehr schönes kleines Event. Gerne wieder!
#hip5 -
Die Hack im "Pott" (in Wülfrath?!) war ein sehr schönes kleines Event. Gerne wieder!
#hip5 -
Wir deployen das jetzt nach Produktion und gucken, ob es funktioniert. #hip5
-
Wir deployen das jetzt nach Produktion und gucken, ob es funktioniert. #hip5
-
Wir deployen das jetzt nach Produktion und gucken, ob es funktioniert. #hip5
-
Yesterday at #hip5 I held a workshop about #agda.
My goal was to try explaining the basics of how theorem proving works and why it's analogous to programming (the Curry-Howard correspondence) to people with a background in programming, but no prior knowledge in theorem proving or functional programming. I hope that that maybe showed an interesting approach to theoretical computer science etc. to some people that previously avoided it.
I think that it least somewhat worked and got positive feedback, which is great :D I'll definitely hold this or a similar workshop again some time.
(the code is at https://git.eisfunke.com/lab/proof-assistants)
-
Yesterday at #hip5 I held a workshop about #agda.
My goal was to try explaining the basics of how theorem proving works and why it's analogous to programming (the Curry-Howard correspondence) to people with a background in programming, but no prior knowledge in theorem proving or functional programming. I hope that that maybe showed an interesting approach to theoretical computer science etc. to some people that previously avoided it.
I think that it least somewhat worked and got positive feedback, which is great :D I'll definitely hold this or a similar workshop again some time.
(the code is at https://git.eisfunke.com/lab/proof-assistants)
-
Yesterday at #hip5 I held a workshop about #agda.
My goal was to try explaining the basics of how theorem proving works and why it's analogous to programming (the Curry-Howard correspondence) to people with a background in programming, but no prior knowledge in theorem proving or functional programming. I hope that that maybe showed an interesting approach to theoretical computer science etc. to some people that previously avoided it.
I think that it least somewhat worked and got positive feedback, which is great :D I'll definitely hold this or a similar workshop again some time.
(the code is at https://git.eisfunke.com/lab/proof-assistants)
-
Yesterday at #hip5 I held a workshop about #agda.
My goal was to try explaining the basics of how theorem proving works and why it's analogous to programming (the Curry-Howard correspondence) to people with a background in programming, but no prior knowledge in theorem proving or functional programming. I hope that that maybe showed an interesting approach to theoretical computer science etc. to some people that previously avoided it.
I think that it least somewhat worked and got positive feedback, which is great :D I'll definitely hold this or a similar workshop again some time.
(the code is at https://git.eisfunke.com/lab/proof-assistants)
-
-
-
-
-
OH: Tschunk kannst du immer bekommen, das hier ist 'ne Experience #hip5
-
OH: Tschunk kannst du immer bekommen, das hier ist 'ne Experience #hip5
-
OH: Tschunk kannst du immer bekommen, das hier ist 'ne Experience #hip5
-
OH: Tschunk kannst du immer bekommen, das hier ist 'ne Experience #hip5
-
OH: Kannst du die Frage nochmal auf Klingonisch wiederholen? Hier spricht nicht jeder deutsch #hip5
-
OH: Kannst du die Frage nochmal auf Klingonisch wiederholen? Hier spricht nicht jeder deutsch #hip5
-
OH: Kannst du die Frage nochmal auf Klingonisch wiederholen? Hier spricht nicht jeder deutsch #hip5
-
OH: Kannst du die Frage nochmal auf Klingonisch wiederholen? Hier spricht nicht jeder deutsch #hip5
-
-
-
-
-
-
-
-
-
OH: Ist das Benzin in deiner Tasche oder freust du dich nur mich zu sehen? #hip5
-
OH: Ist das Benzin in deiner Tasche oder freust du dich nur mich zu sehen? #hip5
-
OH: Ist das Benzin in deiner Tasche oder freust du dich nur mich zu sehen? #hip5
-
OH: Ist das Benzin in deiner Tasche oder freust du dich nur mich zu sehen? #hip5
-
-
-
-
-
-
-
-
-
-
OH: "Ich fand die Argumente ja zutreffend, aber habe entschieden, sie zu ignorieren." #hip5
-
Der Kaffee auf der #hip5 schmeckt nach Erbsensuppe und alle, die was Gegenteiliges behaupten, haben Unrecht!!11
-
-
-
-
@m0rph3us1987 @hackimpott Wir freuen uns auf Euch #Wirhaus #hackimpott #hip5
-
-
-
HIP HIP Hurra!
Wir freuen uns, dieses Jahr vom 23. bis 25. Februar endlich wieder eine „Hack im Pott“ veranstalten zu können. Die Veranstaltung wird in den Räumen des WIR-Haus in Wülfrath in Kooperation mit dem @neanderfunk stattfinden, der uns Infrastruktur und Räumlichkeiten bereitstellt.
Wir planen mit 100 Teilnehmenden.
