Haskell Hackathon @haskell_hackers

Veröffentlichungen sachbezogener Bekanntgaben im Themengebiet funktionale Programmierung. haskell-hackathon.no-ip.org München, Freistaat Bayern Joined July 2014

Tweets

49
Followers

39
Following

82
Likes

1

Haskell Hackathon @haskell_hackers

11 years ago

#Agda #HoTT So.11.01 18:00 indiaking.de haskell-hackathon.no-ip.org/#next_hackathon #Haskell #Hackathon #Munich #muc #ger #programming #meetup #math #fp

0 0 2 0 0

Haskell Hackathon @haskell_hackers

11 years ago

Wish you a functional, categorical, topological, mathematical new year! #programming #haskell #agda #fp #math #CatTh #hott #code2014 #2015

1 0 0 0 0

Haskell Hackathon @haskell_hackers

11 years ago

#Agda #HoTT So.28.12 12:00 indiaking.de haskell-hackathon.no-ip.org/#next_hackathon #Haskell #Hackathon #Munich #muc #ger #programming #meetup #math #fp

0 0 1 0 0

Haskell Hackathon @haskell_hackers

11 years ago

Oops, last week's meetup was missing on Twitter! :) Another reason to sign up to the mailing list. Just go to haskell-hackathon.no-ip.org :)

0 0 0 0 0

Haskell Hackathon @haskell_hackers

11 years ago

#Agda #HoTT #Android So.14.12 12:00 indiaking.de haskell-hackathon.no-ip.org/#next_hackathon #Haskell #Hackathon #Munich #muc #ger #programming #meetup #math #fp

0 0 2 0 0

Haskell Hackathon @haskell_hackers

11 years ago

#Agda #HoTT #Android So.6.12 12:00 indiaking.de haskell-hackathon.no-ip.org/#next_hackathon #Haskell #Hackathon #Munich #muc #ger #programming #meetup #math #fp

0 0 2 0 0

Haskell Hackathon @haskell_hackers

11 years ago

#Agda #HoTT #Android So.30.11 12:00 indiaking.de haskell-hackathon.no-ip.org/#next_hackathon #Haskell #Hackathon #Munich #muc #ger #programming #meetup #math #fp

0 0 0 0 0

Haskell Hackathon @haskell_hackers

11 years ago

#Agda #HoTT #Android So.23.11 16:00 indiaking.de haskell-hackathon.no-ip.org/#next_hackathon #Haskell #Hackathon #Munich #muc #ger #programming #meetup #math #fp

0 0 1 0 0

Haskell Hackathon @haskell_hackers

11 years ago

#Agda #HoTT #Android So.16.11 16:00 indiaking.de haskell-hackathon.no-ip.org/#next_hackathon #Haskell #Hackathon #Munich #muc #ger #programming #meetup #math #fp

0 0 1 0 0

Haskell Hackathon @haskell_hackers

11 years ago

#Agda #HoTT Mi.5.11 19:00@ indiaking.de haskell-hackathon.no-ip.org/#next_hackathon #Haskell #Hackathon #Munich #muc #ger #programming #meetup #math #fp

0 0 1 0 0

Haskell Hackathon @haskell_hackers

11 years ago

Theorem provers HoTT So.2.11 18:00@ indiaking.de haskell-hackathon.no-ip.org/#next_hackathon #Hackathon #Munich #muc #ger #programming #meetup #math #fp

0 0 0 0 0

Haskell Hackathon @haskell_hackers

11 years ago

The website is now in English! haskell-hackathon.no-ip.org/index_en.html

0 0 0 0 0

Haskell Hackathon @haskell_hackers

11 years ago

Unusual #Haskell Categories So.26.10 18:00@ indiaking.de haskell-hackathon.no-ip.org/#next_hackathon #Hackathon #Munich #muc #ger #programming #meetup #math #fp

0 1 1 0 0

Haskell Hackathon @haskell_hackers

11 years ago

#math #fp unusual #Haskell Coinduction Do.16.10 18:00@ indiaking.de haskell-hackathon.no-ip.org/#next_hackathon #Hackathon #Munich #muc #ger #programming #meetup

0 0 1 0 0

Haskell Hackathon @haskell_hackers

11 years ago

"@ifesdjeen: Papers We Love #Munich #Meetup is up: meetup.com/Papers-We-Love… Spread the news and lets's bootstrap that meetup!" #programming

0 0 0 0 0

Haskell Hackathon @haskell_hackers

11 years ago

#math #fp unusual #Haskell Coinduction So.12.10 18:00@ indiaking.de haskell-hackathon.no-ip.org/#next_hackathon #Hackathon #Munich #muc #ger #programming #meetup

0 0 0 0 0

Haskell Hackathon @haskell_hackers

11 years ago

#math #fp unusual #Haskell #codekata So. 5.10 18:00 @ indiaking.de haskell-hackathon.no-ip.org/#next_hackathon #Hackathon #Munich #muc #ger #programming #meetup

0 0 1 0 0

Haskell Hackathon @haskell_hackers

11 years ago

In full support of: codewars.com/?language=hask… Schaut euch die Lösungen der Katas auch an!

0 0 0 0 0

Haskell Hackathon @haskell_hackers

11 years ago

#math #opengl #gtk #dsp #fp - Mo. 22.9 18:00 @ indiaking.de haskell-hackathon.no-ip.org/#next_hackathon #Haskell #Hackathon #Munich #muc #programming #meetup

0 0 0 0 0

Haskell Hackathon @haskell_hackers

11 years ago

#math #opengl #gtk #dsp #fp - Mi. 19.9 18:00 @ indiaking.de haskell-hackathon.no-ip.org/#next_hackathon #Haskell #Hackathon #Munich #muc #programming #meetup

0 0 0 0 0

Director of Education at @InputOutputHK #Cardano, CTO at @GeniusyieldO, PhD in Pure Mathematics, passionate about #Haskell.

Lars Brünjes @LarsBrunjes

16K Followers 7K Following Director of Education at @InputOutputHK #Cardano, CTO at @GeniusyieldO, PhD in Pure Mathematics, passionate about #Haskell.

Paul Koerbitz @paulkoer

173 Followers 323 Following Mathematician by training, developer & ex-CTO, likes AI, data science & Rust

Ruby on Ice @rubyoniceconf

632 Followers 2K Following A lakeside conference about Ruby, Rails and related technologies. ⛷️ February 22th - 24th, 2019.

Oliver Braun @obcode

251 Followers 182 Following Professor for Software Development

Christine Koppelt @ckoppelt

258 Followers 257 Following Data, DevOps, Machine Learning. Consultant @INNOQ

Marek Dudek @MarekDudek23

329 Followers 2K Following Writes Haskell in Java for FinTech

ggbozzo #BLM #ANTIFA @ggbozzo

361 Followers 5K Following

Soir Bleu @soirbleu

68 Followers 1K Following

Aspekt32 @Aspekt_32

226 Followers 2K Following Changing the aspekts of recruitment #aspekt32 #recruitment #socialrecruitment #jobs #germany #IT #javajobs

Food Hacks @FoodHacksBerlin

16 Followers 125 Following

YRAL TV @YRAL_TV

36 Followers 116 Following

Yakhin.Mehkum @Yakhin_Mehkum

212 Followers 5K Following "Be a free thinker and don't accept everything you hear as truth. Be critical and evaluate what you believe in." -- Aristotle (384 - 322 BC).

Hackout Ninja @HackOutNinja

619 Followers 1K Following Manage Your #Hackathons and #Startup #Ideas in One Place! Get started now: https://t.co/AvUF48UND1

Rust at $job, Rust and Haskell at home. Opinions my own.
Also at
@plumenator@mastodon.social
@plumenator@functional.cafe
@plumenator@hachyderm.io

Karthik Ravikanti @plumenator

402 Followers 5K Following Rust at $job, Rust and Haskell at home. Opinions my own. Also at @[email protected] @[email protected] @[email protected]

love/hate relationship w/ computers.
searching. pondering. gazing into the abyss.

@_sohalt@chaos.social

sohalt @_sohalt

195 Followers 2K Following love/hate relationship w/ computers. searching. pondering. gazing into the abyss. @[email protected]

We are the Stylight Tech team. read our blog at https://t.co/rvQYkIduq7 join our events: https://t.co/emoW0ddRVg #python #MachineLearning #Microservices

Stylight Tech @StylightTech

1K Followers 1K Following We are the Stylight Tech team. read our blog at https://t.co/rvQYkIduq7 join our events: https://t.co/emoW0ddRVg #python #MachineLearning #Microservices

IoT | Cloud services | Data analytics | Digital marketing | App development | Engineering solutions | Working on new secret project :p

Skyline Labs @Skylinelabs

Functor Research @FunctorResearch

136 Followers 783 Following Functor Research and Research Collaboration

Jane Hancock @janemhancock1

4 Followers 73 Following

We Code for Stake or Cryptocurrency {Delivering value via Proof-of-Code} CrowdTokens, Ethereum, Ripple, DecentralizedApps, BugBounties, Wallets, SmartContracts

CodeStake @CodeStake

5K Followers 17K Following We Code for Stake or Cryptocurrency {Delivering value via Proof-of-Code} CrowdTokens, Ethereum, Ripple, DecentralizedApps, BugBounties, Wallets, SmartContracts

Entrepreneur & supporter @freecodecamp, rails developer and coding for a better world. Former CFO and financial auditor

Dominique Schuwey @domienterprises

6K Followers 5K Following Entrepreneur & supporter @freecodecamp, rails developer and coding for a better world. Former CFO and financial auditor

Official Page of the Professional Services Champions Series for Business. News I Ideas I Education #ModelOff #Texata #LoyaltyGames #PSCL #Competitions

PSCL @PSCLWorldLeague

855 Followers 2K Following Official Page of the Professional Services Champions Series for Business. News I Ideas I Education #ModelOff #Texata #LoyaltyGames #PSCL #Competitions

Hacking Generation Y @hackgeny

157 Followers 779 Following Hacking Generation Y. High school hackathon sponsored by Google, Launch MIT, 4sq and more! Jan 24-25, APPLY NOW!

AngusTheRecruiter @AJNFRecruiter

433 Followers 2K Following Recruiting Cloud Sales Talent in Germany #Cloud #Recruitment #Sales #Headhunting #Sourcing

Oliver @modular_oliver

340 Followers 3K Following

Java, DevOps, Cloud Native • 7x @oracleace Pro @DOAGeV @iJUGeV #usualsuspects 💪🏼😋💜🎉@JavaLandConf @CloudLandOrg @microXchg @sfjug @swkthde @jugthde @d4kthde

Benjamin Nothdurft @DataDuke

3K Followers 5K Following Java, DevOps, Cloud Native • 7x @oracleace Pro @DOAGeV @iJUGeV #usualsuspects 💪🏼😋💜🎉@JavaLandConf @CloudLandOrg @microXchg @sfjug @swkthde @jugthde @d4kthde

tlo @sengaya

37 Followers 145 Following @[email protected]

Johannes Weiss @johannesweiss

2K Followers 2K Following Computer programmer (https://t.co/g0iO6Ssfex). Distributed systems in Swift, previously #SwiftNIO — https://t.co/GqWAwtFSvV

F#, Haskell, Scala, Python, Lisp, Data Structures, Algorithms, Complexity, Java, C#, C++, Distributed computing, Machine learning....and all that Jazz.

Oxford Knight @Oxford_Knight

2K Followers 499 Following F#, Haskell, Scala, Python, Lisp, Data Structures, Algorithms, Complexity, Java, C#, C++, Distributed computing, Machine learning....and all that Jazz.

Frank Wagner @agilecoderfrank

148 Followers 473 Following Coding is my passion. Agile is my dream. A German in France.

Ralf Vogler @voglerr

89 Followers 138 Following doing static analysis of C in OCaml

Dirk Gomez @dirkgomez

269 Followers 2K Following @[email protected]

Alexander Sieb @enthymem

28 Followers 330 Following

C'mon now, click follow! You know you want to! Developer Experience, Compilers, Languages. Personal Opinions, No Financial Advice!

모리츠 ✨ @4ngerman

3K Followers 2K Following C'mon now, click follow! You know you want to! Developer Experience, Compilers, Languages. Personal Opinions, No Financial Advice!

Martin Pompéry @mpompery

458 Followers 987 Following Initiator and Co-Founder @SineFdn

Mathias Schreck @lo1tuma

115 Followers 233 Following

Andres Löh @kosmikus

3K Followers 475 Following I am a partner and Haskell Consultant at Well-Typed LLP. http://t.co/cc1cbLgax5

Joern Bernhardt @NarigoDF

339 Followers 684 Following working for the web - currently building https://t.co/jel77hZaVa

This future thingy, seems like it can be shaped to some degree...
Interested in #scifi #programming #linux #gamedev #hamradio #life #universe #everything

supersonic@linuxrocks... @Supersonic112

15 Followers 292 Following This future thingy, seems like it can be shaped to some degree... Interested in #scifi #programming #linux #gamedev #hamradio #life #universe #everything

Hackerbay @Hackerbay

3K Followers 2K Following Hackerbay ist das führende Netzwerkeffekt Softwareunternehmen spezialisiert auf die verarbeitende Industrie.

We are like CNN for hackathon - 24x7 realtime news all about Hackathon - http://t.co/3GlY8xXZdH (add your hackathon: http://t.co/fcK5yrT0il )

Hackathon Watch @HackathonWatch

10K Followers 1K Following We are like CNN for hackathon - 24x7 realtime news all about Hackathon - http://t.co/3GlY8xXZdH (add your hackathon: http://t.co/fcK5yrT0il )

Dominique Schuwey @domienterprises

6K Followers 5K Following Entrepreneur & supporter @freecodecamp, rails developer and coding for a better world. Former CFO and financial auditor

Stylight Tech @StylightTech

1K Followers 1K Following We are the Stylight Tech team. read our blog at https://t.co/rvQYkIduq7 join our events: https://t.co/emoW0ddRVg #python #MachineLearning #Microservices

1HaskellADay @1HaskellADay

2K Followers 286 Following A short Haskell algorithmic puzzle, each day. Puzzle at Midnightish EST (GMT-5) Answer at 11pm EST (GMT-5)

A hub for everything Functional Programming. News, tips and open source projects to help you get your next functional job. | Part of the @Workshub family

Functional Works @Functionalworks

7K Followers 1K Following A hub for everything Functional Programming. News, tips and open source projects to help you get your next functional job. | Part of the @Workshub family

TNG Technology Consul... @tngtech

2K Followers 137 Following TNG, aka "The Nerd Group", is a consulting partnership focused on high end information technology, particularly AI. 906 employees, 99.9% academics, ~53% PhDs.

Zach Wentz @zkwentz

4K Followers 2K Following Engineering Leader (@meta, ex-@amazon, ex-@netflix). Twin dad. Trying to be patient et je m'efforce de parler plus Français.

Skills Matter @skillsmatter

16K Followers 2K Following The community learning platform where technologists learn better, together.

𝚠𝚎𝚗𝚍𝚢 ... @wendydevolder

5K Followers 5K Following love helping communities come together. Interested in #community #cloudnative #opensource #devops #devrel

Christine Koppelt @ckoppelt

258 Followers 257 Following Data, DevOps, Machine Learning. Consultant @INNOQ

MunichWebWeek @MunichWebWeek

1K Followers 371 Following Tweets on global digital events since 2009 mixed with some personal impressions. Curated with ❤️ by @iblicker

Meetup for Women working in Tech and Startup in Berlin. Founded by @NicoleSimon, based on the Girl Geek Dinner principle. Hashtag: #witas #womenintech

Witas Berlin @witasberlin

667 Followers 243 Following Meetup for Women working in Tech and Startup in Berlin. Founded by @NicoleSimon, based on the Girl Geek Dinner principle. Hashtag: #witas #womenintech

GDG Munich @gdgmunich

910 Followers 129 Following Google Developer Group Munich, an open community for web developers and tech enthusiasts.

Mayflower @mayflowergmbh

2K Followers 520 Following Die richtige Mischung aus agilen Teams, Beratung und Entwicklung für erfolgreiche Web- und Mobile-Projekte.

Science Hack Day MUC @SciHackDayMUC

48 Followers 55 Following help and support always welcome

CocoaHeads Munich @CocoaHeadsMuc

129 Followers 16 Following Mac Developers from Munich Germany. We meet monthly and enjoy german cuisine ;-)

MunichPHP @MunichPHP

19 Followers 0 Following

Munich Maker Lab - @m... @munichmakerlab

926 Followers 126 Following The freshest hackerspace in Munich. Visit us @ Kreativquartier (Dachauer Str. 112h, Tram Leonrodplatz)

Joomla UserGroupMuc @J_UserGroupMuc

67 Followers 7 Following

UX Munich @uxmunich

364 Followers 19 Following 19-21 March 2015 || Conference celebrating UX, web technologies and Munich! Brought to you by @refreshmunich

OpenHack Munich @OpenHackMuc

55 Followers 15 Following OpenHacking together in Munich - join us!

OS München @OS_Muenchen

124 Followers 97 Following Der Online-Stammtisch München ist das NETworking-Event für alle Experten der digitalen Medien.

Clojure in Munich @cljmuc

49 Followers 0 Following Announcements of the Munich Clojure user group.

Ruby on Rails @railscamp_muc

45 Followers 2 Following

Ruby User Group Munich. Please join us at our monthly meetups and discuss Ruby and other technologies.
http://t.co/PAYz484Q2A

RubyShift München @muc_rubyshift

296 Followers 159 Following Ruby User Group Munich. Please join us at our monthly meetups and discuss Ruby and other technologies. http://t.co/PAYz484Q2A

Startup Camp Germany @startupcampDE

617 Followers 331 Following Startup Camp Germany 2011 | #scg11. Das Camp für Gründer, Startups und Jungunternehmer. Erfahrungsberichte, Sessions, Gedankenaustausch und mehr.

FabLab München e.V. @FabLabMuc

4K Followers 1K Following MAKE | LEARN | SHARE Maker, Tüftler, Experimentierfreudige, Technikbegeisterte, Künstler, Kreative, Experten - jung & alt. tweets by @sonja_steckhan & @drayde

MUCOSUG @MUCOSUG

37 Followers 2 Following Munich OpenSolaris User Group

HEi-TEC ist eine offene Werkstatt für CNC und Fabbing in München. Hier kannst du Maschinen mit eigenen Händen anfassen, und deine Ideen entwickeln.

HEI-TEC @HEITEC_CNC

2 Followers 6 Following HEi-TEC ist eine offene Werkstatt für CNC und Fabbing in München. Hier kannst du Maschinen mit eigenen Händen anfassen, und deine Ideen entwickeln.

Node.js UG Munich @munichnug

1K Followers 94 Following Munich Node.js User Group

Social Munich organisiert regelmäßig Events, die den Austausch über das Thema Social Media und den damit verbundenen Möglichkeiten fördern #socialmunich

Social Munich @socialmunich

3K Followers 284 Following Social Munich organisiert regelmäßig Events, die den Austausch über das Thema Social Media und den damit verbundenen Möglichkeiten fördern #socialmunich

PUSH @pushconf

2K Followers 581 Following Design and product community. See you at PUSH UX conference in November in Munich! https://t.co/ZE8X4hQ0cx

Chaos Computer Club hackerspace in Munich, Germany

We are not on Twitter anymore. Find us in the Fediverse over at https://t.co/aQJiTmZGlw

CCC München @muccc

3K Followers 0 Following Chaos Computer Club hackerspace in Munich, Germany We are not on Twitter anymore. Find us in the Fediverse over at https://t.co/aQJiTmZGlw

Ruby Users München @rugmuc

137 Followers 10 Following Ruby User Group München (Munich/Germany)

swkMuenchen @swkMuenchen

25 Followers 9 Following Software Craftsmanship Community in München

Search Meetup Munich @SearchMUC

158 Followers 4 Following User group about search technologies in munich.

CloudCamp Munich @cloudcampmuc

127 Followers 6 Following CloudCamp Munich, Sept. 10th, Burg Schwaneck

craycyber @craycyber

83 Followers 13 Following a group of vintage computing geeks

PHP UserGroup Munich @phpugmunich

210 Followers 18 Following

Netzwerk für die Digital- und Kreativwirtschaft: MucDigital, Isarnetz Creator Award etc. Impressum: https://t.co/gDxW2ABLq5 Isarcamp verschoben auf 20.2.2021

Inititiative Isarnetz @isarnetz

2K Followers 1K Following Netzwerk für die Digital- und Kreativwirtschaft: MucDigital, Isarnetz Creator Award etc. Impressum: https://t.co/gDxW2ABLq5 Isarcamp verschoben auf 20.2.2021

ODL Munich @odlmuc

81 Followers 30 Following

NerdCamp @nerdcampmunich

2 Followers 1 Following

Webmontag München @webmontagmunich

223 Followers 24 Following Neues zum und vom Webmontag in München. Mehr dazu auch bei Facebook: http://t.co/WLMihlMZLe oder auf http://t.co/JLAm3HZAa8

Nerd Nite München @nerdnite_m

403 Followers 127 Following It's like Discovery Channel with beer! Jeden Monat in München

we are collecting web developer events using this account, which will be considered to be added to @eventninja_app (initiated by @uxebu)

web developer events @webdevevents

456 Followers 10 Following we are collecting web developer events using this account, which will be considered to be added to @eventninja_app (initiated by @uxebu)

Munich MongoDB UG @mongomuc

108 Followers 47 Following Munich MongoDB User Group @comSysto. Lederhosn, Helles, NoSQL, Lightweight Java & Big Data.

JavaScript user group with monthly meetups in Munich. Finest JavaScript since 2010. Founded by @netzzwerg and organized by @FlorianRappl.

Munich JavaScript UG @munichjs

4K Followers 503 Following JavaScript user group with monthly meetups in Munich. Finest JavaScript since 2010. Founded by @netzzwerg and organized by @FlorianRappl.